一种基于CSP的错误定位辅助方法
人工智能
2014-04-29 v1 软件工程
摘要
本文提出了一种新的基于约束规划（CP）的方法，用于支持在存在反例（即违反后置条件的输入变量实例化）的程序中进行错误定位。为了提供有助于错误定位的信息，我们为控制流图（CFG）中最多有k个条件语句可能出错的路径生成一个约束系统。然后，我们计算每条路径上有界大小的最小修正集（MCS）。移除这些约束集之一会得到一个最大可满足子集，即满足后置条件的最大约束子集。我们扩展了Liffiton和Sakallah提出的算法\cite{LiS08}，以更高效地处理包含数值语句的程序。我们给出了初步的实验结果，这些结果相当令人鼓舞。
引用
@article{arxiv.1404.6567,
title = {Une approche CSP pour l'aide \`a la localisation d'erreurs},
author = {Mohammed Bekkouche and Hélène Collavizza and Michel Rueher},
journal= {arXiv preprint arXiv:1404.6567},
year = {2014}
}
备注
10 pages, in French