• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Advances in software engineering >Combining Slicing and Constraint Solving for Better Debugging: The CONBASApproach
【24h】

Combining Slicing and Constraint Solving for Better Debugging: The CONBASApproach

机译：结合切片和约束求解以实现更好的调试：CONBASApproach

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Although slices provide a good basis for analyzing programs during debugging, they lack in their capabilities providing precise information regarding the most likely root causes of faults. Hence, a lot of work is left to the programmer during fault localization. In this paper, we present an approach that combines an advanced dynamic slicing method with constraint solving in order to reduce the number of delivered fault candidates. The approach is called Constraints Based Slicing (CONBAS). The idea behind CONBASis to convert an execution trace of a failing test case into its constraint representation and to check if it is possible to find values for all variables in the execution trace so that there is no contradiction with the test case. For doing so, we make use of the correctness and incorrectness assumptions behind a diagnosis, the given failing test case. Beside the theoretical foundations and the algorithm, we present empirical results and discuss future research. The obtained empirical results indicate an improvement of about 28% for the single fault and 50% for the double-fault case compared to dynamic slicing approaches.
机译：尽管切片为调试期间分析程序提供了良好的基础，但它们缺乏提供有关最可能的根本原因的精确信息的功能。因此，在故障定位过程中，程序员要承担很多工作。在本文中，我们提出了一种将先进的动态切片方法与约束求解相结合的方法，以减少交付的候选故障数量。该方法称为基于约束的切片（CONBAS）。 CONBASis的思想是将失败的测试用例的执行跟踪转换成其约束表示形式，并检查是否有可能在执行跟踪中找到所有变量的值，从而与测试用例没有矛盾。为此，我们利用诊断背后的正确性和不正确性假设（给定的失败测试用例）。除了理论基础和算法外，我们还提供了经验结果并讨论了未来的研究。所获得的经验结果表明，与动态切片方法相比，单故障和双故障情况分别提高了约28％和50％。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号