From OpenTTCN
*****************************************************************************
*** RUNNING CONTROL PART
control : {12:47:39.698} : // Time: 12:47:39.697. Date: 24/Apr/2008. MOT version: TC: 2.57.0.RC5.0.
*****************************************************************************
*** RUNNING TEST CASE TC_1
mtc : {12:47:39.755} : // CASE TC_1 STARTED
mtc : {12:47:39.755} : main.ttcn : 000221 : T_GUARD.start(10.0); // Timer is started: duration 10 s.
mtc : {12:47:39.768} : main.ttcn : 000222 : map(mtc:p, system:tsiPort);
mtc : {12:47:39.768} : main.ttcn : 000224 : log("--------------- Group 1 ---------------");
mtc : {12:47:39.796} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 1,
payload :=
{
t1 := "A"
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:39.809} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 1,
payload :=
{
t1 := "A"
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:39.844} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 10,
payload :=
{
t2 := -16385
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:39.857} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 10,
payload :=
{
t2 := -16385
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:39.897} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 20,
payload :=
{
t2b := 30000
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:39.910} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 20,
payload :=
{
t2b := 30000
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:39.946} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 30,
payload :=
{
t3 := -2000000000
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:39.959} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 30,
payload :=
{
t3 := -2000000000
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:39.997} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 40,
payload :=
{
t4 := 2000000000
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.012} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 40,
payload :=
{
t4 := 2000000000
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.051} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 50,
payload :=
{
t4b := -2147483648
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.064} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 50,
payload :=
{
t4b := -2147483648
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.101} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 50,
payload :=
{
t4b := 2147483647
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.114} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 50,
payload :=
{
t4b := 2147483647
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.149} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 60,
payload :=
{
st1 := 120
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.161} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 60,
payload :=
{
st1 := 120
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.199} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 60,
payload :=
{
st1 := -120
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.213} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 60,
payload :=
{
st1 := -120
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.249} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 70,
payload :=
{
st2 := -16385
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.261} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 70,
payload :=
{
st2 := -16385
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.295} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 80,
payload :=
{
st2b := 32767
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.307} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 80,
payload :=
{
st2b := 32767
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.340} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 80,
payload :=
{
st2b := -32768
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.352} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 80,
payload :=
{
st2b := -32768
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.386} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 90,
payload :=
{
st3 := -2000000000
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.398} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 90,
payload :=
{
st3 := -2000000000
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.433} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 100,
payload :=
{
st3b := -2147483648
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.445} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 100,
payload :=
{
st3b := -2147483648
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.479} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 110,
payload :=
{
st4 := 2000000000
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.491} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 110,
payload :=
{
st4 := 2000000000
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.525} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 120,
payload :=
{
st4b := -2147483648
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.537} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 120,
payload :=
{
st4b := -2147483648
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.571} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 120,
payload :=
{
st4b := 2147483647
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.583} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 120,
payload :=
{
st4b := 2147483647
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.622} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 130,
payload :=
{
ut1 := 120
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.635} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 130,
payload :=
{
ut1 := 120
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.668} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 130,
payload :=
{
ut1 := 240
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.682} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 130,
payload :=
{
ut1 := 240
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.715} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 130,
payload :=
{
ut1 := 255
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.727} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 130,
payload :=
{
ut1 := 255
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.766} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 140,
payload :=
{
ut2 := 16385
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.779} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 140,
payload :=
{
ut2 := 16385
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.814} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 150,
payload :=
{
ut2b := 32767
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.826} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 150,
payload :=
{
ut2b := 32767
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.860} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 150,
payload :=
{
ut2b := 65535
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.873} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 150,
payload :=
{
ut2b := 65535
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.906} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 160,
payload :=
{
ut3 := 4000000000
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.919} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 160,
payload :=
{
ut3 := 4000000000
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.952} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 170,
payload :=
{
ut3b := 2147483648
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.964} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 170,
payload :=
{
ut3b := 2147483648
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:40.998} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 180,
payload :=
{
ut4 := 2000000000
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.010} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 180,
payload :=
{
ut4 := 2000000000
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.043} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 180,
payload :=
{
ut4 := 4294967295
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.057} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 180,
payload :=
{
ut4 := 4294967295
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.091} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 190,
payload :=
{
ut4b := 2147483648
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.102} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 190,
payload :=
{
ut4b := 2147483648
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.136} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 190,
payload :=
{
ut4b := 2147483647
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.148} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 190,
payload :=
{
ut4b := 2147483647
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.181} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 190,
payload :=
{
ut4b := 4294967295
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.193} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 190,
payload :=
{
ut4b := 4294967295
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.227} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 200,
payload :=
{
ft1 := 2500.0
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.239} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 200,
payload :=
{
ft1 := 2500.0
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.273} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 200,
payload :=
{
ft1 := -2500.0
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.285} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 200,
payload :=
{
ft1 := -2500.0
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.318} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 200,
payload :=
{
ft1 := -0.125
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.331} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 200,
payload :=
{
ft1 := -0.125
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.366} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 210,
payload :=
{
ft2 := 2500.0
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.378} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 210,
payload :=
{
ft2 := 2500.0
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.412} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 210,
payload :=
{
ft2 := -2500.0
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.424} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 210,
payload :=
{
ft2 := -2500.0
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.458} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 210,
payload :=
{
ft2 := -0.000125
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.470} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 210,
payload :=
{
ft2 := -0.000125
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.504} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 220,
payload :=
{
ft3 := 2500.0
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.517} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 220,
payload :=
{
ft3 := 2500.0
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.550} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 220,
payload :=
{
ft3 := -2500.0
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.563} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 220,
payload :=
{
ft3 := -2500.0
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.596} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 220,
payload :=
{
ft3 := -0.000125
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.609} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 220,
payload :=
{
ft3 := -0.000125
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.644} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 222,
payload :=
{
bs0 :=
{
f1 := "B",
f2 := 32764,
f3 := 1,
f4 := "N"
}
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.657} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 222,
payload :=
{
bs0 :=
{
f1 := "B",
f2 := 32764,
f3 := 1,
f4 := "N"
}
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.696} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 224,
payload :=
{
bs0b :=
{
fld0 := 32765,
fld1 :=
{
f1 := "B",
f2 := 32764,
f3 := 1,
f4 := "N"
},
fld2 := 129,
fld3 := -32767,
fld4 :=
{
f1 := "B",
f2 := 32764,
f3 := 1,
f4 := "N"
},
fld5 := 254
}
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.711} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 224,
payload :=
{
bs0b :=
{
fld0 := 32765,
fld1 :=
{
f1 := "B",
f2 := 32764,
f3 := 1,
f4 := "N"
},
fld2 := 129,
fld3 := -32767,
fld4 :=
{
f1 := "B",
f2 := 32764,
f3 := 1,
f4 := "N"
},
fld5 := 254
}
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.757} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 226,
payload :=
{
bs0c :=
{
ff1 := "Z",
ff2 :=
{
fld0 := 32765,
fld1 :=
{
f1 := "B",
f2 := 32764,
f3 := 1,
f4 := "N"
},
fld2 := 129,
fld3 := -32767,
fld4 :=
{
f1 := "B",
f2 := 32764,
f3 := 1,
f4 := "N"
},
fld5 := 254
},
ff3 := "Y",
ff4 :=
{
f1 := "B",
f2 := 32764,
f3 := 1,
f4 := "N"
},
ff5 := -20
}
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.774} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 226,
payload :=
{
bs0c :=
{
ff1 := "Z",
ff2 :=
{
fld0 := 32765,
fld1 :=
{
f1 := "B",
f2 := 32764,
f3 := 1,
f4 := "N"
},
fld2 := 129,
fld3 := -32767,
fld4 :=
{
f1 := "B",
f2 := 32764,
f3 := 1,
f4 := "N"
},
fld5 := 254
},
ff3 := "Y",
ff4 :=
{
f1 := "B",
f2 := 32764,
f3 := 1,
f4 := "N"
},
ff5 := -20
}
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.821} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 228,
payload :=
{
bs0d :=
{
f1 := "M",
f2 := -128,
f3 := 250,
f4 := -32000,
f5 := 251,
f6 := 64500,
f7 := 252,
f8 := -2000000001,
f9 := 253,
f10 := 2000000003,
f11 := 254,
f12 := 0.125,
f13 := 255,
f14 := 0.000125,
f15 := 192,
f16 := 0.00025,
f17 := 193
}
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.838} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 228,
payload :=
{
bs0d :=
{
f1 := "M",
f2 := -128,
f3 := 250,
f4 := -32000,
f5 := 251,
f6 := 64500,
f7 := 252,
f8 := -2000000001,
f9 := 253,
f10 := 2000000003,
f11 := 254,
f12 := 0.125,
f13 := 255,
f14 := 0.000125,
f15 := 192,
f16 := 0.00025,
f17 := 193
}
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.878} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 230,
payload :=
{
bs1 :=
{
data := 192,
bits := 2147483647
}
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.890} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 230,
payload :=
{
bs1 :=
{
data := 192,
bits := 2147483647
}
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.925} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 240,
payload :=
{
bs2 :=
{
data := "U",
bits := 1073741823
}
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.938} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 240,
payload :=
{
bs2 :=
{
data := "U",
bits := 1073741823
}
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.973} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 250,
payload :=
{
bs2tag :=
{
data := "U",
bits := 1073741823
}
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:41.985} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 250,
payload :=
{
bs2tag :=
{
data := "U",
bits := 1073741823
}
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:42.020} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 260,
payload :=
{
bs3 :=
{
data := -64,
bits := 32767
}
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:42.033} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 260,
payload :=
{
bs3 :=
{
data := -64,
bits := 32767
}
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:42.069} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 320,
payload :=
{
struct_a :=
{
x := 1073741823,
x2 := "A",
z :=
{
y := -1073741823,
y2 := "B"
},
z2 := "C"
}
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:42.083} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 320,
payload :=
{
struct_a :=
{
x := 1073741823,
x2 := "A",
z :=
{
y := -1073741823,
y2 := "B"
},
z2 := "C"
}
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:42.117} : main.ttcn : 000667 : p.send(Message :
{
typeCode := 300,
payload :=
{
day := 2
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:42.129} : main.ttcn : 000668 : p.receive(Message :
{
typeCode := 300,
payload :=
{
day := 2
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:42.129} : main.ttcn : 000671 : log("--------------- Group 2 ---------------");
mtc : {12:47:42.164} : main.ttcn : 000915 : p.send(Message :
{
typeCode := 290,
payload :=
{
regs :=
{
x :=
{
ax := 256,
bx := 770
},
h := omit
}
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:42.176} : main.ttcn : 000916 : p.receive(Message :
{
typeCode := 290,
payload :=
{
regs :=
{
x :=
{
ax := 256,
bx := 770
},
h :=
{
al := 0,
ah := 1,
bl := 2,
bh := 3
}
}
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:42.213} : main.ttcn : 000915 : p.send(Message :
{
typeCode := 290,
payload :=
{
regs :=
{
x := omit,
h :=
{
al := 0,
ah := 1,
bl := 2,
bh := 3
}
}
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:42.226} : main.ttcn : 000916 : p.receive(Message :
{
typeCode := 290,
payload :=
{
regs :=
{
x :=
{
ax := 256,
bx := 770
},
h :=
{
al := 0,
ah := 1,
bl := 2,
bh := 3
}
}
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:42.263} : main.ttcn : 000915 : p.send(Message :
{
typeCode := 310,
payload :=
{
alt_regs :=
{
x := omit,
h :=
{
al := 1,
ah := 2,
bl := 3,
bh := 4
}
}
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:42.276} : main.ttcn : 000916 : p.receive(Message :
{
typeCode := 310,
payload :=
{
alt_regs :=
{
x :=
{
ax := 513,
bx := 1027
},
h :=
{
al := 1,
ah := 2,
bl := 3,
bh := 4
}
}
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:42.315} : main.ttcn : 000915 : p.send(Message :
{
typeCode := 330,
payload :=
{
struct_b :=
{
f1 := 64,
f2 :=
{
x := omit,
h :=
{
al := 0,
ah := 1,
bl := 2,
bh := 3
}
},
f3 := 65
}
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:42.328} : main.ttcn : 000916 : p.receive(Message :
{
typeCode := 330,
payload :=
{
struct_b :=
{
f1 := 64,
f2 :=
{
x :=
{
ax := 256,
bx := 770
},
h :=
{
al := 0,
ah := 1,
bl := 2,
bh := 3
}
},
f3 := 65
}
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:42.370} : main.ttcn : 000915 : p.send(Message :
{
typeCode := 340,
payload :=
{
struct_c :=
{
f1 := 64,
f2 :=
{
u1 := omit,
u2 := 32001
},
f3 := 65
}
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:42.389} : main.ttcn : 000916 : p.receive(Message :
{
typeCode := 340,
payload :=
{
struct_c :=
{
f1 := 64,
f2 :=
{
u1 :=
{
uf1 :=
{
a1 := 1,
a2 := 0,
a3 := 0
},
uf2 :=
{
b1 := 32001,
b2 := 0,
b3 :=
{
f1 := 0,
f2 :=
{
x :=
{
ax := 0,
bx := 0
},
h :=
{
al := 0,
ah := 0,
bl := 0,
bh := 0
}
},
f3 := 0
},
b4 := 0
},
uf3 :=
{
c1 := 32001
},
uf4 :=
{
d1 := 1,
d2 := 32001
},
uf5 :=
{
e1 := 32001,
e2 := 0,
e3 := 0
},
uf6 :=
{
f1 := 1,
f2 :=
{
x :=
{
ax := 0,
bx := 0
},
h :=
{
al := 0,
ah := 0,
bl := 0,
bh := 0
}
},
f3 := 0
},
uf7 := 1
},
u2 := 32001
},
f3 := 65
}
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:42.448} : main.ttcn : 000915 : p.send(Message :
{
typeCode := 340,
payload :=
{
struct_c :=
{
f1 := 130,
f2 :=
{
u1 :=
{
uf1 := omit,
uf2 :=
{
b1 := 1234567890,
b2 := 2145678901,
b3 :=
{
f1 := 64,
f2 :=
{
x := omit,
h :=
{
al := 15,
ah := 25,
bl := 35,
bh := 45
}
},
f3 := 65
},
b4 := 1324567890
},
uf3 := omit,
uf4 := omit,
uf5 := omit,
uf6 := omit,
uf7 := omit
},
u2 := omit
},
f3 := 131
}
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:42.468} : main.ttcn : 000916 : p.receive(Message :
{
typeCode := 340,
payload :=
{
struct_c :=
{
f1 := 130,
f2 :=
{
u1 :=
{
uf1 :=
{
a1 := 210,
a2 := 2145678901,
a3 := 64
},
uf2 :=
{
b1 := 1234567890,
b2 := 2145678901,
b3 :=
{
f1 := 64,
f2 :=
{
x :=
{
ax := 6415,
bx := 11555
},
h :=
{
al := 15,
ah := 25,
bl := 35,
bh := 45
}
},
f3 := 65
},
b4 := 1324567890
},
uf3 :=
{
c1 := 1234567890
},
uf4 :=
{
d1 := 210,
d2 := 722
},
uf5 :=
{
e1 := 1234567890,
e2 := 53,
e3 := 420413504
},
uf6 :=
{
f1 := 210,
f2 :=
{
x :=
{
ax := 18838,
bx := 30261
},
h :=
{
al := 150,
ah := 73,
bl := 53,
bh := 118
}
},
f3 := 228
},
uf7 := 210
},
u2 := 722
},
f3 := 131
}
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:42.468} : main.ttcn : 000919 : setverdict(pass);
mtc : {12:47:42.473} : // CASE TC_1 FINISHED
mtc : {12:47:42.473} : // VERDICT TC_1 PASS
/////////////////////////////////////////////////////////////////////////////
/// TEST CASE EXECUTION COMPLETE
*****************************************************************************
*** RUNNING TEST CASE TC_mismatch_demo
mtc : {12:47:42.529} : // CASE TC_mismatch_demo STARTED
mtc : {12:47:42.529} : main.ttcn : 000927 : T_GUARD.start(10.0); // Timer is started: duration 10 s.
mtc : {12:47:42.541} : main.ttcn : 000928 : map(mtc:p, system:tsiPort);
mtc : {12:47:42.575} : main.ttcn : 000930 : p.send(Message :
{
typeCode := 340,
payload :=
{
struct_c :=
{
f1 := 130,
f2 :=
{
u1 :=
{
uf1 := omit,
uf2 :=
{
b1 := 1234567890,
b2 := 2145678901,
b3 :=
{
f1 := 64,
f2 :=
{
x := omit,
h :=
{
al := 15,
ah := 25,
bl := 35,
bh := 45
}
},
f3 := 65
},
b4 := 1324567890
},
uf3 := omit,
uf4 := omit,
uf5 := omit,
uf6 := omit,
uf7 := omit
},
u2 := omit
},
f3 := 131
}
}
}
) to
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:42.596} : main.ttcn : 000974 : /* MISMATCH: incorrect content in the received value. Mismatching field: 'T.payload.struct_c.f2.u1.uf2.b3.f2.h.ah'. */ p.receive(Message :
{
typeCode := 340,
payload :=
{
struct_c :=
{
f1 := 130,
f2 :=
{
u1 :=
{
uf1 := ?,
uf2 :=
{
b1 := 1234567890,
b2 := 2145678901,
b3 :=
{
f1 := 64,
f2 :=
{
x := ?,
h :=
{
al := 15,
===
< ah := 25000,
---
> ah := 25
===
bl := 35,
bh := 45
}
},
f3 := 65
},
b4 := 1324567890
},
uf3 := ?,
uf4 := ?,
uf5 := ?,
uf6 := ?,
uf7 := ?
},
u2 := ?
},
f3 := 131
}
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:42.597} : main.ttcn : 001019 : p.receive(Message $any :=
{
typeCode := 340,
payload :=
{
struct_c :=
{
f1 := 130,
f2 :=
{
u1 :=
{
uf1 :=
{
a1 := 210,
a2 := 2145678901,
a3 := 64
},
uf2 :=
{
b1 := 1234567890,
b2 := 2145678901,
b3 :=
{
f1 := 64,
f2 :=
{
x :=
{
ax := 6415,
bx := 11555
},
h :=
{
al := 15,
ah := 25,
bl := 35,
bh := 45
}
},
f3 := 65
},
b4 := 1324567890
},
uf3 :=
{
c1 := 1234567890
},
uf4 :=
{
d1 := 210,
d2 := 722
},
uf5 :=
{
e1 := 1234567890,
e2 := 53,
e3 := 420413504
},
uf6 :=
{
f1 := 210,
f2 :=
{
x :=
{
ax := 18838,
bx := 30261
},
h :=
{
al := 150,
ah := 73,
bl := 53,
bh := 118
}
},
f3 := 228
},
uf7 := 210
},
u2 := 722
},
f3 := 131
}
}
}
) from
{
host := "127.0.0.1",
portField := 7431
}
;
mtc : {12:47:42.599} : main.ttcn : 001021 : setverdict(pass);
mtc : {12:47:42.603} : // CASE TC_mismatch_demo FINISHED
mtc : {12:47:42.603} : // VERDICT TC_mismatch_demo PASS
/////////////////////////////////////////////////////////////////////////////
/// TEST CASE EXECUTION COMPLETE
*****************************************************************************
*** TEST EXECUTION SUMMARY
Pass Fail Inconc None Error Total Duration
2 0 0 0 0 2 00:00:03
