Tyck till om SwePub Sök
här!
Sökning: onr:"swepub:oai:DiVA.org:kth-107324" >
Model-based testing...
Model-based testing and model inference
-
- Meinke, Karl (författare)
- KTH,Teoretisk datalogi, TCS
-
Walkinshaw, N. (författare)
-
(creator_code:org_t)
- Berlin, Heidelberg : Springer, 2012
- 2012
- Engelska.
-
Ingår i: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. - Berlin, Heidelberg : Springer. - 9783642340253 ; , s. 440-443
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- Model-based software testing is well established, and can be traced back to Moore's "Gedanken experiments" on finite state machines from 1956 [10]. The best known approaches involve the use of models (such as UML interaction diagrams or state machines) as the basis for selecting test inputs that seek to explore the core functionality of the system. Outputs from the test executions can subsequently be checked against the model.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Core functionality
- Interaction diagram
- Model based testing
- Model inference
- State machine
- Test execution
- Test inputs
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas