onr:"swepub:oai:DiVA.org:his-1459"
Sökning: onr:"swepub:oai:DiVA.org:his-1459" > Generating Trace-Se...
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Generating Trace-Sets for Model-Based Testing
-
- Lindström, Birgitta, (författare)
- Högskolan i Skövde, Institutionen för kommunikation och information, Högskolan i Skövde, Forskningscentrum för Informationsteknologi, Högskolan i Skövde, Incitament nivå 2
-
- Pettersson, Paul, (författare)
- Mälardalen University, P.O. Box 883, SE-721 23, Västeras, Sweden
-
- Offutt, Jeff, (författare)
- George Mason University, Fairfax, VA 22030, United States
- Högskolan i Skövde Institutionen för kommunikation och information.
- Högskolan i Skövde Forskningscentrum för Informationsteknologi.
- visa fler...
- Högskolan i Skövde Incitament nivå 2.
- visa färre...
- 2007
- Engelska.
- Serie: International Symposium on Software Reliability Engineering, 1071-9458
- Ingår i: Software Reliability, 2007. ISSRE '07. The 18th IEEE International Symposium on. - IEEE Press. - 978-0-7695-3024-6 ; s. 171-180
- Konferensbidrag (refereegranskat)
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
- TEKNIK OCH TEKNOLOGIER (hsv//swe)
- ENGINEERING AND TECHNOLOGY (hsv//eng)
Nyckelord
- TECHNOLOGY
- TEKNIKVETENSKAP
- Technology
- Teknik
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
- SFX@LIBRIS
- Software Reliability, 2007. ISSRE '07. The 18th IEEE International Symposium on (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Lindström, Birgi ...
- Pettersson, Paul
- Offutt, Jeff
- Om ämnet
- TEKNIK OCH TEKNO ...
- Delar i serien
- International Sy ...
- Artiklar i publikationen
- Software Reliabi ...
- Av lärosätet
- Högskolan i Skövde
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
- Scirus
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
