Sökning: id:"swepub:oai:DiVA.org:hj-63657" >
Event-sequence test...
Event-sequence testing using answer-set programming
-
- Brain, Martin (författare)
- University of Oxford, Department of Computer Science, Oxford, UK
-
- Erdem, Esra (författare)
- Sabanci University, Faculty of Engineering and Natural Sciences, Orhanli, Tuzla, Istanbul, Turkey
-
- Inoue, Katsumi (författare)
- National Institute of Informatics, Chiyoda-ku, Tokyo, Japan
-
visa fler...
-
- Oetsch, Johannes (författare)
- Technische Universitat Wien, Institut für Informationssysteme 184/3, Vienna, Austria
-
- Pührer, Jörg (författare)
- Technische Universitat Wien, Institut für Informationssysteme 184/3, Vienna, Austria
-
- Tompits, Hans (författare)
- Technische Universitat Wien, Institut für Informationssysteme 184/3, Vienna, Austria
-
- Yilmaz, Cemal (författare)
- Sabanci University, Faculty of Engineering and Natural Sciences, Orhanli, Tuzla, Istanbul, Turkey
-
visa färre...
-
(creator_code:org_t)
- 2012
- 2012
- Engelska.
-
Ingår i: International Journal on Advances in Software. - 1942-2628. ; 5:3 & 4, s. 237-251
- Relaterad länk:
-
https://www.thinkmin...
-
visa fler...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- event-sequence testing
- complexity analysis
- combinatorial interaction testing
- answer-set programming
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas