哈维 swMATH ID: 21395 软件作者： 亚历山大·格雷勒；Oetsch，Johannes；汉斯·托姆皮茨 说明： 哈维：ASP中的随机测试系统。我们介绍了Harvey，一个用于答案集编程（ASP）中随机测试的工具，它允许结合约束来指导测试输入的生成。由于ASP的声明性质，可以认为与传统软件开发相比，测试的需要更少。然而，实践表明，当更复杂的方法不可行时，仍然需要进行测试。在这方面，随机测试被认为是一种简单而有效的方法。本文描述的方法允许对答案集程序进行随机测试，其中测试输入的生成和确定测试结果都可以使用ASP本身来实现：测试输入空间是使用ASP规则定义的，测试输入选择的一致性是通过使用XOR抽样实现的。这允许通过在过程中添加更多的ASP约束来超越简单的随机测试。 主页： http://www.kr.tuwien.ac.at/research/systems/harvey/ 相关软件： Potassco公司;天基信息平台;无人力资源;卡特纳普;参数应用;莫维奥拉;lp2正常;扣;ezcsp公司;DLV2型;PENGASP公司;乌胡拉;海狮;DLV公司;克索罗;克林戈;糠;格林戈 引用于： 5文件 全部的 前5名12位作者引用 2 汤米·詹胡宁 2 汉斯·托姆皮茨 1 乔瓦尼·阿蒙多拉 1 马塞洛·巴尔杜奇尼 1 托拜厄斯·贝雷 1 弗拉维奥·埃弗拉多 1 亚历山大·格雷勒 1 托比亚斯·凯恩 1 罗兰·卡明斯基 1 约翰内斯·奥奇 1 弗朗西斯科·里卡 1 托尔斯滕·绍布（Torsten H.Schaub）。 连载1篇 1 计算机科学课堂讲稿 在2个字段中引用 5 计算机科学（68至XX） 1 总体主题；集合（00-XX） 按年份列出的引文