ItsSecurity_TestControl.ttcn3 10.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
42
43
44
            /**
             * @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());
            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());
45
            
garciay's avatar
garciay committed
46
47
48
49
50
51
52
53
            /**
             * @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());
54
            if (PICS_CERTIFICATE_SELECTION) {
garciay's avatar
garciay committed
55
                execute(TC_SEC_ITSS_SND_DENM_05_01_BV());
56
                if (PICS_USE_CIRCULAR_REGION) {
garciay's avatar
garciay committed
57
                    execute(TC_SEC_ITSS_SND_DENM_05_02_BV());
58
59
                }
                if (PICS_USE_RECTANGULAR_REGION) {
garciay's avatar
garciay committed
60
                    execute(TC_SEC_ITSS_SND_DENM_05_03_BV());
61
62
                }
                if (PICS_USE_POLYGONAL_REGION) {
garciay's avatar
garciay committed
63
                    execute(TC_SEC_ITSS_SND_DENM_05_04_BV());
64
65
                }
                if (PICS_USE_IDENTIFIED_REGION) {
garciay's avatar
garciay committed
66
                    execute(TC_SEC_ITSS_SND_DENM_05_05_BV());
67
                }
garciay's avatar
garciay committed
68
69
            } else {
                execute(TC_SEC_ITSS_SND_DENM_05_06_BV());
70
            }
garciay's avatar
garciay committed
71
72
            execute(TC_SEC_ITSS_SND_DENM_08_01_BV());
            execute(TC_SEC_ITSS_SND_DENM_10_01_BV());
73
74
            
            if (PICS_ITS_AID_OTHER_PROFILE) {
garciay's avatar
garciay committed
75
76
77
78
                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());
79
                if (PICS_CERTIFICATE_SELECTION) {
garciay's avatar
garciay committed
80
                    execute(TC_SEC_ITSS_SND_GENMSG_05_01_BV());
81
                    if (PICS_USE_CIRCULAR_REGION) {
garciay's avatar
garciay committed
82
                        execute(TC_SEC_ITSS_SND_GENMSG_05_02_BV());
83
84
                    }
                    if (PICS_USE_RECTANGULAR_REGION) {
garciay's avatar
garciay committed
85
                        execute(TC_SEC_ITSS_SND_GENMSG_05_03_BV());
86
87
                    }
                    if (PICS_USE_POLYGONAL_REGION) {
garciay's avatar
garciay committed
88
                        execute(TC_SEC_ITSS_SND_GENMSG_05_04_BV());
89
90
                    }
                    if (PICS_USE_IDENTIFIED_REGION) {
garciay's avatar
garciay committed
91
                        execute(TC_SEC_ITSS_SND_GENMSG_05_05_BV());
92
93
                    }
                } else {
garciay's avatar
garciay committed
94
                    execute(TC_SEC_ITSS_SND_GENMSG_05_06_BV());
95
                }
garciay's avatar
garciay committed
96
                execute(TC_SEC_ITSS_SND_GENMSG_06_01_BV());
garciay's avatar
garciay committed
97
                execute(TC_SEC_ITSS_SND_GENMSG_07_01_BV());
98
99
            }
            
garciay's avatar
garciay committed
100
101
102
103
            /**
             * @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
104
105
106
            execute(TC_SEC_SND_CERT_01_01_BV());
            execute(TC_SEC_SND_CERT_01_02_BV());
            execute(TC_SEC_SND_CERT_02_01_BV());
garciay's avatar
garciay committed
107
108
            if (PICS_CERTIFICATE_SELECTION) {
                if (PICS_USE_RECTANGULAR_REGION) {
garciay's avatar
garciay committed
109
110
                    execute(TC_SEC_SND_CERT_04_01_BV());
                    execute(TC_SEC_SND_CERT_04_02_BV());
garciay's avatar
garciay committed
111
112
                }
                if (PICS_USE_POLYGONAL_REGION) {
garciay's avatar
garciay committed
113
114
                    execute(TC_SEC_SND_CERT_05_01_BV());
                    execute(TC_SEC_SND_CERT_05_02_BV());
garciay's avatar
garciay committed
115
116
                }
                if (PICS_USE_IDENTIFIED_REGION) {
garciay's avatar
garciay committed
117
118
                    execute(TC_SEC_SND_CERT_06_01_BV());
                    execute(TC_SEC_SND_CERT_06_02_BV());
garciay's avatar
garciay committed
119
120
                }
            }
garciay's avatar
garciay committed
121
122
123
124
125
126
127
128
129
            execute(TC_SEC_SND_CERT_07_01_BV());
            execute(TC_SEC_SND_CERT_07_02_BV());
            execute(TC_SEC_SND_CERT_08_01_BV());
            execute(TC_SEC_SND_CERT_09_01_BV());
            execute(TC_SEC_SND_CERT_09_02_BV());
            execute(TC_SEC_SND_CERT_10_01_BV());
            execute(TC_SEC_SND_CERT_10_02_BV());
            execute(TC_SEC_SND_CERT_11_01_BV());
            execute(TC_SEC_SND_CERT_11_02_BV());
garciay's avatar
garciay committed
130
131
132
133
134
            
            /**
             * @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
135
136
137
138
139
140
            execute(TC_SEC_SND_CERT_AA_01_01_BV());
            execute(TC_SEC_SND_CERT_AA_02_01_BV());
            execute(TC_SEC_SND_CERT_AA_03_01_BV());
            execute(TC_SEC_SND_CERT_AA_05_01_BV());
            execute(TC_SEC_SND_CERT_AA_08_01_BV());
            execute(TC_SEC_SND_CERT_AA_10_01_BV());
garciay's avatar
garciay committed
141
142
143
144
            /**
             * @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
145
146
147
148
149
150
151
152
            execute(TC_SEC_SND_CERT_AT_01_01_BV());
            execute(TC_SEC_SND_CERT_AT_02_01_BV());
            execute(TC_SEC_SND_CERT_AT_03_01_BV());
            execute(TC_SEC_SND_CERT_AT_04_01_BV());
            execute(TC_SEC_SND_CERT_AT_05_01_BV());
            execute(TC_SEC_SND_CERT_AT_07_01_BV());
            execute(TC_SEC_SND_CERT_AT_08_01_BV());
            execute(TC_SEC_SND_CERT_AT_10_01_BV());
garciay's avatar
garciay committed
153
154
155
156
157
158
159
160
161
162
163
        }
            
        /**
         * @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
             */
164
165
166
167
168
169
170
171
172
            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
173
            execute(TC_SEC_ITSS_RCV_CAM_04_05_BO());
174
            execute(TC_SEC_ITSS_RCV_CAM_04_06_BO());
garciay's avatar
garciay committed
175
            execute(TC_SEC_ITSS_RCV_CAM_04_07_BO());
176
177
            execute(TC_SEC_ITSS_RCV_CAM_04_08_BO());
            execute(TC_SEC_ITSS_RCV_CAM_04_09_BO());
garciay's avatar
garciay committed
178
179
180
181
182
            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());
183
184
185
186
187
188
189
190
191
192
193
194
            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
195
196
            execute(TC_SEC_ITSS_RCV_CAM_12_03_BO());
            execute(TC_SEC_ITSS_RCV_CAM_12_04_BO());
197
            
garciay's avatar
garciay committed
198
199
200
201
            /**
             * @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
             */
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
            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
220
            execute(TC_SEC_ITSS_RCV_DENM_08_03_BO());
221
222
            execute(TC_SEC_ITSS_RCV_DENM_08_04_BO());
            
garciay's avatar
garciay committed
223
224
225
226
227
            /**
             * @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
             */
            // TODO Add Other profile RECV TCs
228
            
garciay's avatar
garciay committed
229
230
231
232
233
            /**
             * @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
             */
            // TODO Add certificates profile RECV TCs
234
        }
235
236
237
238
        
    } // End of 'control' statement
    
} // End of module ItsSecurity_TestControl