摘要
设计并实现了一种基于软件缺陷模型的测试系统(DTS).对常见软件缺陷模式进行了分类、分析和总结.基于状态机提出了软件缺陷模式的描述方法及统一测试框架,提出通过区间运算来减少测试的误报和提高测试精度.与同类工具比较表明.DTS具有效率高和误报少等特点.
The design and implementation of defect testing system （DTS）-a testing system based on defect model was presented. It first classifies, analyzes and summarizes the main software defect models and gives a description method to describe the proposed models based on state machine. A unified testing framework was proposed to test the proposed models. In the unified testing framework, interval computation was proposed to reduce the false positive and provide necessary information for defect testing. The experiment shows that, compared with other tools, DTS can test the code more efficiently but produce less false positive.
出处
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
2008年第5期1-4,共4页
Journal of Beijing University of Posts and Telecommunications
基金
国家“863计划”项目(2006AA012184)
国家“863计划”重点项目(2007AA010302)
关键词
软件测试
静态分析
区间运算
缺陷模型
状态机
software testing
static analysis
interval computation
defect model
state machine
