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
Event-sequence testing using answer-set programming
University of Oxford, Department of Computer Science, Oxford, UK.
Sabanci University, Faculty of Engineering and Natural Sciences, Orhanli, Tuzla, Istanbul, Turkey.
National Institute of Informatics, Chiyoda-ku, Tokyo, Japan.
Technische Universitat Wien, Institut für Informationssysteme 184/3, Vienna, Austria.ORCID iD: 0000-0002-9902-7662
Show others and affiliations
2012 (English)In: International Journal on Advances in Software, E-ISSN 1942-2628, Vol. 5, no 3 & 4, p. 237-251Article in journal (Refereed) Published
Abstract [en]

In many applications, faults are triggered by events that occur in a particular order. In fact, many bugs are caused by the interaction of only a low number of such events. Based on this assumption, sequence covering arrays (SCAs) have recently been proposed as suitable designs for event sequence testing. In practice, directly applying SCAs for testing is often impaired by additional constraints, and SCAs have to be adapted to fit application-specific needs. Modifying precomputed SCAs to account for problem variations can be problematic, if not impossible, and developing dedicated algorithms is costly. In this article, we propose answer-set programming (ASP), a well-known knowledge-representation formalism from the area of artificial intelligence based on logic programming, as a declarative paradigm for computing SCAs. Our approach allows to concisely state complex coverage criteria in an elaboration tolerant way, i.e., small variations of a problem specification require only small modifications of the ASP representation. Employing ASP for computing SCAs is further justified by new complexity results related to event-sequence testing that are established in this work.

Place, publisher, year, edition, pages
2012. Vol. 5, no 3 & 4, p. 237-251
Keywords [en]
event-sequence testing, complexity analysis, combinatorial interaction testing, answer-set programming
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hj:diva-63657OAI: oai:DiVA.org:hj-63657DiVA, id: diva2:1839643
Available from: 2024-02-21 Created: 2024-02-21 Last updated: 2025-10-13Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Full-text

Authority records

Oetsch, Johannes

Search in DiVA

By author/editor
Oetsch, Johannes
In the same journal
International Journal on Advances in Software
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 108 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