Links for fulltext
(May Require Subscription)
- Publisher Website: 10.1016/j.jss.2009.09.041
- Scopus: eid_2-s2.0-73149118240
- WOS: WOS:000274275200002
- Find via
Supplementary
-
Bookmarks:
- CiteULike: 1
- Citations:
- Appears in Collections:
Article: Fault localization through evaluation sequences
Title | Fault localization through evaluation sequences | ||||||
---|---|---|---|---|---|---|---|
Authors | |||||||
Keywords | Boolean expression Evaluation sequence Fault localization Predicate | ||||||
Issue Date | 2010 | ||||||
Publisher | Elsevier 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? | ||||||
Abstract | Predicate-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 Identifier | http://hdl.handle.net/10722/89044 | ||||||
ISSN | 2021 Impact Factor: 3.514 2020 SCImago Journal Rankings: 0.642 | ||||||
ISI Accession Number ID |
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 Field | Value | Language |
---|---|---|
dc.contributor.author | Zhang, Z | en_HK |
dc.contributor.author | Jiang, B | en_HK |
dc.contributor.author | Chan, WK | en_HK |
dc.contributor.author | Tse, TH | en_HK |
dc.contributor.author | Wang, X | en_HK |
dc.date.accessioned | 2010-09-06T09:51:41Z | - |
dc.date.available | 2010-09-06T09:51:41Z | - |
dc.date.issued | 2010 | en_HK |
dc.identifier.citation | Journal Of Systems And Software, 2010, v. 83 n. 2, p. 174-187 | en_HK |
dc.identifier.issn | 0164-1212 | en_HK |
dc.identifier.uri | http://hdl.handle.net/10722/89044 | - |
dc.description.abstract | Predicate-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.language | eng | en_HK |
dc.publisher | Elsevier Inc. The Journal's web site is located at http://www.elsevier.com/locate/jss | en_HK |
dc.relation.ispartof | Journal of Systems and Software | en_HK |
dc.rights | Journal of Systems and Software. Copyright © Elsevier Inc. | en_HK |
dc.rights | This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License. | - |
dc.subject | Boolean expression | en_HK |
dc.subject | Evaluation sequence | en_HK |
dc.subject | Fault localization | en_HK |
dc.subject | Predicate | en_HK |
dc.title | Fault localization through evaluation sequences | en_HK |
dc.type | Article | en_HK |
dc.identifier.openurl | http://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+sequences | en_HK |
dc.identifier.email | Tse, TH: thtse@cs.hku.hk | en_HK |
dc.identifier.authority | Tse, TH=rp00546 | en_HK |
dc.description.nature | postprint | - |
dc.identifier.doi | 10.1016/j.jss.2009.09.041 | en_HK |
dc.identifier.scopus | eid_2-s2.0-73149118240 | en_HK |
dc.identifier.hkuros | 168424 | en_HK |
dc.relation.references | http://www.scopus.com/mlt/select.url?eid=2-s2.0-73149118240&selection=ref&src=s&origin=recordpage | en_HK |
dc.identifier.volume | 83 | en_HK |
dc.identifier.issue | 2 | en_HK |
dc.identifier.spage | 174 | en_HK |
dc.identifier.epage | 187 | en_HK |
dc.identifier.isi | WOS:000274275200002 | - |
dc.publisher.place | United States | en_HK |
dc.identifier.scopusauthorid | Zhang, Z=10639502200 | en_HK |
dc.identifier.scopusauthorid | Jiang, B=35199818000 | en_HK |
dc.identifier.scopusauthorid | Chan, WK=23967779900 | en_HK |
dc.identifier.scopusauthorid | Tse, TH=7005496974 | en_HK |
dc.identifier.scopusauthorid | Wang, X=34769103600 | en_HK |
dc.identifier.citeulike | 5948131 | - |
dc.identifier.issnl | 0164-1212 | - |