| 非法计算故障的静态测试 |
| |
| 引用本文： | 曹文静,宫云战.非法计算故障的静态测试[J].计算机辅助设计与图形学学报,2007,19(1):119-124. |
| |
| 作者姓名： | 曹文静 宫云战 |
| |
| 作者单位： | 1. 装甲兵工程学院信息工程系,北京,100072;海军航空工程学院控制工程系,烟台,264001
2. 装甲兵工程学院信息工程系,北京,100072 |
| |
| 摘 要： | 针对C/C 程序中的非法计算,形式化定义了非法计算故障;建立了表达式区间运算模型、变量取值区间集产生模型和非法计算故障模型,并将其作为静态识别非法计算的基础;提出了非法计算自动测试算法.实验结果表明,文中方法具有较高的故障检测准确率和测试效率.
|
| 关 键 词： | 软件测试 静态测试方法 非法计算 故障模型 自动测试算法 计算 故障模型 静态测试 Operations Arithmetic Detection 测试效率 检测准确率 方法 结果 实验 测试算法 自动 识别 产生模型 取值区间 变量 运算模型 表达式 形式化定义 |
| 收稿时间： | 2006-02-20 |
| 修稿时间： | 2006-02-202006-08-15 |
Static Detection to Invalid Arithmetic Operations |
| |
| Cao Wenjing,Gong Yunzhan.Static Detection to Invalid Arithmetic Operations[J].Journal of Computer-Aided Design & Computer Graphics,2007,19(1):119-124. |
| |
| Authors: | Cao Wenjing Gong Yunzhan |
| |
| Affiliation: | 1. Department of Information Engineering, Armored Force Engineering Institution, Beijing 100072;2. Department of Control Engineering, Naval Aeronautical Engineering Institute, Yantai 264001 |
| |
| Abstract: | To detect invalid arithmetic operations in C?C programs,formal definition of invalid arithmetic operations is given.The interval computation model of expressions,the generation model of variables' value interval set and the fault model are established,which are the basis of identifying invalid arithmetic operations statically.The automatic testing algorithm of invalid arithmetic operations is proposed.The experimental results show that the proposed automatic testing method based could detect invalid arithmetic operations with high accuracy and efficiency. |
| |
| Keywords: | software testing static testing method invalid arithmetic operations fault model automatic testing algorithm |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
