[Back]

J. Oetsch, M. Prischink, J. Puehrer, M. Schwengerer, H. Tompits:
"On the Small-Scope Hypothesis for Testing Answer-Set Programs";
Talk: 13th International Conference on Principles of Knowledge Representation and Reasoning, Rome, Italy; 06-10-2012 - 06-14-2012; in: "13th International Conference on Principles of Knowledge Representation and Reasoning", AAAI Press, (2012), ISBN: 978-1-57735-561-8; 43 - 53.

In software testing, the small-scope hypothesis states that a high proportion of errors can be found by testing a program for all test inputs within some small scope. In this paper, we evaluate the small-scope hypothesis for answer-set programming (ASP). To this end, we follow work in traditional testing and base our evaluation on mutation analysis. In fact, we show that a rather limited scope is sufficient for testing ASP encodings from a representative set of benchmark problems. Our experimental evaluation facilitates effective methods for testing in ASP. Also, it gives some justification to analyse programs at the propositional level after grounding them over a small domain.

answer-set programming, bounded-exhaustive testing, smll-scope hypothesis

http://publik.tuwien.ac.at/files/PubDat_211480.pdf

Project Head Hans Tompits:
Softwareentwicklung in der Answer-Set Programmierung