Implement DENM remaining TPs (c76d451a) · Commits · ITS - Intelligent Transport Systems / ttcn / DENM TS 102 869-3

ItsDenm_TestCases.ttcn

+1407 −15

File changed.

Preview size limit exceeded, changes collapsed.

ItsDenm_TestControl.ttcn

+40 −14

Original line number	Diff line number	Diff line
		@@ -97,11 +97,12 @@ module ItsDenm_TestControl {
		execute(TC_DEN_SSP_BV_01_22());
		execute(TC_DEN_SSP_BV_01_23());
		execute(TC_DEN_SSP_BV_01_24());
		if (PICS_RELEASE2) {
		execute(TC_DEN_SSP_BV_02_01());
		execute(TC_DEN_SSP_BV_02_02());
		execute(TC_DEN_SSP_BV_02_03());
		execute(TC_DEN_SSP_BV_02_04());

		}
		}
		}

		@@ -139,16 +140,41 @@ module ItsDenm_TestControl {
		execute(TC_DEN_MSRV_BO_08_22());
		execute(TC_DEN_MSRV_BO_08_23());
		execute(TC_DEN_MSRV_BO_08_24());
		if (PICS_RELEASE2) {
		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());
		execute(TC_DEN_MSRV_BO_09_02());
		execute(TC_DEN_MSRV_BO_09_03());
		execute(TC_DEN_MSRV_BO_09_04());
		execute(TC_DEN_MSRV_BO_09_05());
		execute(TC_DEN_MSRV_BO_09_06());
		execute(TC_DEN_MSRV_BO_09_07());
		execute(TC_DEN_MSRV_BO_09_08());
		execute(TC_DEN_MSRV_BO_09_09());
		execute(TC_DEN_MSRV_BO_09_10());
		execute(TC_DEN_MSRV_BO_09_11());
		execute(TC_DEN_MSRV_BO_09_12());
		execute(TC_DEN_MSRV_BO_09_13());
		execute(TC_DEN_MSRV_BO_09_14());
		execute(TC_DEN_MSRV_BO_09_15());
		execute(TC_DEN_MSRV_BO_09_16());
		execute(TC_DEN_MSRV_BO_09_17());
		execute(TC_DEN_MSRV_BO_09_18());
		execute(TC_DEN_MSRV_BO_09_19());
		execute(TC_DEN_MSRV_BO_09_20());
		execute(TC_DEN_MSRV_BO_09_21());
		execute(TC_DEN_MSRV_BO_09_22());
		execute(TC_DEN_MSRV_BO_09_23());
		execute(TC_DEN_MSRV_BO_09_24());
		if (PICS_RELEASE2) {
		execute(TC_DEN_MSRV_BO_09_25());
		execute(TC_DEN_MSRV_BO_09_26());
		execute(TC_DEN_MSRV_BO_09_27());
		execute(TC_DEN_MSRV_BO_09_28());
		}
		}
		if(PICS_IMPACT_REDUCTION) {

ItsDenm_TpFunctions.ttcn

+201 −11

Original line number	Diff line number	Diff line
		@@ -3412,36 +3412,226 @@ module ItsDenm_TpFunctions {
		function f_DEN_MSRV_BO_09_01 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_25_ATv2",
		m_situation(CauseCodeChoice: { impassability5 := LibItsCommon_ASN1_NamedNumbers.TrafficConditionSubCauseCode_trafficStationary_ }),
		m_situation(CauseCodeChoice: { impassability5 := LibItsCommon_ASN1_NamedNumbers.TrafficConditionSubCauseCode_trafficJamIncreasing_ })
		"CERT_TS_DENM_BO_01_AT",
		m_situation(CauseCodeChoice: { trafficCondition1 := LibItsCommon_ASN1_NamedNumbers.TrafficConditionSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_02 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_26_ATv2",
		m_situation(CauseCodeChoice: { aquaplaning7 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_VisibilitySubCauseCode_heavyRain_ }),
		m_situation(CauseCodeChoice: { aquaplaning7 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_VisibilitySubCauseCode_unavailable_ })
		"CERT_TS_DENM_BO_02_AT",
		m_situation(CauseCodeChoice: { accident2 := LibItsCommon_ASN1_NamedNumbers.AccidentSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_03 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_27_ATv2",
		m_situation(CauseCodeChoice: { publicTransportVehicleApproaching28 := LibItsCommon_ASN1_NamedNumbers.EmergencyVehicleApproachingSubCauseCode_emergencyVehicleApproaching_ }),
		m_situation(CauseCodeChoice: { publicTransportVehicleApproaching28 := LibItsCommon_ASN1_NamedNumbers.EmergencyVehicleApproachingSubCauseCode_prioritizedVehicleApproaching_ })
		"CERT_TS_DENM_BO_03_AT",
		m_situation(CauseCodeChoice: { roadworks3 := LibItsCommon_ASN1_NamedNumbers.RoadworksSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_04 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_04_AT",
		m_situation(CauseCodeChoice: { adverseWeatherCondition_Adhesion6 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_05 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_05_AT",
		m_situation(CauseCodeChoice: { hazardousLocation_SurfaceCondition9 := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_SurfaceConditionSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_06 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_06_AT",
		m_situation(CauseCodeChoice: { hazardousLocation_ObstacleOnTheRoad10 := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_ObstacleOnTheRoadSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_07 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_07_AT",
		m_situation(CauseCodeChoice: { hazardousLocation_AnimalOnTheRoad11 := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_AnimalOnTheRoadSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_08 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_08_AT",
		m_situation(CauseCodeChoice: { humanPresenceOnTheRoad12 := LibItsCommon_ASN1_NamedNumbers.HumanPresenceOnTheRoadSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_09 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_09_AT",
		m_situation(CauseCodeChoice: { wrongWayDriving14 := LibItsCommon_ASN1_NamedNumbers.WrongWayDrivingSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_10 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_10_AT",
		m_situation(CauseCodeChoice: { rescueAndRecoveryWorkInProgress15 := LibItsCommon_ASN1_NamedNumbers.RescueAndRecoveryWorkInProgressSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_11 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_11_AT",
		m_situation(CauseCodeChoice: { adverseWeatherCondition_ExtremeWeatherCondition17 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_ExtremeWeatherConditionSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_12 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_12_AT",
		m_situation(CauseCodeChoice: { adverseWeatherCondition_Visibility18 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_VisibilitySubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_13 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_13_AT",
		m_situation(CauseCodeChoice: { adverseWeatherCondition_Precipitation19 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_PrecipitationSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_14 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_14_AT",
		m_situation(CauseCodeChoice: { slowVehicle26 := LibItsCommon_ASN1_NamedNumbers.SlowVehicleSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_15 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_15_AT",
		m_situation(CauseCodeChoice: { dangerousEndOfQueue27 := LibItsCommon_ASN1_NamedNumbers.DangerousEndOfQueueSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_16 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_16_AT",
		m_situation(CauseCodeChoice: { vehicleBreakdown91 := LibItsCommon_ASN1_NamedNumbers.VehicleBreakdownSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_17 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_17_AT",
		m_situation(CauseCodeChoice: { postCrash92 := LibItsCommon_ASN1_NamedNumbers.PostCrashSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_18 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_18_AT",
		m_situation(CauseCodeChoice: { humanProblem93 := LibItsCommon_ASN1_NamedNumbers.HumanProblemSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_19 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_19_AT",
		m_situation(CauseCodeChoice: { stationaryVehicle94 := LibItsCommon_ASN1_NamedNumbers.StationaryVehicleSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_20 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_20_AT",
		m_situation(CauseCodeChoice: { emergencyVehicleApproaching95 := LibItsCommon_ASN1_NamedNumbers.EmergencyVehicleApproachingSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_21 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_21_AT",
		m_situation(CauseCodeChoice: { hazardousLocation_DangerousCurve96 := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_DangerousCurveSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_22 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_22_AT",
		m_situation(CauseCodeChoice: { collisionRisk97 := LibItsCommon_ASN1_NamedNumbers.CollisionRiskSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_23 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_23_AT",
		m_situation(CauseCodeChoice: { signalViolation98 := LibItsCommon_ASN1_NamedNumbers.SignalViolationSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_24 () runs on ItsDenm {

		f_DEN_MSRV_BO_09_XX(
		"CERT_TS_DENM_BO_24_AT",
		m_situation(CauseCodeChoice: { dangerousSituation99 := LibItsCommon_ASN1_NamedNumbers.DangerousSituationSubCauseCode_unavailable_ })
		);
		}

		function f_DEN_MSRV_BO_09_25 () runs on ItsDenm {

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

		function f_DEN_MSRV_BO_09_26 () runs on ItsDenm {

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

		function f_DEN_MSRV_BO_09_27 () runs on ItsDenm {

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

		function f_DEN_MSRV_BO_09_28 () 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_ })
		m_situation(CauseCodeChoice: { railwayLevelCrossing100 := LibItsCommon_ASN1_NamedNumbers.RailwayLevelCrossingSubCauseCode_unguarded_ }),
		m_situation(CauseCodeChoice: { railwayLevelCrossing100 := LibItsCommon_ASN1_NamedNumbers.RailwayLevelCrossingSubCauseCode_closed_ })
		);
		}