A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains - Publication - Bridge of Knowledge

Search

A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains

Abstract

This chapter provides a taxonomy of Model-Based Testing (MBT) based on the approaches that are presented throughout this book as well as in the related literature. The techniques for testing are categorized using a number of dimensions to familiarize the reader with the terminology used throughout the chapters that follow. In this chapter, after a brief introduction, a general definition of MBT and related work on available MBT surveys is provided. Next, the various test dimensions are presented. Subsequently, an extensive taxonomy is proposed that classifies the MBT process according to the MBT foundation (referred to as MBT basis), definition of various test generation techniques, consideration of test execution methods, and the specification of test evaluation. The taxonomy is an extension of previous work by Zander and Schieferdecker (2009) and it is based on contributions of Utting, Pretschner, and Legeard (2006). A summary concludes the chapter with the purpose of encouraging the reader to further study the contributions of the collected chapters in this book and the specific aspects of MBT that they address in detail.

Citations

  • 1 8

    CrossRef

  • 0

    Web of Science

  • 0

    Scopus

Cite as

Full text

full text is not available in portal

Keywords

Details

Category:
Monographic publication
Type:
rozdział, artykuł w książce - dziele zbiorowym /podręczniku w języku o zasięgu międzynarodowym
Title of issue:
W : Model-Based Testing for Embedded Systems strony 1 - 30
Language:
English
Publication year:
2012
Bibliographic description:
Zander J., Mosterman P.: A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains// W : Model-Based Testing for Embedded Systems/ ed. eds. Justyna Zander, Ina Schieferdecker, Pieter J. Mosterman Boca Raton, FL: CRC Press, 2012, s.1-30
DOI:
Digital Object Identifier (open in new tab) 10.1201/b11321-2
Verified by:
Gdańsk University of Technology

seen 154 times

Recommended for you

Meta Tags