基于软件缺陷模型的测试系统

作者：杨朝红; 宫云战; 肖庆; 王雅文

来源：北京邮电大学学报, 2008, (05): 1-4.

• 软件测试
• 静态分析
• 区间运算
• 缺陷模型
• 状态机 software testing
• static analysis
• interval computation
• defect model
• state machine

设计并实现了一种基于软件缺陷模型的测试系统(DTS).对常见软件缺陷模式进行了分类、分析和总结.基于状态机提出了软件缺陷模式的描述方法及统一测试框架,提出通过区间运算来减少测试的误报和提高测试精度.与同类工具比较表明.DTS具有效率高和误报少等特点.

• 单位
  网络与交换技术国家重点实验室; 北京邮电大学; 中国人民解放军装甲兵工程学院