基于程序切片的非法计算故障检测方法

摘要：

传统的软件测试方法很难检测出C/C++程序中的非法计算故障,该类故障极易导致系统崩溃。分析了C/C++语言中常见非法计算故障,并从面向具体故障的测试思想出发,建立了C/C++语言中非法计算的故障模型,结合静态测试的特点,给出了一种基于程序切片的非法计算故障查找方法。此方法已实现,并已应用于面向故障的软件测试系统中。

关键词： 软件测试 程序切片 非法计算 区间运算 故障检测

作者: 王璇 刘娟 金丽亚

作者单位: 装甲兵工程学院信息工程系,北京 100072

会议类型: 国内会议

会议名称: 第十二届全国容错计算学术会议

会议地点: 北京

会议语种:中文

页码: 99-102,112

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