论文部分内容阅读
设计并实现了一种基于软件缺陷模型的测试系统(DTS).对常见软件缺陷模式进行了分类、分析和总结.基于状态机提出了软件缺陷模式的描述方法及统一测试框架,提出通过区间运算来减少测试的误报和提高测试精度.与同类工具比较表明.DTS具有效率高和误报少等特点.
基于软件缺陷模型的测试系统
【摘 要】
：
设计并实现了一种基于软件缺陷模型的测试系统(DTS).对常见软件缺陷模式进行了分类、分析和总结.基于状态机提出了软件缺陷模式的描述方法及统一测试框架,提出通过区间运算来减少测试的误报和提高测试精度.与同类工具比较表明.DTS具有效率高和误报少等特点.
【机 构】
：
装甲兵工程学院信息工程系,北京邮电大学网络与交换技术国家重点实验室
【出 处】
：
北京邮电大学学报
【发表日期】
：
2008年05期
【基金项目】
：
国家“863计划”项目（2006AA01Z184）,国家“863计划”重点项目（2007AA010302）
其他文献
本文以“平面广告的视觉冲击力对企业产品营销的影响”作为研究对象，着重研究平面广告如何通过视觉构成因素的科学设计达到吸引受众注意，说服受众购买商品或接受服务并引导受众
会阴肿胀消除疗法（硫酸镁湿热敷会阴），是指用50％硫酸镁湿热敷会阴，是妇产科常用的一项专科护理技术，主要用于治疗会阴红肿胀痛，临床效果确切。笔者在此项临床操作的计价收费中发现存
本刊从第四期开始,我们将日本田宫模型的总裁田宫俊作的大作奉献给读者。这里记载了田宫模型从无到有、从小到大,从起步到成功的艰辛历程。作品字里行间都流露出田宫先生的真
期刊
腹膜透析和血液透析在临床已广泛开展，透析患者的心理状况也越来越受到人们的重视。笔者通过分析92例腹膜透析和血液透析患者的个性特征、症状自评情况来了解患者的心理状况，为
中国人民解放军坦克部队创建于1946年,在三年解放战争中不断以缴获、搜集的坦克壮大自己,先后组建了数支坦克部队,其中规模最大的两支:东北坦克大队和华东坦克大队,后来发展
目的总结含脐旁皮动脉真皮下血管网皮瓣修复前臂及手部软组织缺损的临床疗效。方法回顾分析1999年7月。2007年3月应用含脐旁皮动脉真皮下血管网皮瓣修复前臂及手部软组织缺损
基于矩阵向量扩张的性质,研究了主动探测的故障定位方法.提出一种支持多故障定位的探测站点部署方法.通过该方法在网络中部署探测站点对网络进行主动探测,能以较小的代价尽早