precise propagation of fault-failure correlations in program flow graphs

ISCAS OpenIR

	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
会议录名称	Proceedings - International Computer Software and Applications Conference
页码	58-67
会议日期	July 18, 2
会议地点	Munich, Germany
收录类别	EI
ISSN	0730-3157
ISBN	9780769544397
部门归属	(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
摘要	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.
关键词	Computer Applications Electric Network Analysis
主办者	IEEE; IEEE Computer Society
语种	英语
内容类型	会议论文
URI标识	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],2011:58-67.