Model-based testing and model inference
2012 (English)In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / [ed] Tiziana Margaria, Bernhard Steffen, Springer, 2012, no PART 1, 440-443 p.Conference paper (Refereed)
Model-based software testing is well established, and can be traced back to Moore's "Gedanken experiments" on finite state machines from 1956 . 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.
Place, publisher, year, edition, pages
Springer, 2012. no PART 1, 440-443 p.
, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743 ; 7609 LNCS
Core functionality, Interaction diagram, Model based testing, Model inference, State machine, Test execution, Test inputs
IdentifiersURN: urn:nbn:se:kth:diva-107324DOI: 10.1007/978-3-642-34026-0_32ScopusID: 2-s2.0-84868288018ISBN: 978-364234025-3OAI: oai:DiVA.org:kth-107324DiVA: diva2:576033
5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012, 15 October 2012 through 18 October 2012, Heraklion, Crete
QC 201212122012-12-122012-12-102012-12-12Bibliographically approved