Search: onr:"swepub:oai:DiVA.org:his-1459"
> Conference paper >
Generating Trace-Se...
Generating Trace-Sets for Model-Based Testing
-
- Lindström, Birgitta (author)
- Högskolan i Skövde,Institutionen för kommunikation och information,Forskningscentrum för Informationsteknologi,Informationssystem (IS), Information Systems
-
- Pettersson, Paul (author)
- Mälardalen University, Västeras, Sweden
-
- Offutt, Jeff (author)
- George Mason University, Fairfax, VA, United States
-
(creator_code:org_t)
- IEEE, 2007
- 2007
- English.
-
In: Proceedings 18th IEEE International Symposiumon Software Reliability Engineering. - : IEEE. - 9780769530246 - 0769530249 ; , s. 171-180
- Related links:
-
https://urn.kb.se/re...
-
show more...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of individual traces, software testing needs sets of traces that satisfy coverage criteria. Finding a trace set in a large model is difficult because model checkers generate single traces and use a lot of memory. Space and time requirements of modelchecking algorithms grow exponentially with respect to the number of variables and parallel automata of the model being analyzed. We present a method that generates a set of traces by iteratively invoking a model checker. The method mitigates the memory consumption problem by dynamically building partitions along the traces. This method was applied to a testability case study, and it generated the complete trace set, while ordinary model-checking could only generate 26%.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Keyword
- TECHNOLOGY
- TEKNIKVETENSKAP
- Technology
- Teknik
- Information Systems
- Informationssystem (IS)
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
To the university's database