Loading ItsDenm_TestCases.ttcn +2510 −2369 File changed.Preview size limit exceeded, changes collapsed. Show changes ItsDenm_TestControl.ttcn +6 −2 Original line number Diff line number Diff line Loading @@ -92,8 +92,12 @@ module ItsDenm_TestControl { execute(TC_DEN_MSRV_BO_08_01()); execute(TC_DEN_MSRV_BO_08_02()); if (PICS_RELEASE2) { execute(TC_DEN_MSRV_BO_09_01()); execute(TC_DEN_MSRV_BO_09_02()); execute(TC_DEN_MSRV_BO_09_03()); execute(TC_DEN_MSRV_BO_09_04()); } } if(PICS_IMPACT_REDUCTION) { execute(TC_DEN_MSRV_BV_10()); Loading ItsDenm_TpFunctions.ttcn +30 −24 Original line number Diff line number Diff line Loading @@ -2907,19 +2907,13 @@ module ItsDenm_TpFunctions { var integer i; // Test control if (not PICS_DENM_RECEPTION) { log("*** " & testcasename() & ": PICS_DENM_RECEPTION required for executing the TC ***"); setverdict(inconc); stop; } if (not PICS_IS_IUT_SECURED) { log("*** " & testcasename() & ": PICS_IS_IUT_SECURED required for executing the TC ***"); if (not PICS_DENM_RECEPTION or not PICS_IS_IUT_SECURED) { log("*** " & testcasename() & ": PICS_DENM_RECEPTION and PICS_IS_IUT_SECURED are required for executing the TC ***"); setverdict(inconc); stop; } // Test component configuration // instruct adapter to use p_certName to sign message f_cfUp(p_certName); // Preamble Loading Loading @@ -2984,20 +2978,14 @@ module ItsDenm_TpFunctions { var integer i; // Test control if (not PICS_DENM_RECEPTION) { log("*** " & testcasename() & ": PICS_DENM_RECEPTION required for executing the TC ***"); setverdict(inconc); stop; } if (not PICS_IS_IUT_SECURED) { log("*** " & testcasename() & ": PICS_IS_IUT_SECURED required for executing the TC ***"); if (not PICS_DENM_RECEPTION or not PICS_IS_IUT_SECURED or not PICS_RELEASE2) { log("*** " & testcasename() & ": PICS_DENM_RECEPTION and PICS_IS_IUT_SECURED and PICS_RELEASE2 are required for executing the TC ***"); setverdict(inconc); stop; } // Test component configuration // instruct adapter to use normal certificate to sign message f_cfUp(); f_cfUp(p_certName); // Preamble f_prInitialState(); Loading Loading @@ -3061,22 +3049,40 @@ module ItsDenm_TpFunctions { function f_DEN_MSRV_BO_09_01 () runs on ItsDenm { f_DEN_MSRV_BO_09_XX( "CERT_TS_DENM_BO_01_AT", m_situation(CauseCodeChoice: { trafficCondition1 := LibItsCommon_ASN1_NamedNumbers.TrafficConditionSubCauseCode_unavailable_ }), m_situation(CauseCodeChoice: { trafficCondition1 := LibItsCommon_ASN1_NamedNumbers.TrafficConditionSubCauseCode_trafficJamIncreasing_ }) "CERT_TS_DENM_BO_25_AT", m_situation(CauseCodeChoice: { impassability5 := LibItsCommon_ASN1_NamedNumbers.TrafficConditionSubCauseCode_trafficStationary_ }), m_situation(CauseCodeChoice: { impassability5 := LibItsCommon_ASN1_NamedNumbers.TrafficConditionSubCauseCode_trafficJamIncreasing_ }) ); } function f_DEN_MSRV_BO_09_02 () runs on ItsDenm { f_DEN_MSRV_BO_09_XX( "CERT_TS_DENM_BO_02_AT", m_situation(CauseCodeChoice: { accident2 := LibItsCommon_ASN1_NamedNumbers.AccidentSubCauseCode_unavailable_ }), m_situation(CauseCodeChoice: { accident2 := LibItsCommon_ASN1_NamedNumbers.AccidentSubCauseCode_multiVehicleAccident_ }) "CERT_TS_DENM_BO_26_AT", m_situation(CauseCodeChoice: { aquaplaning7 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_VisibilitySubCauseCode_heavyRain_ }), m_situation(CauseCodeChoice: { aquaplaning7 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_VisibilitySubCauseCode_unavailable_ }) ); } function f_DEN_MSRV_BO_09_03 () runs on ItsDenm { f_DEN_MSRV_BO_09_XX( "CERT_TS_DENM_BO_27_AT", m_situation(CauseCodeChoice: { publicTransportVehicleApproaching28 := LibItsCommon_ASN1_NamedNumbers.EmergencyVehicleApproachingSubCauseCode_emergencyVehicleApproaching_ }), m_situation(CauseCodeChoice: { publicTransportVehicleApproaching28 := LibItsCommon_ASN1_NamedNumbers.EmergencyVehicleApproachingSubCauseCode_prioritizedVehicleApproaching_ }) ); } function f_DEN_MSRV_BO_09_04 () runs on ItsDenm { f_DEN_MSRV_BO_09_XX( "CERT_TS_DENM_BO_28_AT", m_situation(CauseCodeChoice: { railwayLevelCrossing100 := LibItsCommon_ASN1_NamedNumbers.CollisionRiskSubCauseCode_crossingCollisionRisk_ }), m_situation(CauseCodeChoice: { railwayLevelCrossing100 := LibItsCommon_ASN1_NamedNumbers.CollisionRiskSubCauseCode_longitudinalCollisionRisk_ }) ); } } // End of group denMessageSSP /** * @desc TP Function for TC_DEN_MSRV_BV_10 Loading lib/LibItsDenm_Pics.ttcn +6 −0 Original line number Diff line number Diff line Loading @@ -67,6 +67,12 @@ module LibItsDenm_Pics { */ modulepar boolean PICS_IS_IUT_SECURED := false; /** * @desc Does the IUT support DENMv2? * @see ETSI TS 102 868-1 Table A.4 */ modulepar boolean PICS_RELEASE2 := true; } // end denmPics } No newline at end of file asn1 @ 6200b05f Compare 3b2ef991 to 6200b05f Original line number Diff line number Diff line Subproject commit 3b2ef991b4b23956ccd0b6e10130d2dd55c81b59 Subproject commit 6200b05f13a1acc85c30639cd0ba64b4269eabe3 Loading
ItsDenm_TestCases.ttcn +2510 −2369 File changed.Preview size limit exceeded, changes collapsed. Show changes
ItsDenm_TestControl.ttcn +6 −2 Original line number Diff line number Diff line Loading @@ -92,8 +92,12 @@ module ItsDenm_TestControl { execute(TC_DEN_MSRV_BO_08_01()); execute(TC_DEN_MSRV_BO_08_02()); if (PICS_RELEASE2) { execute(TC_DEN_MSRV_BO_09_01()); execute(TC_DEN_MSRV_BO_09_02()); execute(TC_DEN_MSRV_BO_09_03()); execute(TC_DEN_MSRV_BO_09_04()); } } if(PICS_IMPACT_REDUCTION) { execute(TC_DEN_MSRV_BV_10()); Loading
ItsDenm_TpFunctions.ttcn +30 −24 Original line number Diff line number Diff line Loading @@ -2907,19 +2907,13 @@ module ItsDenm_TpFunctions { var integer i; // Test control if (not PICS_DENM_RECEPTION) { log("*** " & testcasename() & ": PICS_DENM_RECEPTION required for executing the TC ***"); setverdict(inconc); stop; } if (not PICS_IS_IUT_SECURED) { log("*** " & testcasename() & ": PICS_IS_IUT_SECURED required for executing the TC ***"); if (not PICS_DENM_RECEPTION or not PICS_IS_IUT_SECURED) { log("*** " & testcasename() & ": PICS_DENM_RECEPTION and PICS_IS_IUT_SECURED are required for executing the TC ***"); setverdict(inconc); stop; } // Test component configuration // instruct adapter to use p_certName to sign message f_cfUp(p_certName); // Preamble Loading Loading @@ -2984,20 +2978,14 @@ module ItsDenm_TpFunctions { var integer i; // Test control if (not PICS_DENM_RECEPTION) { log("*** " & testcasename() & ": PICS_DENM_RECEPTION required for executing the TC ***"); setverdict(inconc); stop; } if (not PICS_IS_IUT_SECURED) { log("*** " & testcasename() & ": PICS_IS_IUT_SECURED required for executing the TC ***"); if (not PICS_DENM_RECEPTION or not PICS_IS_IUT_SECURED or not PICS_RELEASE2) { log("*** " & testcasename() & ": PICS_DENM_RECEPTION and PICS_IS_IUT_SECURED and PICS_RELEASE2 are required for executing the TC ***"); setverdict(inconc); stop; } // Test component configuration // instruct adapter to use normal certificate to sign message f_cfUp(); f_cfUp(p_certName); // Preamble f_prInitialState(); Loading Loading @@ -3061,22 +3049,40 @@ module ItsDenm_TpFunctions { function f_DEN_MSRV_BO_09_01 () runs on ItsDenm { f_DEN_MSRV_BO_09_XX( "CERT_TS_DENM_BO_01_AT", m_situation(CauseCodeChoice: { trafficCondition1 := LibItsCommon_ASN1_NamedNumbers.TrafficConditionSubCauseCode_unavailable_ }), m_situation(CauseCodeChoice: { trafficCondition1 := LibItsCommon_ASN1_NamedNumbers.TrafficConditionSubCauseCode_trafficJamIncreasing_ }) "CERT_TS_DENM_BO_25_AT", m_situation(CauseCodeChoice: { impassability5 := LibItsCommon_ASN1_NamedNumbers.TrafficConditionSubCauseCode_trafficStationary_ }), m_situation(CauseCodeChoice: { impassability5 := LibItsCommon_ASN1_NamedNumbers.TrafficConditionSubCauseCode_trafficJamIncreasing_ }) ); } function f_DEN_MSRV_BO_09_02 () runs on ItsDenm { f_DEN_MSRV_BO_09_XX( "CERT_TS_DENM_BO_02_AT", m_situation(CauseCodeChoice: { accident2 := LibItsCommon_ASN1_NamedNumbers.AccidentSubCauseCode_unavailable_ }), m_situation(CauseCodeChoice: { accident2 := LibItsCommon_ASN1_NamedNumbers.AccidentSubCauseCode_multiVehicleAccident_ }) "CERT_TS_DENM_BO_26_AT", m_situation(CauseCodeChoice: { aquaplaning7 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_VisibilitySubCauseCode_heavyRain_ }), m_situation(CauseCodeChoice: { aquaplaning7 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_VisibilitySubCauseCode_unavailable_ }) ); } function f_DEN_MSRV_BO_09_03 () runs on ItsDenm { f_DEN_MSRV_BO_09_XX( "CERT_TS_DENM_BO_27_AT", m_situation(CauseCodeChoice: { publicTransportVehicleApproaching28 := LibItsCommon_ASN1_NamedNumbers.EmergencyVehicleApproachingSubCauseCode_emergencyVehicleApproaching_ }), m_situation(CauseCodeChoice: { publicTransportVehicleApproaching28 := LibItsCommon_ASN1_NamedNumbers.EmergencyVehicleApproachingSubCauseCode_prioritizedVehicleApproaching_ }) ); } function f_DEN_MSRV_BO_09_04 () runs on ItsDenm { f_DEN_MSRV_BO_09_XX( "CERT_TS_DENM_BO_28_AT", m_situation(CauseCodeChoice: { railwayLevelCrossing100 := LibItsCommon_ASN1_NamedNumbers.CollisionRiskSubCauseCode_crossingCollisionRisk_ }), m_situation(CauseCodeChoice: { railwayLevelCrossing100 := LibItsCommon_ASN1_NamedNumbers.CollisionRiskSubCauseCode_longitudinalCollisionRisk_ }) ); } } // End of group denMessageSSP /** * @desc TP Function for TC_DEN_MSRV_BV_10 Loading
lib/LibItsDenm_Pics.ttcn +6 −0 Original line number Diff line number Diff line Loading @@ -67,6 +67,12 @@ module LibItsDenm_Pics { */ modulepar boolean PICS_IS_IUT_SECURED := false; /** * @desc Does the IUT support DENMv2? * @see ETSI TS 102 868-1 Table A.4 */ modulepar boolean PICS_RELEASE2 := true; } // end denmPics } No newline at end of file
asn1 @ 6200b05f Compare 3b2ef991 to 6200b05f Original line number Diff line number Diff line Subproject commit 3b2ef991b4b23956ccd0b6e10130d2dd55c81b59 Subproject commit 6200b05f13a1acc85c30639cd0ba64b4269eabe3