Model-Based Testing for Embedded Systems

344 Model-Based Testing for Embedded Systems

Requirements

Model

for tests

Test case specifications

Test ca s es

Automatic

verdicts

Code

HW, OS, legacy

Manual or

automatic

coding

Model

for development

Generation

γ/α

FIGURE 13.3

Model-based testing overview. (Adapted from Pretschner, A., and Philipps, J., Methodolog-

ical issues in model-based testing, in Model-Based Testing of Reactive Systems, Broy, M. et

al. (eds.), 281–291, Springer, New York, 2004.)

basic idea of model-based development and testing is depicted. On the top-left corner, the

informal customer requirements are illustrated as a cloud. From these requirements, three

engineering artifacts are derived: ...