ItsSecurity_TestControl.ttcn3 19.4 KB
Newer Older
1
2
3
4
5
6
7
8
9
/**
 *  @author   ETSI / STF481
 *  @version  $URL$
 *            $Id$
 *  @desc     Test Control file for Security Protocol 
 *
 */
module ItsSecurity_TestControl {
    
10
11
12
    // LibItsGeoNetworking
    import from LibItsGeoNetworking_Pics all;
    
13
14
    // ItsSecurity
    import from ItsSecurity_TestCases all;
15
    import from LibItsSecurity_Pics all;
16
17
18
19
    
    // Test Execution
    control {
        
garciay's avatar
garciay committed
20
21
22
23
        /**
         * @desc Sending behaviour test cases
         * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.2 Sending behaviour
         */
24
        if (PICS_GN_SECURITY) {
garciay's avatar
garciay committed
25
26
27
28
            execute(TC_SEC_ITSS_SND_MSG_01_01_BV());
            execute(TC_SEC_ITSS_SND_MSG_04_01_BV());
            execute(TC_SEC_ITSS_SND_MSG_04_02_BV());
            execute(TC_SEC_ITSS_SND_MSG_05_01_BV());
29
            
garciay's avatar
garciay committed
30
31
32
33
34
35
36
37
38
39
40
41
            /**
             * @desc Sending behaviour test cases for CAM profile
             * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.2.4 CAM profile
             */
            execute(TC_SEC_ITSS_SND_CAM_01_01_BV());
            execute(TC_SEC_ITSS_SND_CAM_02_01_BV());
            execute(TC_SEC_ITSS_SND_CAM_05_01_BV());
            execute(TC_SEC_ITSS_SND_CAM_05_02_BV());
            execute(TC_SEC_ITSS_SND_CAM_06_01_BV());
            execute(TC_SEC_ITSS_SND_CAM_07_01_TI());
            execute(TC_SEC_ITSS_SND_CAM_08_01_BV());
            execute(TC_SEC_ITSS_SND_CAM_09_01_BV());
garciay's avatar
garciay committed
42
            execute(TC_SEC_ITSS_SND_CAM_10_01_BV());
garciay's avatar
garciay committed
43
44
45
            execute(TC_SEC_ITSS_SND_CAM_12_01_BV());
            execute(TC_SEC_ITSS_SND_CAM_14_01_BV());
            execute(TC_SEC_ITSS_SND_CAM_16_01_BV());
46
            
garciay's avatar
garciay committed
47
48
49
50
51
52
53
54
            /**
             * @desc Sending behaviour test cases for DENM profile
             * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.2.5 DENM profile
             */
            execute(TC_SEC_ITSS_SND_DENM_01_01_BV());
            execute(TC_SEC_ITSS_SND_DENM_02_01_BV());
            execute(TC_SEC_ITSS_SND_DENM_03_01_BV());
            execute(TC_SEC_ITSS_SND_DENM_04_01_BV());
55
            if (PICS_CERTIFICATE_SELECTION) {
garciay's avatar
garciay committed
56
                execute(TC_SEC_ITSS_SND_DENM_05_01_BV());
57
                if (PICS_USE_CIRCULAR_REGION) {
garciay's avatar
garciay committed
58
                    execute(TC_SEC_ITSS_SND_DENM_05_02_BV());
59
60
                }
                if (PICS_USE_RECTANGULAR_REGION) {
garciay's avatar
garciay committed
61
                    execute(TC_SEC_ITSS_SND_DENM_05_03_BV());
62
63
                }
                if (PICS_USE_POLYGONAL_REGION) {
garciay's avatar
garciay committed
64
                    execute(TC_SEC_ITSS_SND_DENM_05_04_BV());
65
66
                }
                if (PICS_USE_IDENTIFIED_REGION) {
garciay's avatar
garciay committed
67
                    execute(TC_SEC_ITSS_SND_DENM_05_05_BV());
68
                }
garciay's avatar
garciay committed
69
70
            } else {
                execute(TC_SEC_ITSS_SND_DENM_05_06_BV());
71
            }
garciay's avatar
garciay committed
72
73
            execute(TC_SEC_ITSS_SND_DENM_08_01_BV());
            execute(TC_SEC_ITSS_SND_DENM_10_01_BV());
74
75
            
            if (PICS_ITS_AID_OTHER_PROFILE) {
garciay's avatar
garciay committed
76
77
78
79
                execute(TC_SEC_ITSS_SND_GENMSG_01_01_BV());
                execute(TC_SEC_ITSS_SND_GENMSG_02_01_BV());
                execute(TC_SEC_ITSS_SND_GENMSG_03_01_BV());
                execute(TC_SEC_ITSS_SND_GENMSG_04_01_BV());
80
                if (PICS_CERTIFICATE_SELECTION) {
garciay's avatar
garciay committed
81
                    execute(TC_SEC_ITSS_SND_GENMSG_05_01_BV());
82
                    if (PICS_USE_CIRCULAR_REGION) {
garciay's avatar
garciay committed
83
                        execute(TC_SEC_ITSS_SND_GENMSG_05_02_BV());
84
85
                    }
                    if (PICS_USE_RECTANGULAR_REGION) {
garciay's avatar
garciay committed
86
                        execute(TC_SEC_ITSS_SND_GENMSG_05_03_BV());
87
88
                    }
                    if (PICS_USE_POLYGONAL_REGION) {
garciay's avatar
garciay committed
89
                        execute(TC_SEC_ITSS_SND_GENMSG_05_04_BV());
90
91
                    }
                    if (PICS_USE_IDENTIFIED_REGION) {
garciay's avatar
garciay committed
92
                        execute(TC_SEC_ITSS_SND_GENMSG_05_05_BV());
93
94
                    }
                } else {
garciay's avatar
garciay committed
95
                    execute(TC_SEC_ITSS_SND_GENMSG_05_06_BV());
96
                }
garciay's avatar
garciay committed
97
                execute(TC_SEC_ITSS_SND_GENMSG_06_01_BV());
garciay's avatar
garciay committed
98
                execute(TC_SEC_ITSS_SND_GENMSG_07_01_BV());
99
100
            }
            
garciay's avatar
garciay committed
101
102
103
104
            /**
             * @desc Sending behaviour test cases for certificates profile
             * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.2.7 Profiles for certificates
             */
garciay's avatar
garciay committed
105
106
107
            execute(TC_SEC_ITSS_SND_CERT_01_01_BV());
            execute(TC_SEC_ITSS_SND_CERT_01_02_BV());
            execute(TC_SEC_ITSS_SND_CERT_02_01_BV());
garciay's avatar
garciay committed
108
109
            if (PICS_CERTIFICATE_SELECTION) {
                if (PICS_USE_RECTANGULAR_REGION) {
garciay's avatar
garciay committed
110
111
                    execute(TC_SEC_ITSS_SND_CERT_04_01_BV());
                    execute(TC_SEC_ITSS_SND_CERT_04_02_BV());
garciay's avatar
garciay committed
112
113
                }
                if (PICS_USE_POLYGONAL_REGION) {
garciay's avatar
garciay committed
114
115
                    execute(TC_SEC_ITSS_SND_CERT_05_01_BV());
                    execute(TC_SEC_ITSS_SND_CERT_05_02_BV());
garciay's avatar
garciay committed
116
117
                }
                if (PICS_USE_IDENTIFIED_REGION) {
garciay's avatar
garciay committed
118
119
                    execute(TC_SEC_ITSS_SND_CERT_06_01_BV());
                    execute(TC_SEC_ITSS_SND_CERT_06_02_BV());
garciay's avatar
garciay committed
120
121
                }
            }
garciay's avatar
garciay committed
122
123
124
125
126
127
128
129
130
131
            execute(TC_SEC_ITSS_SND_CERT_07_01_BV());
            execute(TC_SEC_ITSS_SND_CERT_07_02_BV());
            execute(TC_SEC_ITSS_SND_CERT_08_01_BV());
            execute(TC_SEC_ITSS_SND_CERT_09_01_BV());
            execute(TC_SEC_ITSS_SND_CERT_09_02_BV());
            execute(TC_SEC_ITSS_SND_CERT_10_01_BV());
            execute(TC_SEC_ITSS_SND_CERT_10_02_BV());
            execute(TC_SEC_ITSS_SND_CERT_11_01_BV());
            execute(TC_SEC_ITSS_SND_CERT_11_02_BV());
            execute(TC_SEC_ITSS_SND_CERT_12_01_BV());
garciay's avatar
garciay committed
132
133
134
135
136
            
            /**
             * @desc Sending behaviour test cases for AA certificate profil
             * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.2.7.7 AA certificate profile
             */
garciay's avatar
garciay committed
137
138
139
140
141
142
            execute(TC_SEC_ITSS_SND_CERT_AA_01_01_BV());
            execute(TC_SEC_ITSS_SND_CERT_AA_02_01_BV());
            execute(TC_SEC_ITSS_SND_CERT_AA_03_01_BV());
            execute(TC_SEC_ITSS_SND_CERT_AA_05_01_BV());
            execute(TC_SEC_ITSS_SND_CERT_AA_08_01_BV());
            execute(TC_SEC_ITSS_SND_CERT_AA_10_01_BV());
garciay's avatar
garciay committed
143
144
145
146
            /**
             * @desc Sending behaviour test cases for AT certificate profil
             * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.2.7.8 AT certificate profile
             */
garciay's avatar
garciay committed
147
148
149
150
151
152
153
154
            execute(TC_SEC_ITSS_SND_CERT_AT_01_01_BV());
            execute(TC_SEC_ITSS_SND_CERT_AT_02_01_BV());
            execute(TC_SEC_ITSS_SND_CERT_AT_03_01_BV());
            execute(TC_SEC_ITSS_SND_CERT_AT_04_01_BV());
            execute(TC_SEC_ITSS_SND_CERT_AT_05_01_BV());
            execute(TC_SEC_ITSS_SND_CERT_AT_07_01_BV());
            execute(TC_SEC_ITSS_SND_CERT_AT_08_01_BV());
            execute(TC_SEC_ITSS_SND_CERT_AT_10_01_BV());
garciay's avatar
garciay committed
155
156
157
158
159
160
161
162
163
164
165
        }
            
        /**
         * @desc Receiver behaviour test cases
         * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.3 Receiver behaviour
         */
        if (PICS_GN_SECURITY) {
            /**
             * @desc Sending behaviour test cases for CAM profile
             * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.3.2 CAM Profile
             */
166
167
168
169
170
171
172
173
174
            execute(TC_SEC_ITSS_RCV_CAM_01_01_BV());
            execute(TC_SEC_ITSS_RCV_CAM_01_02_BV());
            execute(TC_SEC_ITSS_RCV_CAM_01_03_BV());
            execute(TC_SEC_ITSS_RCV_CAM_02_01_BO());
            execute(TC_SEC_ITSS_RCV_CAM_02_02_BO());
            execute(TC_SEC_ITSS_RCV_CAM_04_01_BO());
            execute(TC_SEC_ITSS_RCV_CAM_04_02_BO());
            execute(TC_SEC_ITSS_RCV_CAM_04_03_BO());
            execute(TC_SEC_ITSS_RCV_CAM_04_04_BO());
garciay's avatar
garciay committed
175
            execute(TC_SEC_ITSS_RCV_CAM_04_05_BO());
176
            execute(TC_SEC_ITSS_RCV_CAM_04_06_BO());
garciay's avatar
garciay committed
177
            execute(TC_SEC_ITSS_RCV_CAM_04_07_BO());
178
179
            execute(TC_SEC_ITSS_RCV_CAM_04_08_BO());
            execute(TC_SEC_ITSS_RCV_CAM_04_09_BO());
garciay's avatar
garciay committed
180
            execute(TC_SEC_ITSS_RCV_CAM_04_10_BO());
garciay's avatar
garciay committed
181
182
183
            execute(TC_SEC_ITSS_RCV_CAM_04_11_BO());
            execute(TC_SEC_ITSS_RCV_CAM_04_12_BV());
            execute(TC_SEC_ITSS_RCV_CAM_04_13_BO());
garciay's avatar
garciay committed
184
185
186
187
            execute(TC_SEC_ITSS_RCV_CAM_05_01_BO());
            execute(TC_SEC_ITSS_RCV_CAM_05_02_BO());
            execute(TC_SEC_ITSS_RCV_CAM_05_03_BO());
            execute(TC_SEC_ITSS_RCV_CAM_05_04_BO());
garciay's avatar
garciay committed
188
189
190
191
192
193
            execute(TC_SEC_ITSS_RCV_CAM_06_01_BO());
            execute(TC_SEC_ITSS_RCV_CAM_06_02_BO());
            if (PICS_ITS_C2C_MODE) {
                execute(TC_SEC_ITSS_RCV_CAM_06_03_BO());
                execute(TC_SEC_ITSS_RCV_CAM_06_04_BO());
            }
194
            execute(TC_SEC_ITSS_RCV_CAM_07_01_BO());
garciay's avatar
garciay committed
195
            execute(TC_SEC_ITSS_RCV_CAM_07_02_BO());
196
197
198
199
200
201
202
203
204
205
206
            execute(TC_SEC_ITSS_RCV_CAM_09_02_BO());
            execute(TC_SEC_ITSS_RCV_CAM_09_03_BO());
            execute(TC_SEC_ITSS_RCV_CAM_09_04_BO());
            execute(TC_SEC_ITSS_RCV_CAM_09_05_BO());
            execute(TC_SEC_ITSS_RCV_CAM_09_06_BO());
            execute(TC_SEC_ITSS_RCV_CAM_10_01_BO());
            execute(TC_SEC_ITSS_RCV_CAM_10_02_BO());
            execute(TC_SEC_ITSS_RCV_CAM_11_01_BO());
            execute(TC_SEC_ITSS_RCV_CAM_11_02_BO());
            execute(TC_SEC_ITSS_RCV_CAM_12_01_BO());
            execute(TC_SEC_ITSS_RCV_CAM_12_02_BO());
garciay's avatar
garciay committed
207
208
            execute(TC_SEC_ITSS_RCV_CAM_12_03_BO());
            execute(TC_SEC_ITSS_RCV_CAM_12_04_BO());
garciay's avatar
garciay committed
209
210
211
212
213
214
            execute(TC_SEC_ITSS_RCV_CAM_13_01_BO());
            execute(TC_SEC_ITSS_RCV_CAM_13_02_BO());
            execute(TC_SEC_ITSS_RCV_CAM_13_03_BO());
            execute(TC_SEC_ITSS_RCV_CAM_13_04_BO());
            execute(TC_SEC_ITSS_RCV_CAM_13_05_BO());
            execute(TC_SEC_ITSS_RCV_CAM_13_06_BO());
215
            
garciay's avatar
garciay committed
216
217
218
219
            /**
             * @desc Sending behaviour test cases for DENM profile
             * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.3.3 DENM Profile
             */
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
            execute(TC_SEC_ITSS_RCV_DENM_01_01_BV());
            if (PICS_USE_CIRCULAR_REGION) {
                execute(TC_SEC_ITSS_RCV_DENM_01_02_BV());
            }
            if (PICS_USE_RECTANGULAR_REGION) {
                execute(TC_SEC_ITSS_RCV_DENM_01_03_BV());
            }
            if (PICS_USE_POLYGONAL_REGION) {
                execute(TC_SEC_ITSS_RCV_DENM_01_04_BV());
            }
            if (PICS_USE_IDENTIFIED_REGION) {
                execute(TC_SEC_ITSS_RCV_DENM_01_05_BV());
            }
            execute(TC_SEC_ITSS_RCV_DENM_02_01_BO());
            execute(TC_SEC_ITSS_RCV_DENM_02_02_BO());
garciay's avatar
garciay committed
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
            execute(TC_SEC_ITSS_RCV_DENM_04_01_BO());
            execute(TC_SEC_ITSS_RCV_DENM_04_02_BO());
            execute(TC_SEC_ITSS_RCV_DENM_04_03_BO());
            execute(TC_SEC_ITSS_RCV_DENM_04_04_BO());
            execute(TC_SEC_ITSS_RCV_DENM_04_05_BO());
            execute(TC_SEC_ITSS_RCV_DENM_04_06_BO());
            execute(TC_SEC_ITSS_RCV_DENM_04_06a_BO());
            execute(TC_SEC_ITSS_RCV_DENM_04_07_BO());
            execute(TC_SEC_ITSS_RCV_DENM_04_08_BO());
            execute(TC_SEC_ITSS_RCV_DENM_04_09_BO());
            execute(TC_SEC_ITSS_RCV_DENM_04_10_BO());
            execute(TC_SEC_ITSS_RCV_DENM_04_11_BO());
            execute(TC_SEC_ITSS_RCV_DENM_04_12_BO());
            execute(TC_SEC_ITSS_RCV_DENM_04_13_BO());
            execute(TC_SEC_ITSS_RCV_DENM_05_01_BO());
            execute(TC_SEC_ITSS_RCV_DENM_05_02_BO());
            execute(TC_SEC_ITSS_RCV_DENM_05_03_BO());
            execute(TC_SEC_ITSS_RCV_DENM_06_01_BO());
            execute(TC_SEC_ITSS_RCV_DENM_06_02_BO());
            if (PICS_ITS_C2C_MODE) {
                execute(TC_SEC_ITSS_RCV_DENM_06_03_BO());
                execute(TC_SEC_ITSS_RCV_DENM_06_04_BO());
            }
258
            execute(TC_SEC_ITSS_RCV_DENM_07_01_BO());
garciay's avatar
garciay committed
259
            execute(TC_SEC_ITSS_RCV_DENM_07_02_BO());
260
261
            execute(TC_SEC_ITSS_RCV_DENM_08_01_BO());
            execute(TC_SEC_ITSS_RCV_DENM_08_02_BO());
garciay's avatar
garciay committed
262
            execute(TC_SEC_ITSS_RCV_DENM_08_03_BO());
263
            execute(TC_SEC_ITSS_RCV_DENM_08_04_BO());
garciay's avatar
garciay committed
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
            if (PICS_ITS_C2C_MODE) {
                execute(TC_SEC_ITSS_RCV_DENM_08_05_BV());
            }
            execute(TC_SEC_ITSS_RCV_DENM_08_06_BO());
            execute(TC_SEC_ITSS_RCV_DENM_09_02_BO());
            execute(TC_SEC_ITSS_RCV_DENM_09_03_BO());
            execute(TC_SEC_ITSS_RCV_DENM_09_04_BO());
            execute(TC_SEC_ITSS_RCV_DENM_09_05_BO());
            execute(TC_SEC_ITSS_RCV_DENM_09_06_BO());
            execute(TC_SEC_ITSS_RCV_DENM_10_01_BO());
            execute(TC_SEC_ITSS_RCV_DENM_10_02_BO());
            execute(TC_SEC_ITSS_RCV_DENM_11_01_BO());
            execute(TC_SEC_ITSS_RCV_DENM_12_01_BO());
            execute(TC_SEC_ITSS_RCV_DENM_12_02_BO());
            execute(TC_SEC_ITSS_RCV_DENM_12_03_BO());
            execute(TC_SEC_ITSS_RCV_DENM_12_04_BO());
            execute(TC_SEC_ITSS_RCV_DENM_13_01_BO());
            execute(TC_SEC_ITSS_RCV_DENM_13_02_BO());
            execute(TC_SEC_ITSS_RCV_DENM_13_03_BO());
            execute(TC_SEC_ITSS_RCV_DENM_13_04_BO());
            execute(TC_SEC_ITSS_RCV_DENM_13_05_BO());
            execute(TC_SEC_ITSS_RCV_DENM_13_06_BO());
garciay's avatar
garciay committed
286
287
288
289
            /**
             * @desc Receiving behaviour test cases for Other profile
             * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.3.4 Generic Signed Message Profile
             */
garciay's avatar
garciay committed
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
            if (PICS_GN_GBC_SRC) {
                execute(TC_SEC_ITSS_RCV_GENMSG_01_01_BV());
                execute(TC_SEC_ITSS_RCV_GENMSG_01_02_BV());
                execute(TC_SEC_ITSS_RCV_GENMSG_01_03_BV());
                execute(TC_SEC_ITSS_RCV_GENMSG_01_04_BV());
                execute(TC_SEC_ITSS_RCV_GENMSG_01_05_BV());
                execute(TC_SEC_ITSS_RCV_GENMSG_02_01_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_02_02_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_04_01_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_04_02_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_04_03_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_04_04_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_04_05_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_04_06_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_04_07_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_04_08_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_05_03_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_06_01_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_06_02_BO());
garciay's avatar
garciay committed
309
310
311
312
313
                if (PICS_ITS_C2C_MODE) {
                    execute(TC_SEC_ITSS_RCV_GENMSG_06_03_BO());
                    execute(TC_SEC_ITSS_RCV_GENMSG_06_04_BO());
                }
                execute(TC_SEC_ITSS_RCV_GENMSG_07_01_BO());
garciay's avatar
garciay committed
314
315
316
317
318
319
320
                execute(TC_SEC_ITSS_RCV_GENMSG_08_01_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_08_02_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_08_03_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_08_04_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_09_02_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_09_03_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_09_04_BO());
garciay's avatar
garciay committed
321
322
                execute(TC_SEC_ITSS_RCV_GENMSG_09_05_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_09_06_BO());
garciay's avatar
garciay committed
323
324
325
326
327
328
329
                execute(TC_SEC_ITSS_RCV_GENMSG_10_01_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_10_02_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_11_01_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_12_01_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_12_02_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_12_03_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_12_04_BO());
garciay's avatar
garciay committed
330
331
332
333
334
335
                execute(TC_SEC_ITSS_RCV_GENMSG_13_01_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_13_02_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_13_03_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_13_04_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_13_05_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_13_06_BO());
garciay's avatar
garciay committed
336
            }
337
            
garciay's avatar
garciay committed
338
339
340
341
            /**
             * @desc Receiving behaviour test cases for certificates profile
             * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.3.5 Profiles for certificates
             */
garciay's avatar
garciay committed
342
343
344
345
346
347
348
349
350
351
352
            execute(TC_SEC_ITSS_RCV_CERT_01_01_BO());
            execute(TC_SEC_ITSS_RCV_CERT_01_02_BO());
            execute(TC_SEC_ITSS_RCV_CERT_01_03_BO());
            execute(TC_SEC_ITSS_RCV_CERT_01_04_BO());
            execute(TC_SEC_ITSS_RCV_CERT_02_01_BO());
            execute(TC_SEC_ITSS_RCV_CERT_02_02_BO());
            execute(TC_SEC_ITSS_RCV_CERT_02_03_BO());
            execute(TC_SEC_ITSS_RCV_CERT_02_04_BO());
            execute(TC_SEC_ITSS_RCV_CERT_03_01_BO());
            execute(TC_SEC_ITSS_RCV_CERT_03_02_BO());
            execute(TC_SEC_ITSS_RCV_CERT_04_01_BO());
garciay's avatar
garciay committed
353
354
            execute(TC_SEC_ITSS_RCV_CERT_05_01_BO());
            execute(TC_SEC_ITSS_RCV_CERT_05_02_BO());
garciay's avatar
garciay committed
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
            execute(TC_SEC_ITSS_RCV_CERT_06_01_BV());
            execute(TC_SEC_ITSS_RCV_CERT_06_02_BV());
            execute(TC_SEC_ITSS_RCV_CERT_06_03_BV());
            execute(TC_SEC_ITSS_RCV_CERT_06_04_BV());
            execute(TC_SEC_ITSS_RCV_CERT_06_05_BV());
            execute(TC_SEC_ITSS_RCV_CERT_06_06_BO());
            execute(TC_SEC_ITSS_RCV_CERT_06_07_BO());
            execute(TC_SEC_ITSS_RCV_CERT_06_08_BO());
            execute(TC_SEC_ITSS_RCV_CERT_07_01_BV());
            execute(TC_SEC_ITSS_RCV_CERT_07_02_BV());
            execute(TC_SEC_ITSS_RCV_CERT_07_03_BV());
            execute(TC_SEC_ITSS_RCV_CERT_07_04_BV());
            execute(TC_SEC_ITSS_RCV_CERT_07_05_BV());
            execute(TC_SEC_ITSS_RCV_CERT_07_06_BO());
            execute(TC_SEC_ITSS_RCV_CERT_07_07_BO());
            execute(TC_SEC_ITSS_RCV_CERT_07_08_BO());
            execute(TC_SEC_ITSS_RCV_CERT_08_01_BV());
            execute(TC_SEC_ITSS_RCV_CERT_08_02_BV());
            execute(TC_SEC_ITSS_RCV_CERT_08_03_BV());
            execute(TC_SEC_ITSS_RCV_CERT_08_04_BV());
            execute(TC_SEC_ITSS_RCV_CERT_08_05_BV());
            execute(TC_SEC_ITSS_RCV_CERT_08_06_BO());
            execute(TC_SEC_ITSS_RCV_CERT_08_07_BO());
            execute(TC_SEC_ITSS_RCV_CERT_08_08_BO());
            execute(TC_SEC_ITSS_RCV_CERT_08_09_BO());
            execute(TC_SEC_ITSS_RCV_CERT_09_01_BV());
            execute(TC_SEC_ITSS_RCV_CERT_09_02_BV());
            execute(TC_SEC_ITSS_RCV_CERT_09_03_BV());
            execute(TC_SEC_ITSS_RCV_CERT_09_04_BV());
            execute(TC_SEC_ITSS_RCV_CERT_09_05_BV());
            execute(TC_SEC_ITSS_RCV_CERT_09_06_BV());
            execute(TC_SEC_ITSS_RCV_CERT_09_07_BO());
            execute(TC_SEC_ITSS_RCV_CERT_09_08_BO());
            execute(TC_SEC_ITSS_RCV_CERT_09_09_BO());
            execute(TC_SEC_ITSS_RCV_CERT_09_10_BO());
            execute(TC_SEC_ITSS_RCV_CERT_09_11_BO());
            execute(TC_SEC_ITSS_RCV_CERT_10_01_BO());
            execute(TC_SEC_ITSS_RCV_CERT_10_02_BO());
            execute(TC_SEC_ITSS_RCV_CERT_10_03_BO());
            execute(TC_SEC_ITSS_RCV_CERT_11_01_BO());
            execute(TC_SEC_ITSS_RCV_CERT_11_02_BO());
            execute(TC_SEC_ITSS_RCV_CERT_11_03_BO());
            execute(TC_SEC_ITSS_RCV_CERT_11_04_BO());
            execute(TC_SEC_ITSS_RCV_CERT_12_01_BO());
            execute(TC_SEC_ITSS_RCV_CERT_12_02_BO());
            execute(TC_SEC_ITSS_RCV_CERT_12_03_BO());
            execute(TC_SEC_ITSS_RCV_CERT_12_04_BO());
            execute(TC_SEC_ITSS_RCV_CERT_13_01_BO());
            execute(TC_SEC_ITSS_RCV_CERT_13_02_BO());
404
        }
405
406
407
408
        
    } // End of 'control' statement
    
} // End of module ItsSecurity_TestControl