LocFaults方法在含While循环程序错误定位中的可扩展性探索
人工智能
2015-03-19 v1 软件工程
摘要
模型检查器可以为错误程序生成反例轨迹，该轨迹通常冗长且难以理解。通常，循环部分是该轨迹中指令的最大组成部分。这使得循环中的错误定位对于分析整个程序中的错误至关重要。本文探索了LocFaults的可扩展能力，这是一种利用反例中控制流图（CFG）路径来计算最小修正偏差（MCD）以及从每个找到的MCD中计算最小修正子集（MCS）的错误定位方法。我们展示了该方法在展开b次的While循环程序上的时间，以及偏差条件数量从0到n的情况。我们的初步结果表明，与基于SAT并将整个程序转换为布尔公式的BugAssist相比，我们基于约束和流驱动的方法时间更优，并且LocFaults提供的信息对用户更具表达力。
引用
@article{arxiv.1503.05508,
title = {Exploration of the scalability of LocFaults approach for error localization with While-loops programs},
author = {Mohammed Bekkouche},
journal= {arXiv preprint arXiv:1503.05508},
year = {2015}
}