On the small-scope hypothesis for testing answer-set programsShow others and affiliations
2012 (English)In: Proceedings of the International Conference on Knowledge Representation and Reasoning, IEEE, 2012, p. 43-53Conference paper, Published paper (Refereed)
Abstract [en]
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.
Place, publisher, year, edition, pages
IEEE, 2012. p. 43-53
Keywords [en]
Knowledge representation, Logic programming, Answer set, Answer set programming, Bench-mark problems, Encodings, Experimental evaluation, Mutation analysis, Test inputs, Software testing
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hj:diva-63574Scopus ID: 2-s2.0-84893364408ISBN: 9781577355601 (print)OAI: oai:DiVA.org:hj-63574DiVA, id: diva2:1838390
Conference
13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012, 10-14 June 2012, Rome, Italy
2024-02-162024-02-162024-02-16Bibliographically approved