Model-Based Testing for Embedded Systems

Contents

Preface ix

Editors xi

MATLAB Statement xiv

Contributors xv

Technical Review Committee xix

Book Introduction xxi

Part I Introduction

1 A Taxonomy of Model-Based Testing for Embedded Systems

from Multiple Industry Domains 3

Justyna Zander, Ina Schieferdecker, and Pieter J. Mosterman

2 Behavioral System Models versus Models of Testing Strategies

in Functional Test Generation 23

Antti Huima

3 Test Framework Architectures for Model-Based Embedded

System Testing 49

Stephen P. Masticola and Michael Gall

Part II Automatic Test Generation

4 Automatic Model-Based Test Generation from UML State Machines 77

Stephan Weißleder and Holger Schlingloff

5 Automated Statistical ...