File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

Article: Fault localization through evaluation sequences

TitleFault localization through evaluation sequences
Authors
KeywordsBoolean expression
Evaluation sequence
Fault localization
Predicate
Issue Date2010
PublisherElsevier Inc. The Journal's web site is located at http://www.elsevier.com/locate/jss
Citation
Journal Of Systems And Software, 2010, v. 83 n. 2, p. 174-187 How to Cite?
AbstractPredicate-based statistical fault-localization techniques find fault-relevant predicates in a program by contrasting the statistics of the evaluation results of individual predicates between failed runs and successful runs. While short-circuit evaluations may occur in program executions, treating predicates as atomic units ignores this fact, masking out various types of useful statistics on dynamic program behavior. In this paper, we differentiate the short-circuit evaluations of individual predicates on individual program statements, producing one set of evaluation sequences per predicate. We then investigate experimentally the effectiveness of using these sequences to locate faults by comparing existing predicate-based techniques with and without such differentiation. We use both the Siemens program suite and four real-life UNIX utility programs as our subjects. The experimental results show that the proposed use of short-circuit evaluations can, on average, improve predicate-based statistical fault-localization techniques while incurring relatively small performance overhead. © 2009 Elsevier Inc. All rights reserved.
Persistent Identifierhttp://hdl.handle.net/10722/89044
ISSN
2015 Impact Factor: 1.424
2015 SCImago Journal Rankings: 0.897
ISI Accession Number ID
Funding AgencyGrant Number
City University of Hong KongCityU 7002324
CityU 7002464
Research Grants Council of Hong Kong716507
Funding Information:

This project is supported in part by grants of City University of Hong Kong (Project Nos. CityU 7002324 and CityU 7002464) and the General Research Fund of the Research Grants Council of Hong Kong (Project No. 716507).

References

 

DC FieldValueLanguage
dc.contributor.authorZhang, Zen_HK
dc.contributor.authorJiang, Ben_HK
dc.contributor.authorChan, WKen_HK
dc.contributor.authorTse, THen_HK
dc.contributor.authorWang, Xen_HK
dc.date.accessioned2010-09-06T09:51:41Z-
dc.date.available2010-09-06T09:51:41Z-
dc.date.issued2010en_HK
dc.identifier.citationJournal Of Systems And Software, 2010, v. 83 n. 2, p. 174-187en_HK
dc.identifier.issn0164-1212en_HK
dc.identifier.urihttp://hdl.handle.net/10722/89044-
dc.description.abstractPredicate-based statistical fault-localization techniques find fault-relevant predicates in a program by contrasting the statistics of the evaluation results of individual predicates between failed runs and successful runs. While short-circuit evaluations may occur in program executions, treating predicates as atomic units ignores this fact, masking out various types of useful statistics on dynamic program behavior. In this paper, we differentiate the short-circuit evaluations of individual predicates on individual program statements, producing one set of evaluation sequences per predicate. We then investigate experimentally the effectiveness of using these sequences to locate faults by comparing existing predicate-based techniques with and without such differentiation. We use both the Siemens program suite and four real-life UNIX utility programs as our subjects. The experimental results show that the proposed use of short-circuit evaluations can, on average, improve predicate-based statistical fault-localization techniques while incurring relatively small performance overhead. © 2009 Elsevier Inc. All rights reserved.en_HK
dc.languageengen_HK
dc.publisherElsevier Inc. The Journal's web site is located at http://www.elsevier.com/locate/jssen_HK
dc.relation.ispartofJournal of Systems and Softwareen_HK
dc.rightsCreative Commons: Attribution 3.0 Hong Kong License-
dc.rightsJournal of Systems and Software. Copyright © Elsevier Inc.en_HK
dc.subjectBoolean expressionen_HK
dc.subjectEvaluation sequenceen_HK
dc.subjectFault localizationen_HK
dc.subjectPredicateen_HK
dc.titleFault localization through evaluation sequencesen_HK
dc.typeArticleen_HK
dc.identifier.openurlhttp://library.hku.hk:4550/resserv?sid=HKU:IR&issn=0164-1212&volume=83&issue=2&spage=174&epage=187&date=2010&atitle=Fault+localization+through+evaluation+sequencesen_HK
dc.identifier.emailTse, TH: thtse@cs.hku.hken_HK
dc.identifier.authorityTse, TH=rp00546en_HK
dc.description.naturepostprint-
dc.identifier.doi10.1016/j.jss.2009.09.041en_HK
dc.identifier.scopuseid_2-s2.0-73149118240en_HK
dc.identifier.hkuros168424en_HK
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-73149118240&selection=ref&src=s&origin=recordpageen_HK
dc.identifier.volume83en_HK
dc.identifier.issue2en_HK
dc.identifier.spage174en_HK
dc.identifier.epage187en_HK
dc.identifier.isiWOS:000274275200002-
dc.publisher.placeUnited Statesen_HK
dc.identifier.scopusauthoridZhang, Z=10639502200en_HK
dc.identifier.scopusauthoridJiang, B=35199818000en_HK
dc.identifier.scopusauthoridChan, WK=23967779900en_HK
dc.identifier.scopusauthoridTse, TH=7005496974en_HK
dc.identifier.scopusauthoridWang, X=34769103600en_HK
dc.identifier.citeulike5948131-

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats