Abstractions for Model-Based Testing

Wolfgang Prenninger, Alexander Pretschner

Research output: Contribution to journalArticlepeer-review

32 Scopus citations

Abstract

The idea of model-based testing is to compare the I/O behavior of an explicit behavior model with that of a system under test. This requires the model to be valid. If the model is a simplification of the SUT, then it is easier to check the model and use it for subsequent test case generation than to directly check the SUT. In this case, the different levels of abstraction must be bridged. Not surprisingly, experience shows that choosing the right level of abstraction is crucial to the success of model-based testing. We argue that models for specification purposes, models for test generation, and models for full code generation are likely to be different. The paper classifies and discusses different abstractions. It is intended as a step towards guidelines for those who build behavior models to the end of testing.

Original languageEnglish
Pages (from-to)59-71
Number of pages13
JournalElectronic Notes in Theoretical Computer Science
Volume116
Issue numberSPEC.ISS.
DOIs
StatePublished - 19 Jan 2005

Keywords

  • Model-based testing
  • SUT
  • Specification
  • Verification

Fingerprint

Dive into the research topics of 'Abstractions for Model-Based Testing'. Together they form a unique fingerprint.

Cite this