
Model-Based Software Product Lines Testing 369
hasCamera : Boolean
hasTouchscreen : Boolean
hasBluetooth : Boolean
gamestarts : Integer = 0
points : Integer = 0
hasInternet : Boolean
currenstate : State
<E>
<E>
Choose( Choice : Choice )
startSingleplayer ( )
startMultiplayer( )
showHighscore( )
calibrateTouchscreen( )
sendHighscore( )
tekephoto( )
exit( )
Operations
Attributes
Attributes
Attributes
Operations
Operations
Show Highscore
Intro
[Choice::continue]
[Choice::Photo and has Camera = true]
[hasTouchscreen and gamestarts = 0]
[((Choice::Photo) and (has Camera))]
Tak e photo
[Choice::Exit]
Menu
Calibrate Touchscreen
[Choice::Highscore]
[Choice::Singleplayer]
Multiplayer ...