
354 Model-Based Testing for Embedded Systems
Show highscore
Play
<<include>>
Run bomberman
<<include>>
<<include>>
Player
Save score
Variation point: send
Variation point: mode
Lower limit = 0
Lower limit = 1
Upper limit = 1
Upper limit = 1
Variation point: Init
Lower limit = 0
Upper limit = 1
<<selection>>
Take player
photo
Multiplayer
game
Single player
game
Send score via
internet
<<selection>>
<<selection>>
FIGURE 13.11
Use case diagram in CADeT notation.
After deriving the product, the test cases have to be enriched by test data and detailed
pre- and postconditions. Besides, CADeT provides a strategy, based on the feature diagram,
to test sample ...