×

兹马思-数学第一资源

\(\mathsf{Harvey}\):ASP中的随机测试系统。(英语) Zbl公司 06769665
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)。
({\MathVey)允许在测试集中包含随机输入(测试集)。由于ASP的声明性质,可以说,与传统的软件开发相比,对测试的需求更少。然而,实践表明,当更复杂的方法不可行时,仍然需要进行测试。在这方面,随机试验被认为是一种简单而有效的方法。本文描述的方法允许对答案集程序进行随机测试,其中测试输入的生成和测试结果的确定都是使用ASP本身实现的:测试输入空间由ASP规则定义,测试输入选择的一致性通过XOR抽样实现。这使得通过在过程中添加更多的ASP约束来超越简单的随机测试。
整个系列请参见[Zbl 1367.68005].
理学硕士:
68N17 逻辑程序设计
68T27型 人工智能中的逻辑
软件:
哈维;钾肥
PDF格式 BibTeX公司 XML 引用
全文: 内政部