小睡

Catnap:用答案集编程生成约束组合测试的测试集。本文提出了一种基于答案集编程(ASP)的约束组合测试(CCT)测试集生成方法。生成的catnap系统接受CCT实例的事实格式,并将其与用于生成测试套件的一阶编码相结合,该编码随后可由任何现成的ASP系统解决。我们通过将我们的方法与通过专用实现获得的最广为人知的界限进行经验对比来评估该方法的有效性。