System disruptions
We are currently experiencing disruptions on the search portals due to high traffic. We are working to resolve the issue, you may temporarily encounter an error message.
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
On testing answer-set programs
Aalto University, Department of Information and Computer Science, Aalto, Finland.
Aalto University, Department of Information and Computer Science, Aalto, Finland.
Technische Universität Wien, Institut für Informationssysteme 184/3, Vienna, Austria.ORCID iD: 0000-0002-9902-7662
Technische Universität Wien, Institut für Informationssysteme 184/3, Vienna, Austria.
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-63583DOI: 10.3233/978-1-60750-606-5-951Scopus ID: 2-s2.0-77956017425ISBN: 9781607506058 (print)OAI: oai:DiVA.org:hj-63583DiVA, 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
Available from: 2024-02-15 Created: 2024-02-15 Last updated: 2024-02-15Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Oetsch, Johannes

Search in DiVA

By author/editor
Oetsch, Johannes
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 14 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf