Newer
Older
/**
* @author ETSI / STF481
* @version $URL$
* $Id$
* @desc Test Control file for Security Protocol
*
*/
module ItsSecurity_TestControl {
// LibItsGeoNetworking
import from LibItsGeoNetworking_Pics all;
// ItsSecurity
import from ItsSecurity_TestCases all;
import from LibItsSecurity_Pics all;
// Test Execution
control {
/**
* @desc Sending behaviour test cases
* @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.2 Sending behaviour
*/
if (PICS_GN_SECURITY) {
execute(TC_SEC_ITSS_SND_MSG_04_01());
execute(TC_SEC_ITSS_SND_MSG_04_02());
execute(TC_SEC_ITSS_SND_MSG_05_01());
/**
* @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());
/**
* @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());
if (PICS_CERTIFICATE_SELECTION) {
if (PICS_USE_CIRCULAR_REGION) {
}
if (PICS_USE_RECTANGULAR_REGION) {
}
if (PICS_USE_POLYGONAL_REGION) {
}
if (PICS_USE_IDENTIFIED_REGION) {
execute(TC_SEC_ITSS_SND_DENM_08_01_BV());
execute(TC_SEC_ITSS_SND_DENM_10_01_BV());
if (PICS_ITS_AID_OTHER_PROFILE) {
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());
if (PICS_CERTIFICATE_SELECTION) {
if (PICS_USE_CIRCULAR_REGION) {
}
if (PICS_USE_RECTANGULAR_REGION) {
}
if (PICS_USE_POLYGONAL_REGION) {
}
if (PICS_USE_IDENTIFIED_REGION) {
execute(TC_SEC_ITSS_SND_GENMSG_07_01());
}
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
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
151
152
153
154
155
156
157
158
159
160
/**
* @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
*/
execute(TC_SEC_SND_CERT_01_01());
execute(TC_SEC_SND_CERT_01_02());
execute(TC_SEC_SND_CERT_02_01());
if (PICS_CERTIFICATE_SELECTION) {
if (PICS_USE_RECTANGULAR_REGION) {
execute(TC_SEC_SND_CERT_04_01());
execute(TC_SEC_SND_CERT_04_02());
}
if (PICS_USE_POLYGONAL_REGION) {
execute(TC_SEC_SND_CERT_05_01());
execute(TC_SEC_SND_CERT_05_02());
}
if (PICS_USE_IDENTIFIED_REGION) {
execute(TC_SEC_SND_CERT_06_01());
execute(TC_SEC_SND_CERT_06_02());
}
}
execute(TC_SEC_SND_CERT_07_01());
execute(TC_SEC_SND_CERT_08_01());
execute(TC_SEC_SND_CERT_09_01());
execute(TC_SEC_SND_CERT_09_02());
/**
* @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
*/
execute(TC_SEC_SND_CERT_AA_01_01());
execute(TC_SEC_SND_CERT_AA_02_01());
execute(TC_SEC_SND_CERT_AA_04_01());
execute(TC_SEC_SND_CERT_AA_05_01());
execute(TC_SEC_SND_CERT_AA_06_01());
execute(TC_SEC_SND_CERT_AA_08_01());
execute(TC_SEC_SND_CERT_AT_01_01());
/**
* @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
*/
if (PICS_CERTIFICATE_SELECTION) {
execute(TC_SEC_SND_CERT_AT_02_01());
execute(TC_SEC_SND_CERT_AT_03_01());
execute(TC_SEC_SND_CERT_AT_04_01());
execute(TC_SEC_SND_CERT_AT_05_01());
execute(TC_SEC_SND_CERT_AT_07_01());
execute(TC_SEC_SND_CERT_AT_08_01());
execute(TC_SEC_SND_CERT_AT_09_01());
}
}
/**
* @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
*/
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());
execute(TC_SEC_ITSS_RCV_CAM_04_06_BO());
execute(TC_SEC_ITSS_RCV_CAM_04_08_BO());
execute(TC_SEC_ITSS_RCV_CAM_04_09_BO());
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());
/**
* @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
*/
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());
execute(TC_SEC_ITSS_RCV_DENM_08_04_BO());
/**
* @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
/**
* @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