过程间的非法计算故障静态检测方法

摘要：

非法计算是程序中常见的故障，极易导致系统崩溃．例如：除0运算、对负数开平方根运算等．现有的测试方法大多只能检测过程内的非法计算故障．本文提出了一种针对函数调用引起的过程间的非法计算故障的静态检测方法．该方法首先对可能存在非法计算的函数提取相应的函数摘要，然后利用函数摘要实现跨函数间的分析．实验结果表明，我们的方法能检测出更多的非法计算故障点，同时有效的提高非法计算故障检测的准确性．

关键词： 软件测试 静态分析 非法计算 函数摘要

作者: 邹欣 宫云战 金大海

作者单位: 北京邮电大学网络技术研究院 北京市 100876

会议类型: 国内会议

会议名称: 第六届中国测试学术会议

会议地点: 合肥

会议语种:中文

页码: 130-134

在线出版日期: 2010-07-24（万方平台首次上网日期，不代表论文的发表时间）