Model-Based Testing for Embedded Systems

238 Model-Based Testing for Embedded Systems

int main( int argc, char *argv[])

{

RoboControl* rc = new RoboControl(1,4);

rc->printDebugInfos();

rc->init();

rc->move(M00,D1LH);

rc->move(M01,D1LH);

rc->move(M02,D1RH);

rc->move(M10,D1LH);

rc->move(M11,D2LH);

rc->move(M12,D2LH);

rc->move(M20,D2RH);

rc->move(M21,D2RH);

rc->move(M22,M22);

rc->undoAllMoves();

rc->stop();

printf("shutting down...\n");

return 0;

}

FIGURE 9.11

Source code of StackConstruct application.

components including connected invocation relations. Test set T

2

attains the coverage of

the communication pair criterion. Test cases of T

2

are generated to cover sequences of

length 2. This means that every CP of all units and IRs are covered. Test set T

3

fulfills the

communication triple criterion. Test cases