项目:
1.微软,(ISO29500)文档格式转换器测试工具开发,46.7万,负责人
2.基于多标记学习的网络重叠社区发现模型及应用研究,国家自然基金
3.面向慢病的移动健康服务系统研究,北京市自然基金(重大)
4.基于NFC手机的一卡通系统研究,北京市教委
论文:The algorithm of infeasible paths extraction oriented the function calling relationship
论文:Research on Uniqueness of Polymorphism in Regression Testing
论文:Research on Determination of Overloaded Function Uniqueness for Regression Testing Oriented
论文:Automatic Test Method Research on the Word Part of Document Format Translator
论文:基于功能点路径的文档互操作测试评价方法,清华大学学报,2014年54卷第7期
论文:基于有限状态机的C++重载唯一性确定,计算机应用研究,第4期第31卷
著作:面向对象程序设计实用教程(第二版)
著作:面向函数调用路径的测试技术与方法,清华大学出版社
著作:文档格式转换的自动化测试技术与方法,清华大学出版社
发明专利:文档格式转换自动测试方法,中华人民共和国知识产权局
发明专利:系统测试方法及装置,中华人民共和国知识产权局
发明专利:可编程序控制器应用程序自动生成,中华人民共和国知识产权局
获奖:科研项目“软件测试技术和方法研究”荣获2009年度中国人民解放军科技进步二等奖
获奖:“软件变更影响及安全性测试技术与应用”获得北京市科技进步三等奖