Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
module test_LibItsMapSpat_TypesAndValues {
// LibCommon
import from LibCommon_BasicTypesAndValues all;
import from LibCommon_DataStrings all;
// LibIts
import from ITS_Container language "ASN.1:1997" all;
import from DSRC language "ASN.1:1997" all;
import from REG_D language "ASN.1:1997" all;
import from MAP_SPAT_ETSI language "ASN.1:1997" all;
// LibItsCommon
import from LibItsCommon_TypesAndValues all;
// LibItsMapSpat
import from LibItsMapSpat_TypesAndValues all;
import from LibItsMapSpat_Templates all;
import from LibItsMapSpat_TestSystem all;
import from test_CommonCodec all;
group LibItsMapSpat_testCases {
group utPrimitives {
testcase tc_UtInitialize() runs on TCType system TCType {
test_PDU<UtInitialize>(m_mapSpatInitialize, false);
}
testcase tc_UtInitializeResult() runs on TCType system TCType {
test_decodePDU<UtInitializeResult>(UtInitializeResult:true, '0101'O);
}
testcase tc_UtMapSpatTrigger_01() runs on TCType system TCType {
test_PDU<UtMapSpatTrigger>(
m_utTriggerEvent(
spatMsg
),
false
);
}
testcase tc_UtMapSpatTrigger_02() runs on TCType system TCType {
test_PDU<UtMapSpatTrigger>(
m_utTriggerEvent(
mapNewContent
),
false
);
}
testcase tc_UtMapSpatTriggerResult() runs on TCType system TCType {
test_decodePDU<UtMapSpatTriggerResult>(UtMapSpatTriggerResult:?, 'A10105'O);
}
} // End of group utPrimitives
group testMapSpatPrimitiveMessages {
testcase tc_MapSpatReq_01() runs on TCType system TCType {
var MapReq v_mapReq;
v_mapReq := valueof(
m_mapReq(
m_mapPdu(
m_map
)));
log("v_mapReq=", v_mapReq);
test_PDU<MapReq>(
v_mapReq,
false
);
test_decodePDU<MapReq>(
v_mapReq,
'01050001B2074004800500FFFFFFFFFFFFFFFFFFFFFFFF'O
)
}
testcase tc_MapSpatReq_02() runs on TCType system TCType {
var SpatReq v_spatReq;
v_spatReq := valueof(
m_spatReq(
m_spatPdu(
m_spat
)));
log("v_spatReq=", v_spatReq);
test_PDU<SpatReq>(
v_spatReq,
false
);
test_decodePDU<SpatReq>(
v_spatReq,
'01040001B2074130000000BB8520000002000080FFFFFFFFFFFFFFFFFFFFFFFF'O
)
}
testcase tc_MapSpatInd_01() runs on TCType system TCType {
test_decodePDU<MapInd>(
mw_mapInd(mw_mapPdu),
'01050001B2074004800500FFFFFFFFFFFFFFFFFFFFFFFF'O
);
}
testcase tc_MapSpatInd_02() runs on TCType system TCType {
test_decodePDU<SpatInd>(
mw_spatInd(mw_spatPdu),
'01040001B2074130000000BB8520000002000080FFFFFFFFFFFFFFFFFFFFFFFF'O
);
}
} // End of group testMapSpatPrimitiveMessages
} // End of group LibItsMapSpat_testCases
} // End of module test_LibItsMapSpat_TypesAndValues