Sökning: onr:"swepub:oai:DiVA.org:his-1459"
> Konferensbidrag >
Generating Trace-Se...
Generating Trace-Sets for Model-Based Testing
-
- Lindström, Birgitta (författare)
- Högskolan i Skövde,Institutionen för kommunikation och information,Forskningscentrum för Informationsteknologi,Informationssystem (IS), Information Systems
-
- Pettersson, Paul (författare)
- Mälardalen University, Västeras, Sweden
-
- Offutt, Jeff (författare)
- George Mason University, Fairfax, VA, United States
-
(creator_code:org_t)
- IEEE, 2007
- 2007
- Engelska.
-
Ingår i: Proceedings 18th IEEE International Symposiumon Software Reliability Engineering. - : IEEE. - 9780769530246 - 0769530249 ; , s. 171-180
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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%.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- TECHNOLOGY
- TEKNIKVETENSKAP
- Technology
- Teknik
- Information Systems
- Informationssystem (IS)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas