AtsSecurity_TestControl.ttcn3 21.2 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
69
                }
            }
garciay's avatar
garciay committed
70
71
            execute(TC_SEC_ITSS_SND_DENM_08_01_BV());
            execute(TC_SEC_ITSS_SND_DENM_10_01_BV());
72
73
            
            if (PICS_ITS_AID_OTHER_PROFILE) {
garciay's avatar
garciay committed
74
75
76
77
                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());
78
                if (PICS_CERTIFICATE_SELECTION) {
garciay's avatar
garciay committed
79
                    execute(TC_SEC_ITSS_SND_GENMSG_05_01_BV());
80
                    if (PICS_USE_CIRCULAR_REGION) {
garciay's avatar
garciay committed
81
                        execute(TC_SEC_ITSS_SND_GENMSG_05_02_BV());
82
83
                    }
                    if (PICS_USE_RECTANGULAR_REGION) {
garciay's avatar
garciay committed
84
                        execute(TC_SEC_ITSS_SND_GENMSG_05_03_BV());
85
86
                    }
                    if (PICS_USE_POLYGONAL_REGION) {
garciay's avatar
garciay committed
87
                        execute(TC_SEC_ITSS_SND_GENMSG_05_04_BV());
88
89
                    }
                    if (PICS_USE_IDENTIFIED_REGION) {
garciay's avatar
garciay committed
90
                        execute(TC_SEC_ITSS_SND_GENMSG_05_05_BV());
91
92
                    }
                } else {
garciay's avatar
garciay committed
93
                    execute(TC_SEC_ITSS_SND_GENMSG_05_06_BV());
94
                }
garciay's avatar
garciay committed
95
                execute(TC_SEC_ITSS_SND_GENMSG_06_01_BV());
garciay's avatar
garciay committed
96
                execute(TC_SEC_ITSS_SND_GENMSG_07_01_BV());
97
98
            }
            
garciay's avatar
garciay committed
99
100
101
102
            /**
             * @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
103
104
105
            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
106
107
            if (PICS_CERTIFICATE_SELECTION) {
                if (PICS_USE_RECTANGULAR_REGION) {
garciay's avatar
garciay committed
108
109
                    execute(TC_SEC_ITSS_SND_CERT_04_01_BV());
                    execute(TC_SEC_ITSS_SND_CERT_04_02_BV());
garciay's avatar
garciay committed
110
111
                }
                if (PICS_USE_POLYGONAL_REGION) {
garciay's avatar
garciay committed
112
113
                    execute(TC_SEC_ITSS_SND_CERT_05_01_BV());
                    execute(TC_SEC_ITSS_SND_CERT_05_02_BV());
garciay's avatar
garciay committed
114
115
                }
                if (PICS_USE_IDENTIFIED_REGION) {
garciay's avatar
garciay committed
116
117
                    execute(TC_SEC_ITSS_SND_CERT_06_01_BV());
                    execute(TC_SEC_ITSS_SND_CERT_06_02_BV());
garciay's avatar
garciay committed
118
                }
garciay's avatar
garciay committed
119
120
121
122
                execute(TC_SEC_ITSS_SND_CERT_07_01_BV());
                if (PICS_USE_IDENTIFIED_REGION) {
                    execute(TC_SEC_ITSS_SND_CERT_07_02_BV());
                }
garciay's avatar
garciay committed
123
            }
garciay's avatar
garciay committed
124
125
126
127
128
129
130
131
            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
            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());
garciay's avatar
garciay committed
140
            execute(TC_SEC_ITSS_SND_CERT_AA_04_01_BV());
garciay's avatar
garciay committed
141
142
143
            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
144
145
146
147
            /**
             * @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
148
149
150
151
152
153
154
155
            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
156
157
158
159
160
161
162
163
164
165
166
        }
            
        /**
         * @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
             */
167
168
169
170
171
172
173
174
175
            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
176
            execute(TC_SEC_ITSS_RCV_CAM_04_05_BO());
177
            execute(TC_SEC_ITSS_RCV_CAM_04_06_BO());
garciay's avatar
garciay committed
178
            execute(TC_SEC_ITSS_RCV_CAM_04_06a_BO());
garciay's avatar
garciay committed
179
            execute(TC_SEC_ITSS_RCV_CAM_04_07_BO());
180
181
            execute(TC_SEC_ITSS_RCV_CAM_04_08_BO());
            execute(TC_SEC_ITSS_RCV_CAM_04_09_BO());
garciay's avatar
garciay committed
182
            execute(TC_SEC_ITSS_RCV_CAM_04_10_BO());
garciay's avatar
garciay committed
183
184
185
            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
186
187
188
189
            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
190
            execute(TC_SEC_ITSS_RCV_CAM_05_05_BO());
garciay's avatar
garciay committed
191
192
            execute(TC_SEC_ITSS_RCV_CAM_06_01_BO());
            execute(TC_SEC_ITSS_RCV_CAM_06_02_BO());
193
            execute(TC_SEC_ITSS_RCV_CAM_07_01_BO());
garciay's avatar
garciay committed
194
            execute(TC_SEC_ITSS_RCV_CAM_07_02_BO());
195
196
197
198
199
            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());
garciay's avatar
garciay committed
200
            execute(TC_SEC_ITSS_RCV_CAM_09_07_BO());
201
202
203
204
            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());
garciay's avatar
garciay committed
205
            execute(TC_SEC_ITSS_RCV_CAM_11_03_BO());
206
207
            execute(TC_SEC_ITSS_RCV_CAM_12_01_BO());
            execute(TC_SEC_ITSS_RCV_CAM_12_02_BO());
garciay's avatar
garciay committed
208
209
            execute(TC_SEC_ITSS_RCV_CAM_12_03_BO());
            execute(TC_SEC_ITSS_RCV_CAM_12_04_BO());
garciay's avatar
garciay committed
210
211
212
213
214
215
            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());
216
            
garciay's avatar
garciay committed
217
218
219
220
            /**
             * @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
             */
221
            execute(TC_SEC_ITSS_RCV_DENM_01_01_BV());
garciay's avatar
garciay committed
222
223
224
225
            execute(TC_SEC_ITSS_RCV_DENM_01_02_BV());
            execute(TC_SEC_ITSS_RCV_DENM_01_03_BV());
            execute(TC_SEC_ITSS_RCV_DENM_01_04_BV());
            execute(TC_SEC_ITSS_RCV_DENM_01_05_BV());
226
227
            execute(TC_SEC_ITSS_RCV_DENM_02_01_BO());
            execute(TC_SEC_ITSS_RCV_DENM_02_02_BO());
garciay's avatar
garciay committed
228
229
230
231
232
233
234
235
236
237
238
239
240
241
            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());
garciay's avatar
garciay committed
242
            execute(TC_SEC_ITSS_RCV_DENM_04_14_BO());
garciay's avatar
garciay committed
243
244
245
            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());
garciay's avatar
garciay committed
246
            execute(TC_SEC_ITSS_RCV_DENM_05_04_BO());
garciay's avatar
garciay committed
247
248
            execute(TC_SEC_ITSS_RCV_DENM_06_01_BO());
            execute(TC_SEC_ITSS_RCV_DENM_06_02_BO());
249
            execute(TC_SEC_ITSS_RCV_DENM_07_01_BO());
garciay's avatar
garciay committed
250
            execute(TC_SEC_ITSS_RCV_DENM_07_02_BO());
251
252
253
254
255
256
257
258
259
260
261
262
            if (PICS_USE_CIRCULAR_REGION) {
                execute(TC_SEC_ITSS_RCV_DENM_08_01_BO());
            }
            if (PICS_USE_RECTANGULAR_REGION) {
                execute(TC_SEC_ITSS_RCV_DENM_08_02_BO());
            }
            if (PICS_USE_POLYGONAL_REGION) {
                execute(TC_SEC_ITSS_RCV_DENM_08_03_BO());
            }
            if (PICS_USE_IDENTIFIED_REGION) {
                execute(TC_SEC_ITSS_RCV_DENM_08_04_BO());
            }
garciay's avatar
garciay committed
263
264
265
266
267
268
269
270
            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());
garciay's avatar
garciay committed
271
            execute(TC_SEC_ITSS_RCV_DENM_11_02_BO());
garciay's avatar
garciay committed
272
273
274
275
276
277
278
279
280
281
            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
282
283
284
285
            /**
             * @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
286
287
288
289
290
291
292
293
294
295
296
297
298
299
            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());
garciay's avatar
garciay committed
300
                execute(TC_SEC_ITSS_RCV_GENMSG_04_06a_BO());
garciay's avatar
garciay committed
301
302
                execute(TC_SEC_ITSS_RCV_GENMSG_04_07_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_04_08_BO());
garciay's avatar
garciay committed
303
304
305
306
                execute(TC_SEC_ITSS_RCV_GENMSG_04_09_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_04_11_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_04_12_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_04_13_BO());
garciay's avatar
garciay committed
307
308
                execute(TC_SEC_ITSS_RCV_GENMSG_05_01_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_05_02_BO());
garciay's avatar
garciay committed
309
                execute(TC_SEC_ITSS_RCV_GENMSG_05_03_BO());
garciay's avatar
garciay committed
310
                execute(TC_SEC_ITSS_RCV_GENMSG_05_04_BO());
garciay's avatar
garciay committed
311
312
                execute(TC_SEC_ITSS_RCV_GENMSG_06_01_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_06_02_BO());
garciay's avatar
garciay committed
313
                execute(TC_SEC_ITSS_RCV_GENMSG_07_01_BO());
314
315
316
317
318
319
320
321
322
323
324
325
                if (PICS_USE_CIRCULAR_REGION) {
                    execute(TC_SEC_ITSS_RCV_GENMSG_08_01_BO());
                }
                if (PICS_USE_RECTANGULAR_REGION) {
                    execute(TC_SEC_ITSS_RCV_GENMSG_08_02_BO());
                }
                if (PICS_USE_POLYGONAL_REGION) {
                    execute(TC_SEC_ITSS_RCV_GENMSG_08_03_BO());
                }
                if (PICS_USE_IDENTIFIED_REGION) {
                    execute(TC_SEC_ITSS_RCV_GENMSG_08_04_BO());
                }
garciay's avatar
garciay committed
326
327
328
                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
329
330
                execute(TC_SEC_ITSS_RCV_GENMSG_09_05_BO());
                execute(TC_SEC_ITSS_RCV_GENMSG_09_06_BO());
garciay's avatar
garciay committed
331
332
333
                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());
garciay's avatar
garciay committed
334
                execute(TC_SEC_ITSS_RCV_GENMSG_11_02_BO());
garciay's avatar
garciay committed
335
336
337
338
                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
339
340
341
342
343
344
                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
345
            }
346
            
garciay's avatar
garciay committed
347
348
349
350
            /**
             * @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
351
352
353
354
355
356
357
358
359
360
361
            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
362
363
            execute(TC_SEC_ITSS_RCV_CERT_05_01_BO());
            execute(TC_SEC_ITSS_RCV_CERT_05_02_BO());
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
404
405
406
            if (PICS_USE_RECTANGULAR_REGION) {
                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());
            }
            if (PICS_USE_CIRCULAR_REGION) {
                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());
            }
            if (PICS_USE_POLYGONAL_REGION) {
                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());
            }
            if (PICS_USE_IDENTIFIED_REGION) {
                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());
garciay's avatar
garciay committed
407
            }
garciay's avatar
garciay committed
408
409
410
            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());
garciay's avatar
garciay committed
411
412
413
            execute(TC_SEC_ITSS_RCV_CERT_10_04_BO());
            execute(TC_SEC_ITSS_RCV_CERT_10_05_BO());
            execute(TC_SEC_ITSS_RCV_CERT_10_06_BO());
garciay's avatar
garciay committed
414
415
416
417
418
419
420
421
422
423
            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());
garciay's avatar
garciay committed
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
            execute(TC_SEC_ITSS_RCV_CERT_13_03_BO());
            execute(TC_SEC_ITSS_RCV_CERT_14_01_BO());
            execute(TC_SEC_ITSS_RCV_CERT_14_02_BO());
            execute(TC_SEC_ITSS_RCV_CERT_14_03_BO());
            execute(TC_SEC_ITSS_RCV_CERT_15_01_BO());
            execute(TC_SEC_ITSS_RCV_CERT_15_02_BO());
            execute(TC_SEC_ITSS_RCV_CERT_15_03_BO());
            execute(TC_SEC_ITSS_RCV_CERT_16_01_BO());
            execute(TC_SEC_ITSS_RCV_CERT_17_01_BO());
            execute(TC_SEC_ITSS_RCV_CERT_17_02_BO());
            execute(TC_SEC_ITSS_RCV_CERT_17_03_BO());
            execute(TC_SEC_ITSS_RCV_CERT_17_04_BO());
            execute(TC_SEC_ITSS_RCV_CERT_18_01_BO());
            execute(TC_SEC_ITSS_RCV_CERT_18_02_BO());
            execute(TC_SEC_ITSS_RCV_CERT_19_01_BO());
439
        }
440
441
442
443
        
    } // End of 'control' statement
    
} // End of module ItsSecurity_TestControl