非法计算故障的自动测试方法  

An Automatic Testing Method of Invalid Arithmetic Operations

作　　者：曹文静[1] 徐胜红[2] 宫云战[1] 

机构地区：[1]装甲兵工程学院信息工程系,北京100072 [2]海军航空工程学院控制工程系,山东烟台264001

出　　处：《武汉大学学报（理学版）》2006年第5期613-617,共5页Journal of Wuhan University:Natural Science Edition

基　　金：总装备部十五预研基金资助项目(41315050107)

摘　　要：基于对程序源代码的静态分析方法,针对程序中的非法计算故障,提出了一种自动测试方法.以非法计算故障的表现形式为基础,将静态分析程序源代码和识别非法计算的过程模型化,建立了静态检测非法计算所需的计算模型,将非法计算故障静态检测过程自动化,给出了非法计算自动测试算法.该方法通过对程序源代码的静态分析,实现了非法计算故障检测的自动化.实验结果表明,该自动测试方法能有效地提高检测非法计算的准确率和自动化水平.Based on the static analysis method of source codes, an automatic testing method is proposed to detect invalid arithmetic operations in programs. Based on the forms of invalid arithmetic operations, the process to analyze source codes and identify invalid arithmetic operations statically is modeled, and the computation models used to detect invalid arithmetic operations statically are established. The process to detect invalid arithmetic operations statically is automated, and the automatic testing algorithm of invalid arithmetic operations is proposed. Experimental results show that the automatic testing method could detect invalid arithmetic operations more accurately and automatically.

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

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