
364 Model-Based Testing for Embedded Systems
Domain
analysis
Domain
design
Domain
realization
Application
analysis
Application
design
Application
realization
Analysis
model
Activity diagrams
Activity diagrams
Domain module testing
Domain integration
testing
Domain system testing
Application system testing
Application integration testing
Application module testing
Elicitation
Analysis
model
Domain
test case
specification
Domain test
model
Application
test model
Application
test case
specification
Domain
test cases
Application
test
cases
Requirements
FIGURE 13.24
UML-based approach according to our conceptional process model.
engineering phase. Because the authors use model checking to ...