非法计算故障的自动测试方法

摘要：

基于对程序源代码的静态分析方法,针对程序中的非法计算故障,提出了一种自动测试方法.以非法计算故障的表现形式为基础,将静态分析程序源代码和识别非法计算的过程模型化,建立了静态检测非法计算所需的计算模型,将非法计算故障静态检测过程自动化,给出了非法计算自动测试算法.该方法通过对程序源代码的静态分析,实现了非法计算故障检测的自动化.实验结果表明,该自动测试方法能有效地提高检测非法计算的准确率和自动化水平.

关键词： 软件测试 自动测试方法 非法计算 故障模型

作者: 曹文静 徐胜红 宫云战

作者单位: 装甲兵工程学院,信息工程系,北京,100072;海军航空工程学院,控制工程系,山东,烟台,264001 海军航空工程学院,控制工程系,山东,烟台,264001 装甲兵工程学院,信息工程系,北京,100072

会议类型: 国内会议

会议名称: 第二届中国可信计算与信息安全学术会议

会议地点: 河北保定

会议语种:中文

页码: 613-617

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