Institutional Repository
| precise propagation of fault-failure correlations in program flow graphs | |
| Zhang Zhenyu; Chan W.K.; Tse T.H.; Jiang Bo | |
| 2011 | |
| Conference Name | 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011 |
| Source | Proceedings - International Computer Software and Applications Conference |
| Pages | 58-67 |
| Conference Date | July 18, 2 |
| Conference Place | Munich, Germany |
| Indexed Type | EI |
| ISSN | 0730-3157 |
| ISBN | 9780769544397 |
| Department | (1) State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China; (2) Department of Computer Science City University of Hong Kong Tat Chee Avenue Hong Kong Hong Kong; (3) Department of Computer Science University of Hong Kong Pokfulam Hong Kong |
| English Abstract | Statistical fault localization techniques find suspicious faulty program entities in programs by comparing passed and failed executions. Existing studies show that such techniques can be promising in locating program faults. However, coincidental correctness and execution crashes may make program entities indistinguishable in the execution spectra under study, or cause inaccurate counting, thus severely affecting the precision of existing fault localization techniques. In this paper, we propose a BlockRank technique, which calculates, contrasts, and propagates the mean edge profiles between passed and failed executions to alleviate the impact of coincidental correctness. To address the issue of execution crashes, Block-Rank identifies suspicious basic blocks by modeling how each basic block contributes to failures by apportioning their fault relevance to surrounding basic blocks in terms of the rate of successful transition observed from passed and failed executions. BlockRank is empirically shown to be more effective than nine representative techniques on four real-life medium-sized programs. © 2011 IEEE.; Statistical fault localization techniques find suspicious faulty program entities in programs by comparing passed and failed executions. Existing studies show that such techniques can be promising in locating program faults. However, coincidental correctness and execution crashes may make program entities indistinguishable in the execution spectra under study, or cause inaccurate counting, thus severely affecting the precision of existing fault localization techniques. In this paper, we propose a BlockRank technique, which calculates, contrasts, and propagates the mean edge profiles between passed and failed executions to alleviate the impact of coincidental correctness. To address the issue of execution crashes, Block-Rank identifies suspicious basic blocks by modeling how each basic block contributes to failures by apportioning their fault relevance to surrounding basic blocks in terms of the rate of successful transition observed from passed and failed executions. BlockRank is empirically shown to be more effective than nine representative techniques on four real-life medium-sized programs. © 2011 IEEE. |
| Keyword | Computer Applications Electric Network Analysis |
| Sponsorship | IEEE; IEEE Computer Society |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/16224 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Zhang Zhenyu,Chan W.K.,Tse T.H.,et al. precise propagation of fault-failure correlations in program flow graphs[C],2011:58-67. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment