Commit d075ab92 authored by garciay's avatar garciay
Browse files

Increase SSP size from Bit128 to Bit256

parent 6d72b92f
......@@ -12,7 +12,7 @@ module ItsCam_TestCases {
import from LibItsCam_TestSystem all;
// Ats Its
import from ItsCam_TpFunctions all;
import from ItsCam_TpFunctions all;
// 5.2.1
group camMessageDissemination {
......@@ -2178,25 +2178,25 @@ module ItsCam_TestCases {
} // end group camLowerLayerParameters
group camGenerationSSP {
group camGenerationSSP {
/**
* @desc Check that the IUT does not send a CAM
* when its content is not permitted by signing certificate
* when its content is not permitted by signing certificate
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "initial state"
* the IUT is authorized to sign CAMs with the certificate
* containing CAM SSP
* indicating bit at position '1' set to 0
* with {
* the IUT being in the "initial state"
* the IUT is authorized to sign CAMs with the certificate
* containing CAM SSP
* indicating bit at position '1' set to 0
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT generates a CAM
* containing CenDsrcTollingZone
* containing CenDsrcTollingZone
* }
* then {
* the IUT does not send this CAM
......@@ -2207,30 +2207,30 @@ module ItsCam_TestCases {
* @see ETSI TS 102 868-2 TP/CAM/MSD/SSP/BO-01
* @reference ETSI EN 302 637-2 , clause 6.2.2.1
*/
testcase TC_CAM_MSD_SSP_BO_01() runs on ItsCam system ItsCamSystem {
testcase TC_CAM_MSD_SSP_BO_01() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_SSP_BO_01();
f_CAM_MSD_SSP_BO_01();
} // end TC_CAM_MSD_SSP_BO_01
} // end TC_CAM_MSD_SSP_BO_01
/**
* @desc Check that the IUT does not send a CAM
* when its content is not permitted by signing certificate
* when its content is not permitted by signing certificate
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND PICS_IS_IUT_SECURED
* AND PICS_SPECIALVEHICLECONTAINER AND PICS_PUBLICTRANS
* Initial conditions:
* with {
* the IUT being in the "initial state"
* the IUT is authorized to sign CAMs with the certificate
* containing CAM SSP
* indicating bit at position '2' set to 0
* with {
* the IUT being in the "initial state"
* the IUT is authorized to sign CAMs with the certificate
* containing CAM SSP
* indicating bit at position '2' set to 0
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT generates a CAM
* containing publicTransportContainer
* containing publicTransportContainer
* }
* then {
* the IUT does not send this CAM
......@@ -2241,30 +2241,30 @@ module ItsCam_TestCases {
* @see ETSI TS 102 868-2 TP/CAM/MSD/SSP/BO-02
* @reference ETSI EN 302 637-2 , clause 6.2.2.1
*/
testcase TC_CAM_MSD_SSP_BO_02() runs on ItsCam system ItsCamSystem {
testcase TC_CAM_MSD_SSP_BO_02() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_SSP_BO_02();
f_CAM_MSD_SSP_BO_02();
} // end TC_CAM_MSD_SSP_BO_02
} // end TC_CAM_MSD_SSP_BO_02
/**
* @desc Check that the IUT does not send a CAM
* when its content is not permitted by signing certificate
* when its content is not permitted by signing certificate
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND PICS_IS_IUT_SECURED
* AND PICS_SPECIALVEHICLECONTAINER AND PICS_SPECIALTRANS
* Initial conditions:
* with {
* the IUT being in the "initial state"
* the IUT is authorized to sign CAMs with the certificate
* containing CAM SSP
* indicating bit at position '3' set to 0
* with {
* the IUT being in the "initial state"
* the IUT is authorized to sign CAMs with the certificate
* containing CAM SSP
* indicating bit at position '3' set to 0
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT generates a CAM
* containing specialTransportContainer
* containing specialTransportContainer
* }
* then {
* the IUT does not send this CAM
......@@ -2317,7 +2317,7 @@ module ItsCam_TestCases {
} // end TC_CAM_MSP_BV_01
group camProcessingSSP {
group camProcessingSSP {
/**
* @desc Check that IUT discards CAM if SSP value of the signing certificate
* is not consistent with the provided containers.
......@@ -2329,18 +2329,18 @@ module ItsCam_TestCases {
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a secured CAM
* containing CenDsrcTollingZone/ProtectedCommunicationZonesRSU
* signed with certificate
* containing CAM SSP bit at position 0
* indicating 0
* }
* then {
* the IUT discards the CAM
* and the IUT does not forward the CAM content to upper layers
* and the IUT does not forward the CAM content to other facilities
* }
* when {
* the IUT receives a secured CAM
* containing CenDsrcTollingZone/ProtectedCommunicationZonesRSU
* signed with certificate
* containing CAM SSP bit at position 0
* indicating 0
* }
* then {
* the IUT discards the CAM
* and the IUT does not forward the CAM content to upper layers
* and the IUT does not forward the CAM content to other facilities
* }
* }
* </pre>
*
......@@ -2359,23 +2359,23 @@ module ItsCam_TestCases {
* <pre>
* Pics Selection: PICS_CAM_RECEPTION AND PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a secured CAM
* containing publicTransportContainer
* and signed with certificate
* containing CAM SSP bit at position 1
* indicating 0
* }
* then {
* the IUT discards the CAM
* and the IUT does not forward the CAM content to upper layers
* and the IUT does not forward the CAM content to other facilities
* }
* ensure that {
* when {
* the IUT receives a secured CAM
* containing publicTransportContainer
* and signed with certificate
* containing CAM SSP bit at position 1
* indicating 0
* }
* then {
* the IUT discards the CAM
* and the IUT does not forward the CAM content to upper layers
* and the IUT does not forward the CAM content to other facilities
* }
* }
* </pre>
*
......@@ -2384,7 +2384,7 @@ module ItsCam_TestCases {
*/
testcase TC_CAM_MSP_SSP_BV_02() runs on ItsCam system ItsCamSystem {
f_CAM_MSP_SSP_BV_02();
f_CAM_MSP_SSP_BV_02();
} // end TC_CAM_MSP_BV_02
......@@ -2394,23 +2394,23 @@ module ItsCam_TestCases {
* <pre>
* Pics Selection: PICS_CAM_RECEPTION AND PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives a secured CAM
* containing specialTransportContainer
* and signed with certificate
* containing CAM SSP bit at position 2
* indicating 0
* }
* then {
* the IUT discards the CAM
* and the IUT does not forward the CAM content to upper layers
* and the IUT does not forward the CAM content to other facilities
* }
* ensure that {
* when {
* the IUT receives a secured CAM
* containing specialTransportContainer
* and signed with certificate
* containing CAM SSP bit at position 2
* indicating 0
* }
* then {
* the IUT discards the CAM
* and the IUT does not forward the CAM content to upper layers
* and the IUT does not forward the CAM content to other facilities
* }
* }
* </pre>
*
......@@ -2422,9 +2422,9 @@ module ItsCam_TestCases {
f_CAM_MSP_SSP_BV_03();
} // end TC_CAM_MSP_BV_03
}// end group camProcessingSSP
}// end group camProcessingSSP
} // end group camMessageProcessing
} // end ItsCam_TestCases
......@@ -2996,10 +2996,10 @@ module ItsCam_TpFunctions {
group camGenerationSSP{
function f_CAM_MSD_SSP_BO_XX(
in Oct8 p_certHashedId8,
in template(value) UtCamTrigger p_utEvent,
in template(present) CAM pmw_CamMsg,
in template(present) Bit128 pmw_ssp := ?
in Oct8 p_certHashedId8,
in template(value) UtCamTrigger p_utEvent,
in template(present) CAM pmw_CamMsg,
in template(present) Bit256 pmw_ssp := ?
) runs on ItsCam {
// Local variables
......
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