%0 Journal Article
%T 基于软件缺陷模型的测试系统
%A 杨朝红
%A 宫云战
%A 肖
%A 庆
%A 王雅文
%J 北京邮电大学学报
%P 1-4
%D 2008
%R 10.13190/jbupt.200805.1.325
%X 设计并实现了一种基于软件缺陷模型的测试系统（DTS）.对常见软件缺陷模式进行了分类、分析和总结.基于状态机提出了软件缺陷模式的描述方法及统一测试框架，提出通过区间运算来减少测试的误报和提高测试精度.与同类工具比较表明,DTS具有效率高和误报少等特点.
%K 软件测试
%K 静态分析
%K 区间运算
%K 缺陷模型
%K 状态机
%U http://www.buptjournal.cn/CN/abstract/abstract799.shtml