precise propagation of fault-failure correlations in program flow graphs
文献类型：会议论文
| 作者 | Zhang Zhenyu ; Chan W.K. ; Tse T.H. ; Jiang Bo |
| 出版日期 | 2011 |
| 会议名称 | 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011 |
| 会议日期 | July 18, 2 |
| 会议地点 | Munich, Germany |
| 关键词 | Computer applications Electric network analysis |
| 页码 | 58-67 |
| 中文摘要 | 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. |
| 收录类别 | EI |
| 会议主办者 | IEEE; IEEE Computer Society |
| 会议录 | Proceedings - International Computer Software and Applications Conference
 |
| 语种 | 英语 |
| ISSN号 | 0730-3157 |
| ISBN号 | 9780769544397 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/16224]  |
| 专题 | 软件研究所_软件所图书馆_会议论文 |
| 推荐引用方式 GB/T 7714 | Zhang Zhenyu,Chan W.K.,Tse T.H.,et al. precise propagation of fault-failure correlations in program flow graphs[C]. 见:35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011. Munich, Germany. July 18, 2. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。