亚历山大·格雷勒;Johannes Oetsch;汉斯·托姆皮茨 \（mathsf{Harvey}）：ASP中的随机测试系统。 （英语） Zbl 1491.68044号 Balduccini，Marcello（编辑）等人，《逻辑编程和非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10377, 229-235 (2017). 摘要：我们介绍了一种用于答案集编程（ASP）中随机测试的工具（mathsf{Harvey}），它允许结合约束来指导测试输入的生成。由于ASP的声明性质，可以认为与传统软件开发相比，测试的需要更少。然而，实践表明，当更复杂的方法不可行时，仍然需要进行测试。在这方面，随机测试被认为是一种简单而有效的方法。本文描述的方法允许对答案集程序进行随机测试，其中测试输入的生成和确定测试结果都可以使用ASP本身来实现：测试输入空间是使用ASP规则定义的，测试输入选择的一致性是通过使用XOR抽样实现的。这允许通过在过程中添加更多的ASP约束来超越简单的随机测试。关于整个系列，请参见[Zbl 1367.68005号]. 引用于1文件 MSC公司： 68N17号 逻辑编程 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 软件：哈维;Potassco公司 PDF格式BibTeX公司 XML格式引用 \textit｛A.Greßler｝等人，Lect。注释计算。科学。10377、229--235（2017；Zbl 1491.68044） 全文： 内政部