DMCA
Capturing Propagation of Infected Program States (2009)
| Venue: | PROCEEDINGS OF THE 7TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATION OF SOFTWARE ENGINEERING (ESEC 2009/FSE-17) |
| Citations: | 26 - 12 self |
BibTeX
@INPROCEEDINGS{Zhang09capturingpropagation,
author = {Zhenyu Zhang and W. K. Chan and T. H. Tse and Bo Jiang and Xinming Wang},
title = {Capturing Propagation of Infected Program States},
booktitle = {PROCEEDINGS OF THE 7TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATION OF SOFTWARE ENGINEERING (ESEC 2009/FSE-17)},
year = {2009},
pages = {43--52},
publisher = {ACM Press}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Coverage-based fault-localization techniques find the fault-related positions in programs by comparing the execution statistics of passed executions and failed executions. They assess the fault suspiciousness of individual program entities and rank the statements in descending order of their suspiciousness scores to help identify faults in programs. However, many such techniques focus on assessing the suspiciousness of individual program entities but ignore the propagation of infected program states among them. In this paper, we use edge profiles to represent passed executions and failed executions, contrast them to model how each basic block contributes to failures by abstractly propagating infected program states to its adjacent basic blocks through control flow edges. We assess the suspiciousness of the infected program states propagated through each edge, associate basic blocks with edges via such propagation of infected program states, calculate suspiciousness scores for each basic block, and finally synthesize a ranked list of statements to facilitate the identification of program faults. We conduct a controlled experiment to compare the effectiveness of existing representative techniques with ours using standard benchmarks. The results are promising.
Keyphrases
infected program state individual program entity representative technique associate basic block fault suspiciousness passed execution many technique calculate suspiciousness score standard benchmark control flow edge program state basic block edge profile program fault basic block contributes execution statistic fault-related position coverage-based fault-localization technique ranked list controlled experiment suspiciousness score adjacent basic block
