10.3321/j.issn:1671-8836.2006.05.023
非法计算故障的自动测试方法
基于对程序源代码的静态分析方法,针对程序中的非法计算故障,提出了一种自动测试方法.以非法计算故障的表现形式为基础,将静态分析程序源代码和识别非法计算的过程模型化,建立了静态检测非法计算所需的计算模型,将非法计算故障静态检测过程自动化,给出了非法计算自动测试算法.该方法通过对程序源代码的静态分析,实现了非法计算故障检测的自动化.实验结果表明,该自动测试方法能有效地提高检测非法计算的准确率和自动化水平.
软件测试、自动测试方法、非法计算、故障模型
52
TP311(计算技术、计算机技术)
总装备部科研项目41315050107
2006-12-05(万方平台首次上网日期,不代表论文的发表时间)
共5页
613-617