ItsSecurity_TestControl.ttcn3 12.9 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
181
182
183
184
            execute(TC_SEC_ITSS_RCV_CAM_04_10_BO());
            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());
185
186
187
188
189
190
191
192
193
194
195
196
            execute(TC_SEC_ITSS_RCV_CAM_07_01_BO());
            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
197
198
            execute(TC_SEC_ITSS_RCV_CAM_12_03_BO());
            execute(TC_SEC_ITSS_RCV_CAM_12_04_BO());
199
            
garciay's avatar
garciay committed
200
201
202
203
            /**
             * @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
             */
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
            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());
            execute(TC_SEC_ITSS_RCV_DENM_07_01_BO());
            execute(TC_SEC_ITSS_RCV_DENM_08_01_BO());
            execute(TC_SEC_ITSS_RCV_DENM_08_02_BO());
garciay's avatar
garciay committed
222
            execute(TC_SEC_ITSS_RCV_DENM_08_03_BO());
223
224
            execute(TC_SEC_ITSS_RCV_DENM_08_04_BO());
            
garciay's avatar
garciay committed
225
226
227
228
            /**
             * @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
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
            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());
                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());
                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());
            }
263
            
garciay's avatar
garciay committed
264
265
266
267
            /**
             * @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
268
269
270
271
272
273
274
275
276
277
278
            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());
279
        }
280
281
282
283
        
    } // End of 'control' statement
    
} // End of module ItsSecurity_TestControl