Model-based passive testing of safety-critical components

Loading...
Thumbnail Image

Date

Authors

Gruner, Stefan
Watson, Bruce William

Journal Title

Journal ISSN

Volume Title

Publisher

CRC Press

Abstract

Passive testing is a complementary technique to active testing. For some types of systems, for example dynamic or adaptive distributed systems which are able to re-configure themselves at runtime in response to changes in their environments, exhaustive active testing before deployment is either theoretically impossible or practically not feasible. For such types of systems the additional application of the technique of passive testing is recommendable. However, a comprehensive theory and taxonomy of methods and techniques for model-based passive testing does –as far as we know– not yet exist and is from today’s perspective still very much a topic for future research in this domain. For this reason the presentation of the topic in this chapter is very much example-based such as to provide the reader with some first intuitions about what model-based passive testing is, what kinds of techniques could be used to implement it, and what could be some typical application scenarios for model-based passive testing in the domains of software systems, hardware systems, as well as embedded software+hardware systems.

Description

Note: Section 5 of our chapter, as well as several Figures and a number of Acknowledgments, which will appear in the above-mentioned book, are OMITTED in this pre-print version.

Keywords

Model-based passive testing, Safety-critical components

Sustainable Development Goals

Citation

Gruner, S & Watson, B 2011/2012, 'Model-Based Passive Testing of Safety-Critical Components' Chapter 16, pp. 453-483, in Justyna Zander, Ina Schieferdecker, and Pieter J. Mosterman (eds.): Model-based Testing for Embedded Systems, CRC Press