摘要
非法计算是程序中常见的故障,极易导致系统崩溃.例如:除0运算、对负数开平方根运算等.现有的测试方法大多只能检测过程内的非法计算故障.提出了一种针对函数调用引起的过程间的非法计算故障的静态检测方法.该方法首先对可能存在非法计算的函数提取相应的函数摘要,然后利用函数摘要实现跨函数间的分析.实验结果表明,该方法能检测出更多的非法计算故障点,同时有效地提高非法计算故障检测的准确性.
非法计算是程序中常见的故障,极易导致系统崩溃.例如:除0运算、对负数开平方根运算等.现有的测试方法大多只能检测过程内的非法计算故障.提出了一种针对函数调用引起的过程间的非法计算故障的静态检测方法.该方法首先对可能存在非法计算的函数提取相应的函数摘要,然后利用函数摘要实现跨函数间的分析.实验结果表明,该方法能检测出更多的非法计算故障点,同时有效地提高非法计算故障检测的准确性.
出处
《计算机研究与发展》
EI
CSCD
北大核心
2010年第S1期74-78,共5页
Journal of Computer Research and Development
基金
国家"八六三"高技术研究发展计划基金重点项目(2007AA010302)
国家"八六三"高技术研究发展计划基金项目(2009AA012404)
关键词
软件测试
静态分析
非法计算
函数摘要
software testing
static analysis
invalid arithmetic operation
method summary