Change search
ReferencesLink to record
Permanent link

Direct link
Model-based testing and model inference
KTH, School of Computer Science and Communication (CSC), Theoretical Computer Science, TCS.ORCID iD: 0000-0002-9706-5008
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)
Abstract [en]

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.

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
Keyword [en]
Core functionality, Interaction diagram, Model based testing, Model inference, State machine, Test execution, Test inputs
National Category
Computer Science
URN: urn:nbn:se:kth:diva-107324DOI: 10.1007/978-3-642-34026-0_32ScopusID: 2-s2.0-84868288018ISBN: 978-364234025-3OAI: 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 20121212

Available from: 2012-12-12 Created: 2012-12-10 Last updated: 2012-12-12Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Meinke, Karl
By organisation
Theoretical Computer Science, TCS
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 24 hits
ReferencesLink to record
Permanent link

Direct link