
8 Model-Based Testing for Embedded Systems
Model
Classes: Categories: Options:
MBT basis
System model
Test model
Coupled system model and test model
Mutation-analysis based
Structural model coverage
Requirements coverage
Test case specification
Random and stochastic
Fault-based
Automatic/manual
Random generation
Graph search algorithm
Model checking
Symbolic execution
eorem proving
Online/offline
Executable test models
Executable test scripts
Executable code
MiL / SiL / HiL / PiL (simulation)
Reactive/nonreactive
Generating test logs
Reference signal-feature based
Reference signal based
Requirements coverage
Test evaluation specification
Automatic/manual
Online/offline
Te ch n ...