Commit 7b1508fd authored by garciay's avatar garciay
Browse files

STF507 week#11:

.  Implement additional TPs
.  Review of the PICS, TSS&TPs & PIXITs documents
parent a6356647
......@@ -217,7 +217,7 @@ module AtsSecurity_Functions {
// Local variables
var GeoNetworkingPdu v_securedGnPdu := f_prepareSecuredCam_Bo(p_configId, p_protocolVersion, p_trailerStatus, p_headerFields, p_signerInfoType);
log("v_securedGnPdu = ", v_securedGnPdu);
// log("v_securedGnPdu = ", v_securedGnPdu);
f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
return v_securedGnPdu;
......
......@@ -175,6 +175,7 @@ module ItsSecurity_TestControl {
execute(TC_SEC_ITSS_RCV_CAM_04_04_BO());
execute(TC_SEC_ITSS_RCV_CAM_04_05_BO());
execute(TC_SEC_ITSS_RCV_CAM_04_06_BO());
execute(TC_SEC_ITSS_RCV_CAM_04_06a_BO());
execute(TC_SEC_ITSS_RCV_CAM_04_07_BO());
execute(TC_SEC_ITSS_RCV_CAM_04_08_BO());
execute(TC_SEC_ITSS_RCV_CAM_04_09_BO());
......@@ -222,18 +223,10 @@ module ItsSecurity_TestControl {
* @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_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());
execute(TC_SEC_ITSS_RCV_DENM_02_01_BO());
execute(TC_SEC_ITSS_RCV_DENM_02_02_BO());
execute(TC_SEC_ITSS_RCV_DENM_04_01_BO());
......@@ -263,14 +256,22 @@ module ItsSecurity_TestControl {
}
execute(TC_SEC_ITSS_RCV_DENM_07_01_BO());
execute(TC_SEC_ITSS_RCV_DENM_07_02_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_03_BO());
execute(TC_SEC_ITSS_RCV_DENM_08_04_BO());
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());
}
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_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());
......@@ -308,8 +309,13 @@ module ItsSecurity_TestControl {
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_06a_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_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());
execute(TC_SEC_ITSS_RCV_GENMSG_05_01_BO());
execute(TC_SEC_ITSS_RCV_GENMSG_05_02_BO());
execute(TC_SEC_ITSS_RCV_GENMSG_05_03_BO());
......@@ -321,10 +327,22 @@ module ItsSecurity_TestControl {
execute(TC_SEC_ITSS_RCV_GENMSG_06_04_BO());
}
execute(TC_SEC_ITSS_RCV_GENMSG_07_01_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());
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());
}
if (PICS_ITS_C2C_MODE) {
execute(TC_SEC_ITSS_RCV_GENMSG_08_05_BV());
execute(TC_SEC_ITSS_RCV_GENMSG_08_06_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());
......@@ -363,42 +381,50 @@ module ItsSecurity_TestControl {
execute(TC_SEC_ITSS_RCV_CERT_04_01_BO());
execute(TC_SEC_ITSS_RCV_CERT_05_01_BO());
execute(TC_SEC_ITSS_RCV_CERT_05_02_BO());
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());
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());
}
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());
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment