Model-Based Testing for Embedded Systems

Model-Based Software Product Lines Testing 359

consequence, we obtain the following test sequences for the variation point:

{{}

multiplayer game

}

either:

{{{Game

runs}

single player

,{single player Game runs}

multiplayer

}

multiplayer game

}

or:

{{{Game

runs}

single player

,{multiplayer Game runs}

multiplayer

}

multiplayer game

}

After deriving Domain use cases, we can generate domain test cases. For that, we must

model each scenario using sequence diagrams and add additional information about the

test. In fact, several sequence diagrams are derived from a single use case depending on the

degree of variability. In our running example, we only generate one sequence