【摘要】 针对C/C++程序中的非法计算,形式化定义了非法计算故障;建立了表达式区间运算模型、变量取值区间集产生模型和非法计算故障模型,并将其作为静态识别非法计算的基础;提出了非法计算自动测试算法.实验结果表明,文中方法具有较高的故障检测准确率和测试效率.更多还原

【Abstract】 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.更多还原