|
|||||
|
|
| 非法计算故障的自动测试方法 | |
| 引用本文： | 曹文静,徐胜红,宫云战.非法计算故障的自动测试方法[J].武汉大学学报(理学版),2006,52(5):613-617. |
| 作者姓名： | 曹文静 徐胜红 宫云战 |
| 作者单位： | 1. 装甲兵工程学院,信息工程系,北京,100072;海军航空工程学院,控制工程系,山东,烟台,264001 2. 海军航空工程学院,控制工程系,山东,烟台,264001 3. 装甲兵工程学院,信息工程系,北京,100072 |
| 摘 要： | 基于对程序源代码的静态分析方法，针对程序中的非法计算故障，提出了一种自动测试方法．以非法计算故障的表现形式为基础，将静态分析程序源代码和识别非法计算的过程模型化，建立了静态检测非法计算所需的计算模型，将非法计算故障静态检测过程自动化，给出了非法计算自动测试算法．该方法通过对程序源代码的静态分析，实现了非法计算故障检测的自动化．实验结果表明，该自动测试方法能有效地提高检测非法计算的准确率和自动化水平． |
| 关 键 词： | 软件测试 自动测试方法 非法计算 故障模型 |
| 文章编号： | 1671-8836(2006)05-0613-05 |
| 修稿时间： | 2006年4月18日 |
An Automatic Testing Method of Invalid Arithmetic Operations |
|
| CAO Wenjing,XU Shenghong,GONG Yunzhan.An Automatic Testing Method of Invalid Arithmetic Operations[J].JOurnal of Wuhan University:Natural Science Edition,2006,52(5):613-617. | |
| Authors: | CAO Wenjing XU Shenghong GONG Yunzhan |
| Abstract: | Based on the static analysis method of source codes,an automatic testing method is proposed to detect invalid arithmetic operations in programs.Based on the forms of invalid arithmetic operations,the process to analyze source codes and identify invalid arithmetic operations statically is modeled,and the computation models used to detect invalid arithmetic operations statically are established.The process to detect invalid arithmetic operations statically is automated,and the automatic testing algorithm of invalid arithmetic operations is proposed.Experimental results show that the automatic testing method could detect invalid arithmetic operations more accurately and automatically. |
| Keywords: | software testing automatic testing method invalid arithmetic operations fault model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
