کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
865951 909690 2007 6 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Out-of-Bounds Array Access Fault Model and Automatic Testing Method Study
موضوعات مرتبط
مهندسی و علوم پایه سایر رشته های مهندسی مهندسی (عمومی)
پیش نمایش صفحه اول مقاله
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 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.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Tsinghua Science & Technology - Volume 12, Supplement 1, July 2007, Pages 14-19
نویسندگان
, , , ,