On testing answer-set programs Show others and affiliations
2010 (English) In: Frontiers in Artificial Intelligence and Applications: Volume 215: ECAI 2010, IOS Press, 2010, p. 951-956Conference paper, Published paper (Refereed)
Abstract [en]
Answer-set programming (ASP) is a well-acknowledged paradigm for declarative problem solving, yet comparably little effort has been spent on the investigation of methods to support the development of answer-set programs. In particular, systematic testing of programs, constituting an integral part of conventional software development, has not been discussed for ASP thus far. In this paper, we fill this gap and develop notions enabling the structural testing of answer-set programs, i.e., we address testing based on test cases that are chosen with respect to the internal structure of a given answer-set program. More specifically, we introduce different notions of coverage that measure to what extent a collection of test inputs covers certain important structural components of the program. In particular, we introduce metrics corresponding to path and branch coverage from conventional testing. We also discuss complexity aspects of the considered notions and give strategies how test inputs that yield increasing (up to total) coverage can be automatically generated.
Place, publisher, year, edition, pages IOS Press, 2010. p. 951-956
Series
Frontiers in Artificial Intelligence and Applications, ISSN 0922-6389, E-ISSN 1879-8314 ; 215
Keywords [en]
Logic programming, Problem solving, Software design, Answer set, Answer set programming, Declarative problem solving, Integral part, Internal structure, Structural component, Structural testing, Systematic testing, Test case, Test inputs, Software testing
National Category
Computer Sciences
Identifiers URN: urn:nbn:se:hj:diva-63583 DOI: 10.3233/978-1-60750-606-5-951 Scopus ID: 2-s2.0-77956017425 ISBN: 9781607506058 (print) OAI: oai:DiVA.org:hj-63583 DiVA, id: diva2:1838180
Conference 2nd Workshop on Knowledge Representation for Health Care, KR4HC 2010, in conjunction with the 19th European Conference in Artificial Intelligence, ECAI 2010, 17 August 2010, Lisbon, Portugal
2024-02-152024-02-152024-02-15 Bibliographically approved