Out-of-Bounds Array Access Fault Model and Automatic Testing Method Study

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 fault...

Full description

Saved in:
Bibliographic Details
Published in:Tsinghua science and technology 2007-07, Vol.12 (S1), p.14-19
Main Authors: Gao, Chuanping, Duan, Miyi, Tan, Liqun, Gong, Yunzhan
Format: Article
Language:English
Subjects:
integer interval set
out of bounds array access
software testing
static analysis
syntax tree
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 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.
ISSN:1007-0214
1878-7606
1007-0214
DOI:10.1016/S1007-0214(07)70077-9