| Out-of-Bounds Array Access Fault Model and Automatic Testing Method Study |
| |
| 作者单位： | Beijing Graphic Institute，Beijing Graphic Institute，Beijing Graphic Institute，Network and Exchange Technology Country Key Laboratory Beijing University of Posts and Telecommunications，Beijing 100029，China，Beijing 100029，China，Beijing 100029，China，Beijing 100876，China |
| |
| 摘 要： | Out-of-bounds array access(OOB) is one of the fault models commonly employed in the objectoriented programming language. At present, the technology of code insertion and optimization is widely used in the world to detect and fix this kind of fault. Although this method can examine some of the faults in OOB programs, it cannot test programs thoroughly, neither to find the faults correctly. The way of code insertion makes the test procedures so inefficient that the test becomes costly and time-consuming. This paper, uses a kind of special static test technology to realize the fault detection in OOB programs. We first establish the fault models in OOB program, and then develop an automatic test tool to detect the faults. Some experiments have exercised and the results show that the method proposed in the paper is efficient and feasible in practical applications.
|
Out-of-Bounds Array Access Fault Model and Automatic Testing Method Study |
| |
| Authors: | GAO Chuanping DUAN Miyi TAN Liqun GONG Yunzhan |
| |
| Abstract: | Out-of-bounds array access(OOB) is one of the fault models commonly employed in the object- oriented programming language. At present, the technology of code insertion and optimization is widely used in the world to detect and fix this kind of fault. Although this method can examine some of the faults in OOB programs, it cannot test programs thoroughly, neither to find the faults correctly. The way of code insertion makes the test procedures so inefficient that the test becomes costly and time-consuming. This pa- per, uses a kind of special static test technology to realize the fault detection in OOB programs. We first es- tablish the fault models in OOB program, and then develop an automatic test tool to detect the faults. Some experiments have exercised and the results show that the method proposed in the paper is efficient and feasible in practical applications. |
| |
| Keywords: | software testing integer interval set static analysis out of bounds array access syntax tree |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
