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