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

A Static Detection Method of Inter-Procedural Invalid Arithmetic Operation

作　　者：邹欣[1] 宫云战[1] 金大海[1] 

机构地区：[1]北京邮电大学网络技术研究院,北京100876

出　　处：《计算机研究与发展》2010年第S1期74-78,共5页Journal of Computer Research and Development

基　　金：国家"八六三"高技术研究发展计划基金重点项目(2007AA010302);国家"八六三"高技术研究发展计划基金项目(2009AA012404)

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

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

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]