accept Martti's change to import more data instances (6649f275) · Commits · TDL Open Source / TDL Examples

importer-examples/tdl_ngap/src/tdl/NGAP_Common.tdltx

+8 −5

Original line number	Diff line number	Diff line
		Package NGAP_Common {

		Import all from TDL
		Import all from NGAP.NGAP_PDU_Descriptions
		Import all from NGAP.NGAP_PDU_Contents


		// Configurations

		Entity UE
		Entity GNB
		Entity AMF
		Entity IUT
		// Entity UE
		// Entity GNB
		// Entity AMF
		// Entity IUT

		Type NgapMessage
		Message Gate Ngap_Port accepts NgapMessage
		Message Gate Ngap_Port accepts SuccessfulOutcome, NGSetupRequest, NGSetupResponse, PDUSessionResourceSetupRequest, InitialUEMessage

		Component node {
		gate Ngap_Port g

+8 −1

Original line number	Diff line number	Diff line
		@@ -61,7 +61,14 @@ Package TPD_GNB_NGAP {
		Expected behaviour
		ensure that {
		when {
		perform action: "The TNL connection establishment completes."
		//perform action: "The TNL connection establishment completes."
		IUT::g sends NGSetupRequest(
		protocolIEs = [

		iE_GlobalRANNodeID (value = NGSetupRequestIEs_ValueChoice( globalRANNodeID = ?))
		]

		) to AMF::g
		}
		then {
		IUT::g sends NGSetupRequest(

+3 −3

Original line number	Diff line number	Diff line
		@@ -49,10 +49,10 @@ Package TP_GNB_NGAP {
		Expected behaviour
		ensure that {
		when {
		the IUT entity hasSuccessfullyEstablishedTNLconnection
		the IUT component hasSuccessfullyEstablishedTNLconnection
		}
		then {
		the IUT entity sends a NGSetupRequest containing {
		the IUT component sends a NGSetupRequest containing {
		protocolIEs containing {
		iE_GlobalRANNodeID containing {
		value containing {
		@@ -93,7 +93,7 @@ Package TP_GNB_NGAP {
		}
		}
		}
		to the AMF entity
		to the AMF component
		}
		}
		} // end TP TP_NGAP_GNB_IMP_01

+8 −3

Original line number	Diff line number	Diff line
		@@ -35,10 +35,15 @@ Package TP_GNB_NGAP {
		Expected behaviour
		ensure that {
		when {
		the IUT entity hasSuccessfullyEstablishedTNLconnection
		//the IUT component hasSuccessfullyEstablishedTNLconnection
		the IUT component sends a # InitialUEMessage containing {
		protocolIEs including {
		iE_NAS_PDU_4 containing { value = ? }
		}
		}
		}
		then {
		the IUT entity sends a # NGSetupRequest containing {
		the IUT component sends a # NGSetupRequest containing {
		protocolIEs including {
		iE_GlobalRANNodeID containing {
		criticality = ?,
		@@ -48,7 +53,7 @@ Package TP_GNB_NGAP {
		}
		}

		} to the AMF entity
		} to the AMF component

		}