非法计算故障的静态测试

作     者：曹文静 宫云战 Cao Wenjing;Gong Yunzhan

作者机构：装甲兵工程学院信息工程系 

基　　金：总装备部"十五"预研基金(41315050107) 

出 版 物：《计算机辅助设计与图形学学报》 (Journal of Computer-Aided Design & Computer Graphics)

年 卷 期：2007年第19卷第1期

页      码：119-124页

摘      要：针对C/C++程序中的非法计算,形式化定义了非法计算故障;建立了表达式区间运算模型、变量取值区间集产生模型和非法计算故障模型,并将其作为静态识别非法计算的基础;提出了非法计算自动测试算法.实验结果表明,文中方法具有较高的故障检测准确率和测试效率.

主 题 词：软件测试 静态测试方法 非法计算 故障模型 自动测试算法 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:1003-9775.2007.01.022

馆 藏 号：203409272...