Capturing propagation of infected program states
Capturing propagation of infected program states
复制标题
DOI：
10.1145/1595696.1595705
复制
发表时间：
2009-08
期刊：
影响因子：
--
通讯作者：
Zhenyu Zhang;W. Chan;T. Tse;Bo Jiang;Xinming Wang
中科院分区：
文献类型：
--
作者：
Zhenyu Zhang;W. Chan;T. Tse;Bo Jiang;Xinming Wang
基于覆盖范围的故障平局技术通过比较传递的执行和执行失败的执行统计信息来找到程序中与故障相关的位置。他们评估单个程序实体的过错可疑性，并按照其可疑分数的降序对陈述进行排名，以帮助识别程序中的故障。但是，许多这样的技术着重于评估单个程序实体的可疑性，但忽略了受感染程序状态的传播。在本文中，我们使用边缘配置文件来表示传递的执行和失败的执行，将它们对比，以模拟每个基本块如何通过将受感染的程序状态抽象传播到其相邻的基本块通过控制流动边缘来造成故障的影响。我们评估通过每个边缘传播的受感染程序状态的可疑性，通过这种传播感染程序状态将基本块与边缘相关联，计算每个基本块的可疑性得分，最后合成一个排名的语句列表，以促进程序错误的识别。 。我们进行了对照实验，以使用标准的基准标记将现有代表性技术与我们的有效性进行比较。结果是有希望的。
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 bench-marks. The results are promising.