Implement TPs for AtsDENMv2 (a3146f94) · Commits · ITS - Intelligent Transport Systems / ttcn / DENM TS 102 869-3

ItsDenm_TestCases.ttcn

+164 −0

Original line number	Diff line number	Diff line
		@@ -3549,6 +3549,170 @@ module ItsDenm_TestCases {

		} // End of TC_DEN_MSRV_BO_08_24

		/**
		* @desc Check that receiving ITS-S discards DENM for new event
		* if SSP value of the signing certificate is not consistent with the causeCode
		*
		* <pre>
		* PICS Selection: PICS_DENM_RECEPTION AND PICS_IS_IUT_SECURED
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* the IUT receives a secured DENM
		* containing situation container
		* containing eventType
		* containing causeCode
		* indicating 'impassability'
		* containing signing certificate
		* containing SSP
		* indicating version 2
		* and not permitting to send DENM
		* containing causeCode
		* indicating 'impassability'
		* }
		* then {
		* the IUT discards the DENM
		* and the IUT does not forward the DENM content to upper layer
		* }
		* }
		* </pre>
		*
		* @see ETSI 102 869-2 v2.1.x TP/DEN/MSRV/BV-08-24
		* @reference ETSI TS 103 831, clause 6.2.2 and clause 8.4.2
		*/
		testcase TC_DEN_MSRV_BO_08_25() runs on ItsDenm system ItsDenmSystem {

		f_DEN_MSRV_BO_08_25();

		} // End of TC_DEN_MSRV_BO_08_25

		/**
		* @desc Check that receiving ITS-S discards DENM for new event
		* if SSP value of the signing certificate is not consistent with the causeCode
		*
		* <pre>
		* PICS Selection: PICS_DENM_RECEPTION AND PICS_IS_IUT_SECURED
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* the IUT receives a secured DENM
		* containing situation container
		* containing eventType
		* containing causeCode
		* indicating 'aquaplaning'
		* containing signing certificate
		* containing SSP
		* indicating version 2
		* and not permitting to send DENM
		* containing causeCode
		* indicating 'aquaplaning'
		* }
		* then {
		* the IUT discards the DENM
		* and the IUT does not forward the DENM content to upper layer
		* }
		* }
		* </pre>
		*
		* @see ETSI 102 869-2 v2.1.x TP/DEN/MSRV/BV-08-24
		* @reference ETSI TS 103 831, clause 6.2.2 and clause 8.4.2
		*/
		testcase TC_DEN_MSRV_BO_08_26() runs on ItsDenm system ItsDenmSystem {

		f_DEN_MSRV_BO_08_26();

		} // End of TC_DEN_MSRV_BO_08_26

		/**
		* @desc Check that receiving ITS-S discards DENM for new event
		* if SSP value of the signing certificate is not consistent with the causeCode
		*
		* <pre>
		* PICS Selection: PICS_DENM_RECEPTION AND PICS_IS_IUT_SECURED
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* the IUT receives a secured DENM
		* containing situation container
		* containing eventType
		* containing causeCode
		* indicating 'publicTransportVehicleApproaching'
		* containing signing certificate
		* containing SSP
		* indicating version 2
		* and not permitting to send DENM
		* containing causeCode
		* indicating 'publicTransportVehicleApproaching'
		* }
		* then {
		* the IUT discards the DENM
		* and the IUT does not forward the DENM content to upper layer
		* }
		* }
		* </pre>
		*
		* @see ETSI 102 869-2 v2.1.x TP/DEN/MSRV/BV-08-24
		* @reference ETSI TS 103 831, clause 6.2.2 and clause 8.4.2
		*/
		testcase TC_DEN_MSRV_BO_08_27() runs on ItsDenm system ItsDenmSystem {

		f_DEN_MSRV_BO_08_27();

		} // End of TC_DEN_MSRV_BO_08_27

		/**
		* @desc Check that receiving ITS-S discards DENM for new event
		* if SSP value of the signing certificate is not consistent with the causeCode
		*
		* <pre>
		* PICS Selection: PICS_DENM_RECEPTION AND PICS_IS_IUT_SECURED
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* the IUT receives a secured DENM
		* containing situation container
		* containing eventType
		* containing causeCode
		* indicating 'railwayLevelCrossing'
		* containing signing certificate
		* containing SSP
		* indicating version 2
		* and not permitting to send DENM
		* containing causeCode
		* indicating 'railwayLevelCrossing'
		* }
		* then {
		* the IUT discards the DENM
		* and the IUT does not forward the DENM content to upper layer
		* }
		* }
		* </pre>
		*
		* @see ETSI 102 869-2 v2.1.x TP/DEN/MSRV/BV-08-24
		* @reference ETSI TS 103 831, clause 6.2.2 and clause 8.4.2
		*/
		testcase TC_DEN_MSRV_BO_08_28() runs on ItsDenm system ItsDenmSystem {

		f_DEN_MSRV_BO_08_28();

		} // End of TC_DEN_MSRV_BO_08_28

		/**
		* @desc Check that receiving ITS-S discards DENM for existing event
		* if SSP value of the signing certificate is not consistent with the causeCode

ItsDenm_TestControl.ttcn

+4 −0

Original line number	Diff line number	Diff line
		@@ -139,6 +139,10 @@ module ItsDenm_TestControl {
		execute(TC_DEN_MSRV_BO_08_22());
		execute(TC_DEN_MSRV_BO_08_23());
		execute(TC_DEN_MSRV_BO_08_24());
		execute(TC_DEN_MSRV_BO_08_25());
		execute(TC_DEN_MSRV_BO_08_26());
		execute(TC_DEN_MSRV_BO_08_27());
		execute(TC_DEN_MSRV_BO_08_28());

		if (PICS_RELEASE2) {
		execute(TC_DEN_MSRV_BO_09_01());

ItsDenm_TpFunctions.ttcn

+39 −0

Original line number	Diff line number	Diff line
		@@ -2371,6 +2371,7 @@ module ItsDenm_TpFunctions {
		f_DEN_SSP_BV_XX (
		PX_CERT_IUT_DENM_04,
		m_situation(CauseCodeChoice: { adverseWeatherCondition_Adhesion6 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_snowOnRoad_ }),
		m_situation(CauseCodeChoice: { adverseWeatherCondition_Adhesion6 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_snowOnRoad_ }),
		mw_sspNoAdhesion
		);
		}
		@@ -2379,6 +2380,7 @@ module ItsDenm_TpFunctions {
		f_DEN_SSP_BV_XX (
		PX_CERT_IUT_DENM_05,
		m_situation(CauseCodeChoice: { hazardousLocation_SurfaceCondition9 := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_SurfaceConditionSubCauseCode_rockfalls_ }),
		m_situation(CauseCodeChoice: { hazardousLocation_SurfaceCondition9 := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_SurfaceConditionSubCauseCode_rockfalls_ }),
		mw_sspNoSurfaceCondition
		);
		}
		@@ -2387,6 +2389,7 @@ module ItsDenm_TpFunctions {
		f_DEN_SSP_BV_XX (
		PX_CERT_IUT_DENM_06,
		m_situation(CauseCodeChoice: { hazardousLocation_ObstacleOnTheRoad10 := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_ObstacleOnTheRoadSubCauseCode_waitingVehicles_ }),
		m_situation(CauseCodeChoice: { hazardousLocation_ObstacleOnTheRoad10 := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_ObstacleOnTheRoadSubCauseCode_waitingVehicles_ }),
		mw_sspNoObstacleOnTheRoad
		);
		}
		@@ -2395,6 +2398,7 @@ module ItsDenm_TpFunctions {
		f_DEN_SSP_BV_XX (
		PX_CERT_IUT_DENM_07,
		m_situation(CauseCodeChoice: { hazardousLocation_AnimalOnTheRoad11 := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_AnimalOnTheRoadSubCauseCode_unavailable_ }),
		m_situation(CauseCodeChoice: { hazardousLocation_AnimalOnTheRoad11 := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_AnimalOnTheRoadSubCauseCode_unavailable_ }),
		mw_sspNoAnimalOnTheRoad
		);
		}
		@@ -2435,6 +2439,7 @@ module ItsDenm_TpFunctions {
		f_DEN_SSP_BV_XX (
		PX_CERT_IUT_DENM_12,
		m_situation(CauseCodeChoice: { adverseWeatherCondition_Visibility18 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_VisibilitySubCauseCode_heavyRain_ }),
		m_situation(CauseCodeChoice: { adverseWeatherCondition_Visibility18 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_VisibilitySubCauseCode_heavyRain_ }),
		mw_sspNoVisibility
		);
		}
		@@ -2443,6 +2448,7 @@ module ItsDenm_TpFunctions {
		f_DEN_SSP_BV_XX (
		PX_CERT_IUT_DENM_13,
		m_situation(CauseCodeChoice: { adverseWeatherCondition_Precipitation19 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_PrecipitationSubCauseCode_unavailable_ }),
		m_situation(CauseCodeChoice: { adverseWeatherCondition_Precipitation19 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_PrecipitationSubCauseCode_unavailable_ }),
		mw_sspNoPrecipitation
		);
		}
		@@ -2507,6 +2513,7 @@ module ItsDenm_TpFunctions {
		f_DEN_SSP_BV_XX (
		PX_CERT_IUT_DENM_21,
		m_situation(CauseCodeChoice: { hazardousLocation_DangerousCurve96 := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_DangerousCurveSubCauseCode_unavailable_ }),
		m_situation(CauseCodeChoice: { hazardousLocation_DangerousCurve96 := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_DangerousCurveSubCauseCode_unavailable_ }),
		mw_sspNoDangerousCurve
		);
		}
		@@ -3290,6 +3297,38 @@ module ItsDenm_TpFunctions {
		);
		}

		function f_DEN_MSRV_BO_08_25 () runs on ItsDenm {

		f_DEN_MSRV_BO_08_XX(
		"CERT_TS_DENM_BO_25_ATv2",
		m_situation(CauseCodeChoice: { impassability5 := LibItsCommon_ASN1_NamedNumbers.ImpassabilitySubCauseCode_flooding_ })
		);
		}

		function f_DEN_MSRV_BO_08_26 () runs on ItsDenm {

		f_DEN_MSRV_BO_08_XX(
		"CERT_TS_DENM_BO_26_ATv2",
		m_situation(CauseCodeChoice: { aquaplaning7 := LibItsCommon_ASN1_NamedNumbers.AquaplaningSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_08_27 () runs on ItsDenm {

		f_DEN_MSRV_BO_08_XX(
		"CERT_TS_DENM_BO_27_ATv2",
		m_situation(CauseCodeChoice: { publicTransportVehicleApproaching28 := LibItsCommon_ASN1_NamedNumbers.PublicTransportVehicleApproachingSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_08_28 () runs on ItsDenm {

		f_DEN_MSRV_BO_08_XX(
		"CERT_TS_DENM_BO_28_ATv2",
		m_situation(CauseCodeChoice: { railwayLevelCrossing100 := LibItsCommon_ASN1_NamedNumbers.RailwayLevelCrossingSubCauseCode_closed_ })
		);
		}

		function f_DEN_MSRV_BO_09_XX(
		in charstring p_certName,
		in template (value) SituationContainer p_situation1,

asn1 @ 3b2ef991

Original line number	Diff line number	Diff line
		Subproject commit 6200b05f13a1acc85c30639cd0ba64b4269eabe3
		Subproject commit 3b2ef991b4b23956ccd0b6e10130d2dd55c81b59