论文标题
逻辑程序的基于SMT的一致性测试工具
An SMT-Based Concolic Testing Tool for Logic Programs
论文作者
论文摘要
一致性测试将符号和具体执行混合在一起，以生成有效涵盖路径的测试用例。 15年以上，已证明其好处以测试当务之急。其他编程范式，例如逻辑编程，受到较少的关注。在本文中，我们提出了一种基于共同的逻辑程序测试方法。我们的方法利用了SMT解决方案来解决约束。然后，我们描述了用于序言的一致性测试工具的实现，并在某些选定的基准测试中验证它。
Concolic testing mixes symbolic and concrete execution to generate test cases covering paths effectively. Its benefits have been demonstrated for more than 15 years to test imperative programs. Other programming paradigms, like logic programming, have received less attention. In this paper, we present a concolic-based test generation method for logic programs. Our approach exploits SMT-solving for constraint resolution. We then describe the implementation of a concolic testing tool for Prolog and validate it on some selected benchmarks.
