Lecture Notes in Computer Science 3472

518 Zhen Ru Dai
(1) /* test configuration function */
function BluetoothSuite Configuration
(inout SUT CType sut, inout TestCoordinator CType mtc comp,
inout SlaveApplication CType sa, inout Hardware CType hw,
(5) inout Master CType m1, inout Master CType m2,
inout Master CType m3, inout Master CType m4)
runs on TestCoordinator CType {
// TestCoordinator is assigned to MTC
sa := SlaveApplication CType.create;
(10) map (sut: p sa, sa: p sa);
hw := Hardware CType.create;
map (sut: p sh, hw: p sh);
m1 := Master CType.create;
connect (hw: p mh, m1: p mh);
(15) connect (m1: p co, mtc comp: p co);
m2 := Master CType.create;
connect (hw: p mh, m2: p mh);
connect (m2: p co, mtc comp: p co);
m3 := Master CType.create;
(20) connect (hw: p mh, m3: p mh);
connect (m3: p co, mtc comp: p co);
m4 := Master CType.create;
connect (hw: p mh, m4: p mh);
connect (m4: p co, mtc comp: p co);
(25) }
function NoWarning master (charstring master) runs on Master CType {
var default master def := activate (Master Default ());
if (master == ”M1”) {
Connect to Master ma m1 ();
(30) while (true) {
p hm.receive (data); }
}
else if (master == ”M2”) {
Connect to Master ma m1 ();
(35) p hm.receive (con request); // failed request
p co.send (con request);
}
else if (master == ”M3”) {
Connect to Master ma m1 ();
(40) p hm.receive (con request); // successful request
p co.send (con request);
p hm.send (con accept);
p hm.receive (con confirm Type:{”M3”});
p co.send (con confirm Type:{”M3”});
(45) p co.receive (roamingList Type:{”M1”,”M2”,”M4”});
p hm.send (roamingList Type:{”M1”,”M2”,”M4”});
}
deactivate (master def);
}
Fig. 17.16. Bluetooth Test Module (ctnd.): TTCN-3 Functions