针对航空航天、电子政务、智能交通、卫星遥感等关键领域对安全攸关测评、可信计算等的需求，结合国际发展趋势，对可信计算开展了深入研究。

建立了CROWN，提供高可信软件开发环境，Web服务中间件平台，网络环境运行平台，获国家科技进步二等奖。

结合航空航天领域的机载计算机系统、测试等方面的实际需求， 研制了应用系统。

针对针对自主基础软件这一国家重大战略需求，深入开展了可信评测工作；结合航空航天安全苛刻系统的需要，2004年开展了自动化测试和评测研究，2012年12月与五院建立航天器自动化测试技术联和实验室，持续进行相关工作。

研究了自动化测试理论模型、测试用例自动生成方法、通用航天器测试语言、封装规范和集成协议等，结合若干型号的研制开发了实际应用系统。

获2012年度国防科学技术进步奖二等奖、2012年度北京市科学技术奖三等奖。

研制了若干建模与测试软件，在631所等单位开展了应用

• 面向领域需求分析和辅助决策的过程建模与分析系统POMES

• 面向软件全过程的软件测试与质量管理系统QESuite

• 基于程序代码分析的软件分析、审查与测试工具QESat/Java&C++

• 基于数字仿真技术的嵌入式软件测试平台QESiT

• 面向分布式应用的模型驱动测试系统QEMDT