文献类型：期刊文章

作　　者：杨朝红[1,2] 宫云战[2] 肖庆[1,2] 王雅文[2]

机构地区：[1]装甲兵工程学院信息工程系,北京100072 [2]北京邮电大学网络与交换技术国家重点实验室,北京100876

出　　处：《北京邮电大学学报》

基　　金：国家“863计划”项目(2006AA012184);国家“863计划”重点项目(2007AA010302)

年　　份：2008

卷　　号：31

期　　号：5

起止页码：1-4

语　　种：中文

收录情况：AJ、BDHX、BDHX2004、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20084811741072)、INSPEC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

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

关 键 词：软件测试 静态分析  区间运算  缺陷模型  状态机

分 类 号：TP103.8]