Testing and debugging techniques for answer set solver development

作     者：Brummayer, Robert Jarvisalo, Matti 

作者机构：Johannes Kepler Univ Linz Inst Formal Models & Verificat Linz Austria Univ Helsinki Dept Comp Sci FIN-00014 Helsinki Finland 

出 版 物：《THEORY AND PRACTICE OF LOGIC PROGRAMMING》 (逻辑程序设计理论与实践)

年 卷 期：2010年第10卷第4-6期

页      面：741-758页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 0701[理学-数学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：answer set programming answer set solvers testing debugging 

摘      要：This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is able to reveal various defects such as unsound and incomplete behavior, i.e. invalid answer sets and inability to find existing solutions, in state-of-the-art answer set solver implementations. Moreover, we develop delta debugging techniques for shrinking failure-inducing inputs on which solvers exhibit defective behavior. In particular, we develop a delta debugging algorithm in the context of answer set solving, and evaluate two different elimination strategies for the algorithm.