非法计算故障的静态测试  

Static Detection to Invalid Arithmetic Operations

作　　者：曹文静[1] 宫云战[1] 

机构地区：[1]装甲兵工程学院信息工程系

出　　处：《计算机辅助设计与图形学学报》2007年第1期119-124,共6页Journal of Computer-Aided Design & Computer Graphics

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

摘　　要：针对C/C++程序中的非法计算,形式化定义了非法计算故障;建立了表达式区间运算模型、变量取值区间集产生模型和非法计算故障模型,并将其作为静态识别非法计算的基础;提出了非法计算自动测试算法.实验结果表明,文中方法具有较高的故障检测准确率和测试效率.To detect invalid arithmetic operations in C/C ＋ ＋ programs, formal definition of invalid arithmetic operations is given. The interval computation model of expressions, the generation model of variables＇ value interval set and the fault model are established, which are the basis of identifying invalid arithmetic operations statically. The automatic testing algorithm of invalid arithmetic operations is proposed. The experimental results show that the proposed automatic testing method based could detect invalid arithmetic operations with high accuracy and efficiency.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]