Lecture Notes in Computer Science 3472

520 Zhen Ru Dai
(1) /* test case */
testcase TestRoaming noWarning ()
runs on TestCoordinator CType system SUT CType {
// TestCoordinator is assigned to MTC
(5) var SlaveApplication CType sa;
var Hardware CType hw;
var Master CType m1, m2, m3, m4;
var TestCoordinator CType co;
timer T1, T2;
(10) BluetoothSuite Configuration (system, mtc, sa, hw, m1, m2, m3, m4);
var default coord def := activate (Coord Default ());
// component-specific default
hw.start (NoWarning hw);
sa.start (NoWarning sa);
(15) m1.start (NoWarning master (”M1”));
m2.start (NoWarning master (”M2”));
m3.start (NoWarning master (”M3”));
T1.start (6.0);
Connect To Master co m1 ();
(20) p co.receive (con request) from m2; // first request to m2
T2.start (2.0);
p co.receive (con request) from m3; // second request to m3
T2.stop;
var default conf def := activate (Conf Default ());
(25) // event-specific default
p co.receive (con confirm Type: {”M3”}) fromm3;
deactivate (conf def);
var roamingList Type RList := makeList ();
p co.send (roamingList Type: RList) to m3;
(30) Disconnect co ();
T1.stop;
deactivate (coord def);
setverdict (pass);
}
(35) /* module control part */
control {
if (execute (TestRoaming noWarning ()) == pass) {
execute (TestRoaming withWarning ())
}
(40) }
}
/* end of Bluetooth Roaming Test module */
Fig. 17.17. Bluetooth Test Module (ctnd.): TTCN-3 Test Cases and Control Part
system model may be re-used for testing purposes. This enhances the cooperation
between system designers and test designers. Furthermore, existing system