Mining succinct predicated bug signatures
Mining succinct predicated bug signatures
复制标题
DOI：
10.1145/2491411.2491449
复制
发表时间：
2013-08
期刊：
影响因子：
--
通讯作者：
Chengnian Sun;Siau-Cheng Khoo
中科院分区：
文献类型：
--
作者：
Chengnian Sun;Siau-Cheng Khoo
错误签名是一组程序元素，突出了错误的原因或效果，并提供了上下文信息进行调试。为了挖掘出越野车计划的签名，检查了该程序的两组执行配置文件，一个捕获正确的执行，另一组捕获有缺陷的执行，以识别程序元素与正确的错误相比。仅通过判别序列和图挖掘算法研究了仅由控制流过渡组成的特征。在控制流过渡中的任何偏差表现出来的情况下，这些签名可能会残障。在本文中，我们介绍了旨在通过利用数据谓词和控制流信息来增强错误签名的预测能力的预测错误签名\/的概念。我们介绍了一种新颖的``歧视性项目集生成器''的挖掘技术，以生成简洁的\/签名，这些签名不包含多余或无关紧要的程序元素。我们的案例研究表明，谓语签名可以暗示传统的控制流签名失败的更多虫子方案。
A bug signature is a set of program elements highlighting the cause or effect of a bug, and provides contextual information for debugging. In order to mine a signature for a buggy program, two sets of execution profiles of the program, one capturing the correct execution and the other capturing the faulty, are examined to identify the program elements contrasting faulty from correct. Signatures solely consisting of control flow transitions have been investigated via discriminative sequence and graph mining algorithms. These signatures might be handicapped in cases where the effect of a bug is not manifested by any deviation in control flow transitions. In this paper, we introduce the notion of predicated bug signature\/ that aims to enhance the predictive power of bug signatures by utilizing both data predicates and control-flow information. We introduce a novel ``discriminative itemset generator'' mining technique to generate succinct\/ signatures which do not contain redundant or irrelevant program elements. Our case studies demonstrate that predicated signatures can hint at more scenarios of bugs where traditional control-flow signatures fail.