论文部分内容阅读
变量越界是C/C++软件中的常见故障,广泛存在于C/C++软件的数值计算模块中。首先分析了变量越界故障的故障特点,并从面向具体故障的测试思想出发,结合区间运算技术给出了故障检测模型。通过对程序代码进行预处理,生成程序的控制流图,结合静态测试的特点,在遍历控制流图的基础上给出了这些故障的一种静态查找方法。该方法已被实现并测试了部分软件,实验效果表明该方法能检测出变量越界故障。