Newer
Older
/**
* @version $URL$
* $Id$
* @desc MAPEM Testcases (TP version: 0.0.1)
*
*/
module ItsMapem_TestCases {
// LibItsMapemSpatem
import from LibItsMapemSpatem_TestSystem all;
// ItsMapemSpatem
import from ItsMapem_TpFunctions all;
group mapeMessageDissemination {
group mapeMessageFormat {
/**
* @desc Check that protocolVersion is set to 1 and messageID is set to 4
* <pre>
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT sending MAPEM
* }
* Expected behaviour:
* ensure that {
* when {
* a MAPEM is generated
* }
* then {
* the IUT sends a valid MAPEM
* containing ITS PDU header
* containing protocolVersion
* indicating value '1'
* and containing messageID
* indicating value '5'
* }
* }
* </pre>
*
* @version 1.0.4
* @see ETSI TS 103 191-2 v0.0.1 TP_IS_RLT_MSGF_BV_01
* @reference ETSI TS 103 301 V1.0.4 Clause 6.3
*/
testcase TC_IS_RLT_MSGF_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_MSGF_BV_01();
} // End of testcase TC_IS_RLT_MSGF_BV_01
} // End of group mapeMessageFormat
/**
* @desc Check that IVI Service generates a new MAPEM on reception of a valid AppMAPEM_Trigger request
* <pre>
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT sending MAPEM
* }
* Expected behaviour:
* ensure that {
* when {
* a MAPEM is generated
* }
* then {
* the IUT sends a valid MAPEM
* }
* }
* </pre>
*
* @version 1.0.4
* @see ETSI TS 103 191-2 v0.0.1 TP_IS_RLT_EVGN_BV_01
* @reference ETSI TS 103 301 V1.0.4 Clause 6.4.1
*/
testcase TC_IS_RLT_EVGN_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_EVGN_BV_01();
} // End of testcase TC_IS_RLT_EVGN_BV_01
/**
* @desc Check that IVI Service generates a new MAPEM on reception of a valid AppMAPEM_Trigger request
* <pre>
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
120
121
122
123
124
125
126
127
128
129
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT sending MAPEM
* containing map
* not containing LayerType
* and not containing LayerID
* and containing restrictionList
* indicating the value RL_1
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT is alerted about a new restrictionList indicating the value RL_2
* }
* then {
* the IUT sends a valid MAPEM
* containing map
* not containing LayerType
* and not containing LayerID
* and containing restrictionList
* indicating indicating the value R_2
* }
* }
* </pre>
*
* @version 1.0.4
* @see ETSI TS 103 191-2 v0.0.1 TP_IS_RLT_EVGN_BV_02
* @reference ETSI TS 103 301 V1.0.4 Clause 6.4.1
*/
testcase TC_IS_RLT_EVGN_BV_02 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_EVGN_BV_02();
} // End of testcase TC_IS_RLT_EVGN_BV_02
group mapeCommunication {
/**
* @desc Check that the RLT Service transmits continuously both MAPEM and SPATEM
* <pre>
* Pics Selection: PICS_MAPEM_GENERATION and PICS_SPATEM_GENERATION
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT sending MAPEM
* and the IUT has not sent any SPATEM yet
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives an AppSPATEM_Start request from the application layer
* }
* then {
* the IUT sends a valid SPATEM
* and the IUT sends a valid MAPEM
* }
* }
* </pre>
*
* @version 1.0.4
* @see ETSI TS 103 191-2 v0.0.1 TP_IS_RLT_COMM_BV_01
* @reference ETSI TS 103 301 V1.0.4 Clause 6.4.3.1
*/
testcase TC_IS_RLT_COMM_BV_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_COMM_BV_01();
} // End of testcase TC_IS_RLT_COMM_BV_01
/**
* @desc Check that MAPEM uses BTP_B packet
* <pre>
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT sending MAPEM
* }
* Expected behaviour:
* ensure that {
* when {
* a MAPEM is generated
* }
* then {
* the IUT sends a valid MAPEM
* encapsulated in a BTP-B packet
* }
* }
* </pre>
*
* @version 1.0.4
* @see ETSI TS 103 191-2 v0.0.1 TP_IS_RLT_COMM_BV_02_01
* @reference ETSI TS 103 301 V1.0.4 Clause 6.4.3.2
*/
testcase TC_IS_RLT_COMM_BV_02_01 () runs on ItsMapemSpatem system ItsMapemSpatemSystem {
f_IS_RLT_COMM_BV_02_01();
} // End of testcase TC_IS_RLT_COMM_BV_02_01
/**
* @desc Check that the destination port for MAPEM is set to 2003
* <pre>
Loading
Loading full blame…