基于软件缺陷模型的测试系统 (2008年)

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