已完成软件可信分析与评估生产线的研究与开发，已获软件著作权18项，已申请专利5项。

该生产线包含如下支持软件可信分析测试与验证的软件工具:

 

C/C++/JAVA软件缺陷自动检测工具 DTS
C语言代码分析和单元测试工具CAUT
基于场景规约的服务验证工具SSCC
面向对象程序分析与测试工具QESat
软件测试过程管理工具STMP

模型驱动的鲁棒性测试工具QEMDT
线形混成自动机有界模型检验工具BACH
基于场景规约的时间性质验证工具TASS
基于交互概况图的运行时验证工具Jasmine-IODV
基于顺序图的运行时验证工具Jasmine-SDV
基于活动图的运行时验证工具 Jasmine-ADV
基于活动图的测试用例生成工具 Jasmine-ADG
基于状态图的运行时验证工具 Jasmine-SCV

1、软件分析与代码审查工具QESat先后在山东省软件评测中心以及北京航空航天大学计算机新技术实验室进行试用，具体应用情况总结如下：
（1）与山东省软件评测中心合作开展成果应用研究
  2008年10月22日，与山东省软件评测中心商谈应用事宜，并介绍工具基本情况，演示工具使用方法。
  2008年11月18日，赴山东省软件评测中心对其核心开发人员进行统一培训，主要介绍软件自动代码审查的缺陷扩充机制，为下一步的缺陷规则扩充作准备。
  2008年，与山东省评测中心联合并获批山东省高新技术自主创新工程专项计划项目1项：软件测试自动化技术及工具的研究与开发（编号，2008ZZ11）。
  2009年4月27日，山东省软件评测中心的核心开发人员赴京进行自动代码审查规则的合作开发，完成新缺陷规则20条。
  2009年5月-7月，山东省软件评测中心对QESat项目进行集中测试，发现严重缺陷3个，并已经得到修复。
  2009年7月24日，山东省软件评测中心组织了对QESAT工具的宣讲活动，有16家企业带回QESAT工具进行试用并对试用结果进行反馈。
（2）在本项目一专题中试用：2009年3月，北京航空航天大学计算机新技术实验室使用QESat工具对其开发中的java项目进行程序静态结构分析和自动代码审查。很好地帮助  开发人员理解程序结构，并帮助测试人员发现了58个软件缺陷，其中严重等级缺陷11个。
（3）与涿州中石油的合作：本课题成果在其承担的重大项目GeoEast v2.0中应用，并进一步开展围绕测试、测试过程管理方面的深入合作和研究；
（4）与北京市轨道交通指挥中心的合作：针对轨道交通系统测试的要求将本课题成果进行改进并应用，目前正处于项目论证阶段。
（5） 与航天706所合作：己将本课题成果在其项目中应用。
（6） 与国务院办公厅电子政务中心合作：己将本课题成果在其项目测试中应用。
（7）在某武警系统的测试项目中应用。
2、CAUT工具的应用情况。
（1）航天集团北京控制工程研究所（502所）。北京控制工程研究所成功研制了70多颗人造地球卫星、7艘神舟飞船和1颗月球探测卫星控制、推进系统，是我国从事各类航天器姿态、轨道控制系统与推进系统及其部件研制核心单位。该单位软件测试组已经使用CAUT，并给课题组提供了一些有价值的反馈意见。
（2）上海贝尔有限公司。已经开始洽谈将课题组部分研究成果推广到该单位的产品开发中去。
3、DTS应用和推广。
（1）销售情况：总装软件评测中心购买2套DTS3.0主要用于载人航天工程和探月工程型号软件测试；北方工业大学购买1套DTS3.0主要用于教学和研究。
（2）DTS在不同行业和应用领域的试用情况：
    a  航天领域:
        中国航天科技集团公司：502所和710所软件评测中心
    b  武器装备领域
       总参谋部：总参61所软件评测中心、总参二部软件评测中心
       总装备部：测通所、二十、二十一基地等二十家单位
    c  在科技部火炬办支持下，大力在全国软件园和大型软件企业推广
       试用DTS的软件园包括苏州软件园、天津华苑软件园、昆明市高新区云南软件园和山西省南昌市高新一路金庐软件园等40多家软件园。
       试用DTS的软件企业包括中科辅龙、北京东进记录科技有限公司、山东金现代信息技术有限公司、山东地纬计算机软件有限公司、山东地纬计算机软件有限公司等10多家企业。
    d  软件评测中心
        国家软件评测中心、珠海南方软件产品检测中心和金庐软件评测进行DTS试用。
    e 电力行业
        南方电网信息中心和中国软件与技术服务股份有限公司。
     f  冶金行业
        已在首都钢安装DTS3.0试用版。
     g  大学
        同济大学、北京大学、清华大学和湖南大学。
     h  测试服务方向
        正与科技部高新司网络与平台处协商，拟开展DTS的网络测试服务工作。