
374 Model-Based Testing for Embedded Systems
TC1
TC2
Single
Exclusive
Game
TC2
Multi
FIGURE 13.34
Test development process.
Domain
analysis
Domain
design
Domain
realization
Application
analysis
Analysis
model
Application
realization
Application
design
Domain module testing
Domain
test case
specification
Domain system testing
Domain integration testing
Sequence diagrams
Use cases
as sequence
diagrams
Product test
architecture
Grouped sequence
diagrams
Pl test architecture
Application system testing
Application integration testing
Application module testing
Product
description
Elicitation
Analysis
model
Domain
test model
Application
test case
specification
Application
test model
Requirements
Domain ...