不可达代码的一种静态测试方法

摘要：

不可达代码是C/C++程序中的可见故障,该类故障可以导致计算结果错误或系统崩溃.本文首先分析了C/C++语言中不可代代码错误类型,从面向具体故障的测试思想出发,给出一种错误类型检查的算法设计,建立了不可达代码故障模型,其在软件测试中具有通用性.

关键词： 软件测试 不可达代码 语法树 控制流图 故障模型

作者: 夏玉辉 张威 万琳 王洪艳

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

会议类型: 国内会议

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

会议地点: 北戴河

会议语种:中文

页码: 55-59

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