安:06769665 Zbl 06769665 格雷勒,亚历山大;欧茨,约翰内斯;汤姆皮茨,汉斯 \(\mathsf{Harvey}\):ASP中的随机测试系统 ZH Balduccini,Marcello(ed.)等人,《逻辑程序设计与非单调推理》。第14届国际会议,LPNMR 2017,芬兰埃斯波,2017年7月3日至6日。会议记录。查姆:斯普林格(ISBN 978-3-319-61659-9/pbk;978-3-319-61660-5/电子书)。计算机科学讲义10377。人工智能课堂讲稿,229-235(2017)。 2017
68N17 68T27 摘要:我们介绍了一个用于答案集编程(ASP)中随机测试的工具\(\mathsf{Harvey}\),它允许合并约束来指导测试输入的生成。由于ASP的声明性质,可以说,与传统的软件开发相比,对测试的需求更少。然而,实践表明,当更复杂的方法不可行时,仍然需要进行测试。在这方面,随机试验被认为是一种简单而有效的方法。本文描述的方法允许对答案集程序进行随机测试,其中测试输入的生成和测试结果的确定都是使用ASP本身实现的:测试输入空间由ASP规则定义,测试输入选择的一致性通过XOR抽样实现。这使得通过在过程中添加更多的ASP约束来超越简单的随机测试。整个系列见[Zbl 1367.68005]。