Model-Based Testing for Embedded Systems

Model-Based Software Product Lines Testing 349

The score is then shown to the player and it is saved to the mobile phone’s memory. As the

mobile phone is equipped with an Internet connection, the player can choose to send the

score to the common highscore list. Otherwise, the player can return to the menu. In the

first case, after sending the score, the highscore list is shown to the player and he/she can

then return to the menu.

The second Product B realizes a slightly different use case. As the mobile phone is not

equipped with an Internet connection, it is not possible for the player to send the achieved

score to the highscore list. As a point of