摘要
针对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.
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2007年第1期119-124,共6页
Journal of Computer-Aided Design & Computer Graphics
基金
总装备部"十五"预研基金(41315050107).
关键词
软件测试
静态测试方法
非法计算
故障模型
自动测试算法
software testing
static testing method
invalid arithmetic operations
fault model
automatic testing algorithm
作者简介
曹文静，女，1975年生，博士研究生，助教，主要研究方向为软件测试、装备仿真等．（caowenjing751215@sohu．com）
宫云战，男，1962年生，博士。教授，主要研究方向为硬件测试、软件测试等。
