
14
Model-Based Testing of Hybrid Systems
Thao Dang
CONTENTS
14.1 Introduction ............................................................................. 383
14.2 Model .................................................................................... 386
14.3 Conformance Testing .................................................................... 388
14.3.1 Conformance relation ............................................................ 389
14.3.1.1 Observations ........................................................... 391
14.3.1.2 Conformance relation .................................................. 391
14.3.2 Test cases and test executions ...