论文标题
通过概率软件建模朝故障定位
Towards Fault Localization via Probabilistic Software Modeling
论文作者
论文摘要
软件测试可帮助开发人员识别错误。但是，对错误的意识只是第一步。查找和纠正错误的程序组件对于高质量的软件同样难理，也是必不可少的。故障本地化会自动查找程序中现有错误的位置。这是一个棘手的问题，现有方法还不够精确，无法广泛采用工业。我们通过概率软件建模（PSM）提出故障定位。 PSM分析了程序的结构和行为，并综合了概率模型（PMS）网络。每个PM模型具有其输入和输出的方法，并能够评估运行时数据的可能性。我们使用此可能性评估来查找故障位置及其对因代码元素的影响。结果表明，PSM是用于准确故障定位的强大框架。
Software testing helps developers to identify bugs. However, awareness of bugs is only the first step. Finding and correcting the faulty program components is equally hard and essential for high-quality software. Fault localization automatically pinpoints the location of an existing bug in a program. It is a hard problem, and existing methods are not yet precise enough for widespread industrial adoption. We propose fault localization via Probabilistic Software Modeling (PSM). PSM analyzes the structure and behavior of a program and synthesizes a network of Probabilistic Models (PMs). Each PM models a method with its inputs and outputs and is capable of evaluating the likelihood of runtime data. We use this likelihood evaluation to find fault locations and their impact on dependent code elements. Results indicate that PSM is a robust framework for accurate fault localization.
