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!
cited_by
cites
container_end_page 19
container_issue S1
container_start_page 14
container_title Tsinghua science and technology
container_volume 12
creator Gao, Chuanping
Duan, Miyi
Tan, Liqun
Gong, Yunzhan
description 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.
doi_str_mv 10.1016/S1007-0214(07)70077-9
format article
fullrecord <record><control><sourceid>wanfang_jour_proqu</sourceid><recordid>TN_cdi_wanfang_journals_qhdxxb_e2007z1003</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><wanfj_id>qhdxxb_e2007z1003</wanfj_id><els_id>S1007021407700779</els_id><sourcerecordid>qhdxxb_e2007z1003</sourcerecordid><originalsourceid>FETCH-LOGICAL-c1673-6ffc389d4cb71820dfbddb38f324ab6b22b2dab3b398debb44b9f9343b476f663</originalsourceid><addsrcrecordid>eNqFUE1PwkAUbIwmIvoTTPZk5FDd7Zbd9mQqETWBcADPm_2EktKF3VbBX-9C9exp3ktm5r2ZKLpF8AFBRB7nCEIawwSl95AOaFhonJ9FPZTRLKYEkvMw_1Euoyvv1xBiMqS4F73P2ia2Jn62ba08KJzjB1BIqb0HY95WDZhapSvAawWKtrEb3pQSLLRvynoJprpZWQXmTasO19GF4ZXXN7_Yjz7GL4vRWzyZvb6PikksEaE4JsZInOUqlYKiLIHKCKUEzgxOUi6ISBKRKC6wwHmmtBBpKnKT4xSLlBJDCO5Hg873i9eG10u2tq2rw0W2W6n9XjCdhKzfITAO3LuOu3V214an2ab0UlcVr7VtPcMQZniYH02HHVE6673Thm1dueHuwBBkx5LZqWR2bJAFPJXM8qB76nQ6JP4stWNelrqWWpVOy4YpW_7j8APYcoNF</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>30083596</pqid></control><display><type>article</type><title>Out-of-Bounds Array Access Fault Model and Automatic Testing Method Study</title><source>IEEE Xplore All Journals</source><creator>Gao, Chuanping ; Duan, Miyi ; Tan, Liqun ; Gong, Yunzhan</creator><creatorcontrib>Gao, Chuanping ; Duan, Miyi ; Tan, Liqun ; Gong, Yunzhan</creatorcontrib><description>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.</description><identifier>ISSN: 1007-0214</identifier><identifier>EISSN: 1878-7606</identifier><identifier>EISSN: 1007-0214</identifier><identifier>DOI: 10.1016/S1007-0214(07)70077-9</identifier><language>eng</language><publisher>Elsevier Ltd</publisher><subject>integer interval set ; out of bounds array access ; software testing ; static analysis ; syntax tree</subject><ispartof>Tsinghua science and technology, 2007-07, Vol.12 (S1), p.14-19</ispartof><rights>2007 Tsinghua University Press</rights><rights>Copyright © Wanfang Data Co. Ltd. All Rights Reserved.</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttp://www.wanfangdata.com.cn/images/PeriodicalImages/qhdxxb-e/qhdxxb-e.jpg</thumbnail><link.rule.ids>314,777,781,27905,27906</link.rule.ids></links><search><creatorcontrib>Gao, Chuanping</creatorcontrib><creatorcontrib>Duan, Miyi</creatorcontrib><creatorcontrib>Tan, Liqun</creatorcontrib><creatorcontrib>Gong, Yunzhan</creatorcontrib><title>Out-of-Bounds Array Access Fault Model and Automatic Testing Method Study</title><title>Tsinghua science and technology</title><description>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.</description><subject>integer interval set</subject><subject>out of bounds array access</subject><subject>software testing</subject><subject>static analysis</subject><subject>syntax tree</subject><issn>1007-0214</issn><issn>1878-7606</issn><issn>1007-0214</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2007</creationdate><recordtype>article</recordtype><recordid>eNqFUE1PwkAUbIwmIvoTTPZk5FDd7Zbd9mQqETWBcADPm_2EktKF3VbBX-9C9exp3ktm5r2ZKLpF8AFBRB7nCEIawwSl95AOaFhonJ9FPZTRLKYEkvMw_1Euoyvv1xBiMqS4F73P2ia2Jn62ba08KJzjB1BIqb0HY95WDZhapSvAawWKtrEb3pQSLLRvynoJprpZWQXmTasO19GF4ZXXN7_Yjz7GL4vRWzyZvb6PikksEaE4JsZInOUqlYKiLIHKCKUEzgxOUi6ISBKRKC6wwHmmtBBpKnKT4xSLlBJDCO5Hg873i9eG10u2tq2rw0W2W6n9XjCdhKzfITAO3LuOu3V214an2ab0UlcVr7VtPcMQZniYH02HHVE6673Thm1dueHuwBBkx5LZqWR2bJAFPJXM8qB76nQ6JP4stWNelrqWWpVOy4YpW_7j8APYcoNF</recordid><startdate>20070701</startdate><enddate>20070701</enddate><creator>Gao, Chuanping</creator><creator>Duan, Miyi</creator><creator>Tan, Liqun</creator><creator>Gong, Yunzhan</creator><general>Elsevier Ltd</general><general>Beijing Graphic Institute, Beijing 100029, China%Network and Exchange Technology Country Key Laboratory, Beijing University of Posts and Telecommunications, Beijing 100876, China</general><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>7SP</scope><scope>7SR</scope><scope>7TB</scope><scope>7U5</scope><scope>8BQ</scope><scope>8FD</scope><scope>FR3</scope><scope>JG9</scope><scope>JQ2</scope><scope>KR7</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>2B.</scope><scope>4A8</scope><scope>92I</scope><scope>93N</scope><scope>PSX</scope><scope>TCJ</scope></search><sort><creationdate>20070701</creationdate><title>Out-of-Bounds Array Access Fault Model and Automatic Testing Method Study</title><author>Gao, Chuanping ; Duan, Miyi ; Tan, Liqun ; Gong, Yunzhan</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c1673-6ffc389d4cb71820dfbddb38f324ab6b22b2dab3b398debb44b9f9343b476f663</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2007</creationdate><topic>integer interval set</topic><topic>out of bounds array access</topic><topic>software testing</topic><topic>static analysis</topic><topic>syntax tree</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Gao, Chuanping</creatorcontrib><creatorcontrib>Duan, Miyi</creatorcontrib><creatorcontrib>Tan, Liqun</creatorcontrib><creatorcontrib>Gong, Yunzhan</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Electronics &amp; Communications Abstracts</collection><collection>Engineered Materials Abstracts</collection><collection>Mechanical &amp; Transportation Engineering Abstracts</collection><collection>Solid State and Superconductivity Abstracts</collection><collection>METADEX</collection><collection>Technology Research Database</collection><collection>Engineering Research Database</collection><collection>Materials Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Civil Engineering Abstracts</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>Wanfang Data Journals - Hong Kong</collection><collection>WANFANG Data Centre</collection><collection>Wanfang Data Journals</collection><collection>万方数据期刊 - 香港版</collection><collection>China Online Journals (COJ)</collection><collection>China Online Journals (COJ)</collection><jtitle>Tsinghua science and technology</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Gao, Chuanping</au><au>Duan, Miyi</au><au>Tan, Liqun</au><au>Gong, Yunzhan</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Out-of-Bounds Array Access Fault Model and Automatic Testing Method Study</atitle><jtitle>Tsinghua science and technology</jtitle><date>2007-07-01</date><risdate>2007</risdate><volume>12</volume><issue>S1</issue><spage>14</spage><epage>19</epage><pages>14-19</pages><issn>1007-0214</issn><eissn>1878-7606</eissn><eissn>1007-0214</eissn><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 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.</abstract><pub>Elsevier Ltd</pub><doi>10.1016/S1007-0214(07)70077-9</doi><tpages>6</tpages></addata></record>
fulltext fulltext
identifier ISSN: 1007-0214
ispartof Tsinghua science and technology, 2007-07, Vol.12 (S1), p.14-19
issn 1007-0214
1878-7606
1007-0214
language eng
recordid cdi_wanfang_journals_qhdxxb_e2007z1003
source IEEE Xplore All Journals
subjects integer interval set
out of bounds array access
software testing
static analysis
syntax tree
title Out-of-Bounds Array Access Fault Model and Automatic Testing Method Study
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-19T19%3A15%3A57IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-wanfang_jour_proqu&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Out-of-Bounds%20Array%20Access%20Fault%20Model%20and%20Automatic%20Testing%20Method%20Study&rft.jtitle=Tsinghua%20science%20and%20technology&rft.au=Gao,%20Chuanping&rft.date=2007-07-01&rft.volume=12&rft.issue=S1&rft.spage=14&rft.epage=19&rft.pages=14-19&rft.issn=1007-0214&rft.eissn=1878-7606&rft_id=info:doi/10.1016/S1007-0214(07)70077-9&rft_dat=%3Cwanfang_jour_proqu%3Eqhdxxb_e2007z1003%3C/wanfang_jour_proqu%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c1673-6ffc389d4cb71820dfbddb38f324ab6b22b2dab3b398debb44b9f9343b476f663%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=30083596&rft_id=info:pmid/&rft_wanfj_id=qhdxxb_e2007z1003&rfr_iscdi=true