非法计算故障的一种静态测试方法  

Static detecting method for invalid arithmetic operation errors

作　　者：王璇[1] 刘涛[2] 宫云战[1] 

机构地区：[1]装甲兵工程学院信息工程系,北京100072 [2]装甲兵工程学院训练部,北京100072

出　　处：《计算机工程与设计》2006年第14期2555-2557,共3页Computer Engineering and Design

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

摘　　要：非法计算是C/C++程序中的常见故障,该类故障极易导致系统崩溃。针对C/C++语言中常见非法计算故障进行了分析,并从面向具体故障的测试思想出发,建立了C/C++语言中非法计算的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法。此方法已实现,并已应用于面向故障的软件测试系统中。Invalid arithmetic operation is a common kind of error in programs written in C/C＋＋, which often causes system collapse. Firstly the classical C/C＋＋ errors of invalid arithmetic operation is analyzed, a defect model of invalid arithmetic operation about C/C＋＋ based on defect-oriented testing strategy is established, then a detecting method of invalid arithmetic operation errors combining the advantage of static analysis is described. This algorithm is implemented and is used in a defect-oriented testing system.

关 键 词：软件测试 静态分析 非法计算 区间运算 故障模型 

分 类 号：TP302.8[自动化与计算机技术—计算机系统结构]