ItsSrem_TestCases.ttcn 12.5 KB
Newer Older
garciay's avatar
garciay committed
1
2
3
4
5
6
7
8
/**
 *    @author   ETSI / STF517
 *    @version  $URL$
 *              $Id$
 *    @desc     SREM Testcases (TP version: 0.0.1)
 *
 */

9
module ItsSrem_TestCases {
garciay's avatar
garciay committed
10
11
12
13
14
15
16
    
    // LibItsMapemSpatem
    import from LibItsSremSsem_TestSystem all;
    
    // ItsMapemSpatem
    import from ItsSrem_TpFunctions all;
    
17
    group iTS_SRole {
garciay's avatar
garciay committed
18
        
19
        group sreMessageDissemination { 
garciay's avatar
garciay committed
20
            
21
22
23
            group sreMessageFormat { 
                
                 /**
garciay's avatar
garciay committed
24
                 * @desc Check that protocolVersion is set to 1 and messageID is set to 9
25
                 * <pre>
garciay's avatar
garciay committed
26
                 * Pics Selection: not PICS_RSU and PICS_SREM_GENERATION
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
                 * Initial conditions: 
                 *   with {
                 *        the IUT being in the "initial state"
                 *    }
                 * Expected behaviour:
                 *    ensure that {
                 *        when { 
                 *            the IUT is requested to generate a new SREM
                 *        }
                 *        then {
                 *            the IUT sends a valid SREM
                 *                containing ITS PDU header
                 *                    containing protocolVersion
                 *                        indicating value '1'
                 *                    and containing messageID
                 *                        indicating value '9'
                 *        }
                 *    }
                 * </pre>
                 * 
                 * @version   1.0.4
garciay's avatar
garciay committed
48
                 * @see       ETSI TS 103 191-2 v0.0.1 TP_IS_RLT_MSGF_BV_01
garciay's avatar
garciay committed
49
                 * @reference ETSI TS 103 301 V1.0.4 Clause 8.3
50
                 */
garciay's avatar
garciay committed
51
                testcase TC_IS_RLT_MSGF_BV_01 () runs on ItsSremSsem system ItsSremSsemSystem {
52
53
54
                    
                    f_IS_TLC_MSGF_BV_01();
                    
garciay's avatar
garciay committed
55
                } // End of testcase TC_IS_RLT_MSGF_BV_01
56
57
58
                
            } // End of group sreMessageFormat 
            
garciay's avatar
garciay committed
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
            group sreEventGeneration {
                
                 /**
                 * @desc Check that IVI Service generates a new SREM on reception of a valid AppSREM_Trigger request
                 * <pre>
                 * Pics Selection: not PICS_RSU and PICS_SREM_GENERATION
                 * Initial conditions: 
                 *   with {
                 *        the IUT being in the "initial state"
                 *    }
                 * Expected behaviour:
                 *    ensure that {
                 *        when { 
                 *            the IUT receives an AppSREM_Trigger request from the application layer
                 *        }
                 *        then {
                 *            the IUT sends a valid SREM
                 *        }
                 *    }
                 * </pre>
                 * 
                 * @version   1.0.4
                 * @see       ETSI TS 103 191-2 v0.0.1 TP_IS_TLC_EVGN_BV_01
                 * @reference ETSI TS 103 301 V1.0.4 Clause 8.4.1
                 */
garciay's avatar
garciay committed
84
                testcase TC_IS_TLC_EVGN_BV_01 () runs on ItsSremSsem system ItsSremSsemSystem {
garciay's avatar
garciay committed
85
86
87
                    
                    f_IS_TLC_EVGN_BV_01();
                    
garciay's avatar
garciay committed
88
                } // End of testcase TC_IS_TLC_EVGN_BV_01
garciay's avatar
garciay committed
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
                
                 /**
                 * @desc Check that the IUT identifies SREM with a unique request identifier
                 * <pre>
                 * Pics Selection: not PICS_RSU and PICS_SREM_GENERATION
                 * Initial conditions: 
                 *   with {
                 *        the IUT being in the "initial state"
                 *        and the IUT having generated several SREM 
                 *    }
                 * Expected behaviour:
                 *    ensure that {
                 *        when { 
                 *            the IUT is requested to generate a new SREM 
                 *        }
                 *        then {
                 *            the IUT sends a valid SREM
                 *                containing srm
                 *                    containing requests[0]
                 *                        containing requestID
                 *                            indicating an unused value
                 *        }
                 *    }
                 * </pre>
                 * 
                 * @version   1.0.4
                 * @see       ETSI TS 103 191-2 v0.0.1 TP_IS_TLC_EVGN_BV_02
                 * @reference ETSI TS 103 301 V1.0.4 Clause 8.4.1
                 */
garciay's avatar
garciay committed
118
                testcase TC_IS_TLC_EVGN_BV_02 () runs on ItsSremSsem system ItsSremSsemSystem {
garciay's avatar
garciay committed
119
120
121
                    
                    f_IS_TLC_EVGN_BV_02();
                    
garciay's avatar
garciay committed
122
                } // End of testcase TC_IS_TLC_EVGN_BV_02
garciay's avatar
garciay committed
123
124
125
                
            } // End of group sreEventGeneration
            
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
            group sreCommunication {
                
                /**
                 * @desc Check that SREM uses BTP_B packet
                 * <pre>
                 * Pics Selection: not PICS_RSU and PICS_SREM_GENERATION
                 * Initial conditions: 
                 *   with {
                 *        the IUT being in the "initial state"
                 *        and the IUT sending SREM 
                 *    }
                 * Expected behaviour:
                 *    ensure that {
                 *        when { 
                 *            a SREM is generated
                 *        }
                 *        then {
                 *            the IUT sends a valid SREM
                 *                encapsulated in a BTP-B packet
                 *        }
                 *    }
                 * </pre>
                 * 
                 * @version   1.0.4
                 * @see       ETSI TS 103 191-2 v0.0.1 TP_IS_TLC_COMM_BV_01_01
garciay's avatar
garciay committed
151
                 * @reference ETSI TS 103 301 V1.0.4 Clause 8.4.3.3
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
                 */
                testcase TC_IS_TLC_COMM_BV_01_01 () runs on ItsSremSsem system ItsSremSsemSystem {
                    
                    f_IS_TLC_COMM_BV_01_01();
                    
                } // End of testcase TC_IS_TLC_COMM_BV_01_01
                
                /**
                 * @desc Check that the destination port for SREM is set to 2007
                 * <pre>
                 * Pics Selection: not PICS_RSU and PICS_SREM_GENERATION
                 * Initial conditions: 
                 *   with {
                 *        the IUT being in the "initial state"
                 *        and the IUT sending SREM 
                 *    }
                 * Expected behaviour:
                 *    ensure that {
                 *        when { 
                 *            a SREM is generated
                 *        }
                 *        then {
                 *            the IUT sends a valid SREM
                 *                encapsulated in a BTP packet
                 *                   containing a destination port value set to 2007
                 *                   and containing a destination port info value set to 0
                 *        }
                 *    }
                 * </pre>
                 * 
                 * @version   1.0.4
                 * @see       ETSI TS 103 191-2 v0.0.1 TP_IS_TLC_COMM_BV_01_02
garciay's avatar
garciay committed
184
                 * @reference ETSI TS 103 301 V1.0.4 Clause 8.4.3.3
185
186
187
188
189
190
191
192
193
194
195
196
197
198
                 */
                testcase TC_IS_TLC_COMM_BV_01_02 () runs on ItsSremSsem system ItsSremSsemSystem {
                    
                    f_IS_TLC_COMM_BV_01_02();
                    
                } // End of testcase TC_IS_TLC_COMM_BV_01_02
                
            } // End of group sreCommunication 
            
        } // End of group sreMessageDissemination 
        
        group sreMessageProcessing {
            
            /**
garciay's avatar
garciay committed
199
             * @desc Check that the IUT can successfully process all mandatory fields of SSEM received
garciay's avatar
garciay committed
200
             * <pre>
201
             * Pics Selection: not PICS_RSU and PICS_SSEM_RECEPTION
garciay's avatar
garciay committed
202
203
204
             * Initial conditions: 
             *   with {
             *        the IUT being in the "initial state"
205
             *        and the IUT having send a valid SREM
garciay's avatar
garciay committed
206
207
208
209
             *    }
             * Expected behaviour:
             *    ensure that {
             *        when { 
210
             *            the IUT receives a valid SSEM
garciay's avatar
garciay committed
211
212
             *        }
             *        then {
213
214
             *            the IUT forwards the SSEM content to upper layers
             *            and the IUT forwards the SSEM content to other facilities
garciay's avatar
garciay committed
215
216
217
218
219
             *        }
             *    }
             * </pre>
             * 
             * @version   1.0.4
220
221
             * @see       ETSI TS 103 191-2 v0.0.1 TP_IS_TLC_MSGF_BV_03
             * @reference ETSI TS 103 301 V1.0.4 Clause 8.3
garciay's avatar
garciay committed
222
             */
223
            testcase TC_IS_TLC_MSGF_BV_03 () runs on ItsSremSsem system ItsSremSsemSystem {
garciay's avatar
garciay committed
224
                
225
                f_IS_TLC_MSGF_BV_03();
garciay's avatar
garciay committed
226
                
227
            } // End of testcase TC_IS_TLC_MSGF_BV_03
garciay's avatar
garciay committed
228
            
229
230
231
232
233
234
        } // End of group sreMessageProcessing
        
    } // End of group iTS_SRole
    
    group rsuRole {
        
235
236
237
238
239
240
241
        group sreMessageDisseminationRsu { 
            
            group sreMessageFormatRsu { 
                
                 /**
                 * @desc Check that protocolVersion is set to 1 and messageID is set to 10 (TLC-S)
                 * <pre>
garciay's avatar
garciay committed
242
                 * Pics Selection: PICS_RSU and PICS_SSEM_GENERATION
243
244
245
246
247
248
249
250
251
252
                 * Initial conditions: 
                 *   with {
                 *        the IUT being in the "initial state"
                 *    }
                 * Expected behaviour:
                 *    ensure that {
                 *        when { 
                 *            the IUT having receive a valid SREM
                 *        }
                 *        then {
garciay's avatar
garciay committed
253
                 *            the IUT sends a valid SSEM
254
255
256
257
258
259
260
261
262
263
                 *                containing ITS PDU header
                 *                    containing protocolVersion
                 *                        indicating value '1'
                 *                    and containing messageID
                 *                        indicating value '10'
                 *        }
                 *    }
                 * </pre>
                 * 
                 * @version   1.0.4
garciay's avatar
garciay committed
264
265
                 * @see       ETSI TS 103 191-2 v0.0.1 TP_IS_TLC_MSGF_BV_04
                 * @reference ETSI TS 103 301 V1.0.4 Clause 8.3
266
                 */
garciay's avatar
garciay committed
267
                testcase TC_IS_TLC_MSGF_BV_04 () runs on ItsSremSsem system ItsSremSsemSystem {
268
269
270
271
272
273
274
275
276
277
278
279
                    
                    f_IS_TLC_MSGF_BV_04();
                    
                } // End of testcase TP_IS_TLC_MSGF_BV_04
                
            } // End of group sreMessageFormatRsu 
            
            group sreCommunicationRsu {
                
            } // End of group sreCommunicationRsu
            
        } // End of group sreMessageDisseminationRsu
280
        
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
        group sreMessageProcessing {
            
                 /**
                 * @desc Check that the IUT can successfully process all mandatory fields of SREM received (TLC-S)
                 * <pre>
                 * Pics Selection: PICS_RSU and PICS_SREM_GENERATION
                 * Initial conditions: 
                 *   with {
                 *        the IUT being in the "initial state"
                 *    }
                 * Expected behaviour:
                 *    ensure that {
                 *        when { 
                 *            the IUT having receive a valid SREM
                 *        }
                 *        then {
                 *            the IUT forwards the SSEM content to upper layers
                 *            and the IUT forwards the SSEM content to other facilities
                 *        }
                 *    }
                 * </pre>
                 * 
                 * @version   1.0.4
garciay's avatar
garciay committed
304
                 * @see       ETSI TS 103 191-2 v0.0.1 TP_IS_TLC_MSGF_BV_02
305
306
                 * @reference ETSI TS 103 301 V1.0.4 Clause 6.3
                 */
garciay's avatar
garciay committed
307
                testcase TC_IS_TLC_MSGF_BV_02 () runs on ItsSremSsem system ItsSremSsemSystem {
308
309
310
311
312
313
                    
                    f_IS_TLC_MSGF_BV_02();
                    
                } // End of testcase TP_IS_TLC_MSGF_BV_02
                
        } // End of group sreMessageProcessing
garciay's avatar
garciay committed
314
        
315
    } // End of group rsuRole
garciay's avatar
garciay committed
316
    
317
} // End of module ItsSrem_TestCases