| 非法计算故障的一种静态测试方法 |
| |
| 引用本文： | 王璇,刘涛,宫云战.非法计算故障的一种静态测试方法[J].计算机工程与设计,2006,27(14):2555-2557. |
| |
| 作者姓名： | 王璇 刘涛 宫云战 |
| |
| 作者单位： | 装甲兵工程学院,信息工程系,北京,100072;装甲兵工程学院,训练部,北京,100072 |
| |
| 基金项目： | 解放军总装备部预研项目 |
| |
| 摘 要： | 非法计算是C／C＋＋程序中的常见故障，该类故障极易导致系统崩溃。针对C／C＋＋语言中常见非法计算故障进行了分析，并从面向具体故障的测试思想出发，建立了C／C＋＋语言中非法计算的故障模型，结合静态测试的特点，给出了一种静态查找此类故障的方法。此方法已实现，并已应用于面向故障的软件测试系统中。
|
| 关 键 词： | 软件测试 静态分析 非法计算 区间运算 故障模型 |
| 文章编号： | 1000-7024（2006）14-2555-03 |
| 收稿时间： | 2005-05-17 |
| 修稿时间： | 2005-05-17 |
Static detecting method for invalid arithmetic operation errors |
| |
| WANG Xuan,LIU Tao,GONG Yun-zhan.Static detecting method for invalid arithmetic operation errors[J].Computer Engineering and Design,2006,27(14):2555-2557. |
| |
| Authors: | WANG Xuan LIU Tao GONG Yun-zhan |
| |
| Affiliation: | 1,Department of Information Engineering, Armored Forces Institute, Beijing 100072, China; 2. Training Department, Armored Forces Institute, Beijing 100072, China; |
| |
| Abstract: | Invalid arithmetic operation is a common kind of error in programs written in C/C ,which often causes system collapse.Firstly the classical C/C errors of invalid arithmetic operation is analyzed,a defect model of invalid arithmetic operation about C/C based on defect-oriented testing strategy is established,then a detecting method of invalid arithmetic operation errors combining the ad-vantage of static analysis is described.This algorithm is implemented and is used in a defect-oriented testing system. |
| |
| Keywords: | software testing static analysis invalid arithmetic operation interval operation error model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
