哈维

𝖧𝖺𝗋𝗏𝖾𝗒: ASP中的随机测试系统。我们在测试中加入了随机输入的测试集。由于ASP的声明性质,可以说,与传统的软件开发相比,对测试的需求更少。然而,实践表明,当更复杂的方法不可行时,仍然需要进行测试。在这方面,随机试验被认为是一种简单而有效的方法。本文描述的方法允许对答案集程序进行随机测试,其中测试输入的生成和测试结果的确定都是使用ASP本身实现的:测试输入空间由ASP规则定义,测试输入选择的一致性通过XOR抽样实现。这使得通过在过程中添加更多的ASP约束来超越简单的随机测试。