Review PIXITs; Review TC_NGAP_AMF_IMP_01_xx (0dad112d) · Commits · INT - Core Network and Interoperability Testing / 5G Core / NAS

NAS_ETSI.code-workspace

+0 −3

Original line number	Diff line number	Diff line
		@@ -11,9 +11,6 @@
		},
		{
		"path": "../UERANSIM"
		},
		{
		"path": "../osmo-ttcn3-hacks"
		}
		],
		"settings": {

etc/AtsNGAP/AtsNGAP_AMF_open5gs.cfg_

+2 −2

Original line number	Diff line number	Diff line
		@@ -114,7 +114,7 @@ system.NGAP_AMF.params := "NGAP/SCTP(server=127.0.0.5,port=38412,debug=1)"
		# Verify that the IUT successfully receives and processes the PDU_SESSION_RESOURCE_SETUP_RESPONSE message and completes the PDU Session Resource Setup procedure for a single PDU_Session_Resource.
		#NGAP_TestCases.TC_NGAP_AMF_PDU_01_02
		# Verify that the IUT can send a PDU_SESSION_RESOURCE_RELEASE_COMMAND to release PDU session.
		NGAP_TestCases.TC_NGAP_AMF_PDU_02
		#NGAP_TestCases.TC_NGAP_AMF_PDU_02
		# Verify that the IUT successfully receives and processes the PDU_SESSION_RESOURCE_RELEASE_RESPONSE message and completes the PDU Session Resource Release procedure for a single PDU_Session_Resource.
		#NGAP_TestCases.TC_NGAP_AMF_PDU_02_02
		# Verify that the IUT can send a PDU_SESSION_RESOURCE_MODIFY_REQUEST to modify PDU session.
		@@ -180,7 +180,7 @@ NGAP_TestCases.TC_NGAP_AMF_PDU_02
		# Verify that the AMF node successfully processes a NG SETUP REQEST message with optional field UE Retention Information and answers with NG SETUP RESPONSE to acknowledge the setup.
		#NGAP_TestCases.TC_NGAP_AMF_IMP_03
		# Verify that the AMF node successfully processes a NG SETUP REQEST message with different optional fields and answers with NG SETUP RESPONSE to acknowledge the setup.
		#NGAP_TestCases.TC_NGAP_AMF_IMP_04
		NGAP_TestCases.TC_NGAP_AMF_IMP_04
		# Verify that the AMF node successfully processes a RAN_CONFIGURATION_UPDATE message containing new slice with RAN_CONFIGURATION_UPDATE_ACKNOWLEDGE to acknowledge the update with supported slice at AMF.
		#NGAP_TestCases.TC_NGAP_AMF_IMP_05
		# Verify that the AMF node successfully declines a RAN CONFIGURATION UPDATE message with RAN CONFIGURATION UPDATE FAILURE when the AMF is not able to handle the request.

ttcn/AtsNGAP/NGAP_TCFunctions.ttcn

+69 −66

Original line number	Diff line number	Diff line
		@@ -5476,8 +5476,8 @@ module NGAP_TCFunctions {
		{
		m_sliceSupportItem(
		m_s_NSSAI(
		PX_SST/*,
		PX_SD*/
		PX_SST,
		PX_SD
		)
		)
		})
		@@ -5524,12 +5524,13 @@ module NGAP_TCFunctions {
		// Send NGSetupRequest
		f_send_NGAP_PDU(
		m_ngap_initMsg(
		m_n2_NGSetupRequest(
		m_n2_NGSetupRequest_RanNodeName_ExtRanNodeName(
		m_globalRANNodeID_globalGNB_ID(
		m_ie_globalGnbId(
		fl_NasNN_MCC2PlmnId(PX_NAS_MCC, PX_NAS_MNC),
		PX_GNB_ID
		)),
		PX_RAN_NODE_NAME,
		{
		m_supportedTAItem(
		PX_TACode,
		@@ -5545,8 +5546,11 @@ module NGAP_TCFunctions {
		})
		})
		},
		PX_PAGING_DRX
		)));
		PX_PAGING_DRX,
		m_extended_RANNodeName(
		"RANNodeNameVisibleString"/*,
		oct2unichar(char2oct("NodeName"))*/ // Dynamic test case error: Internal error: While PER-encoding type '@NGAP-PDU-Descriptions.NGAP-PDU': No BER descriptor available for type '@NGAP-IEs.Extended-RANNodeName.rANNodeNameUTF8String'
		))));
		// Await NGSetupResponse
		f_recv_NGAP_PDU(
		mw_ngap_succMsg(
		@@ -5586,12 +5590,13 @@ module NGAP_TCFunctions {
		// Send NGSetupRequest
		f_send_NGAP_PDU(
		m_ngap_initMsg(
		m_n2_NGSetupRequest(
		m_n2_NGSetupRequest_RanNodeName(
		m_globalRANNodeID_globalGNB_ID(
		m_ie_globalGnbId(
		fl_NasNN_MCC2PlmnId(PX_NAS_MCC, PX_NAS_MNC),
		PX_GNB_ID
		)),
		-,
		{
		m_supportedTAItem(
		PX_TACode,
		@@ -5610,7 +5615,6 @@ module NGAP_TCFunctions {
		PX_PAGING_DRX
		)));
		// Await NGSetupResponse

		f_recv_NGAP_PDU(
		mw_ngap_succMsg(
		mw_n2_NGSetupResponse_iab(
		@@ -5622,8 +5626,8 @@ module NGAP_TCFunctions {
		fl_NasNN_MCC2PlmnId(PX_NAS_MCC, PX_NAS_MNC)
		)),
		*

		},-,-,m_iAB_Supported(-)
		},
		1
		)));
		f_selfOrClientSyncAndVerdict(c_tbDone, f_getVerdict());
		log("* " & __SCOPE__ & ": INFO: Testbody done. *");
		@@ -5833,7 +5837,6 @@ module NGAP_TCFunctions {
		)
		},
		PX_PAGING_DRX,
		m_nB_IoT_DefaultPagingDRX,
		m_extended_RANNodeName(
		"RANNodeNameVisibleString"/*,
		oct2unichar(char2oct("NodeName"))*/ // Dynamic test case error: Internal error: While PER-encoding type '@NGAP-PDU-Descriptions.NGAP-PDU': No BER descriptor available for type '@NGAP-IEs.Extended-RANNodeName.rANNodeNameUTF8String'

ttcn/LibNGAP/lib/LibNGAP_Pixits.ttcn

+62 −8

Original line number	Diff line number	Diff line
		@@ -259,20 +259,12 @@ module LibNGAP_Pixits {
		*/
		modulepar CauseRadioNetwork PX_AMF_CONFIGURATION_UPDATE_FAILURE := unspecified;


		modulepar CauseTransport PX_xxx_1 := unspecified;

		modulepar CauseProtocol PX_xxx_2 := unspecified;

		/**
		* @desc To indicate the reason for a particular event for the NGAP protocol
		* @see ETSI TS 138 413 V16.12.0 (2023-05) Clause 9.3.1.2 Cause
		*/
		modulepar CauseNas PX_CAUSE_NAS_NON_DELIVERY_INDICATION := unspecified;

		modulepar CauseMisc PX_xxx_4 := unspecified;


		/**
		* @desc To indicate the RRC state of the UE
		* @see ETSI TS 138 413 V16.12.0 (2023-05) Clause 9.3.1.92 RRC State
		@@ -369,8 +361,16 @@ module LibNGAP_Pixits {
		*/
		modulepar EUTRAintegrityProtectionAlgorithms PX_EUTRA_INTEGRITY_PROTECTION_ALGORITHMS := oct2bit('e000'O);

		/**
		* @desc Serves as a counter that tracks how many NH key derivations have been performed from the initial root key
		* @see ETSI TS 133 501 V16.12.0 (2023-05) Clause 7.2.2 E-UTRAN key identification
		*/
		modulepar NextHopChainingCount PX_NEXT_HOP_CHAINING_COUNT := 0;

		/**
		* @desc Intermediate key derived by the UE and Core Network (MME/AMF) to provide forward security
		* @see ETSI TS 133 501 V16.12.0 (2023-05)
		*/
		modulepar SecurityKey PX_NEXT_HOP_NH := int2bit(0, 256);

		/**
		@@ -421,32 +421,86 @@ module LibNGAP_Pixits {
		*/
		modulepar NumberOfBroadcastsRequested PX_NUMBER_OF_BROADCASTS_REQUESTED := 4;

		/**
		* @desc Transparent NAS container
		*/
		modulepar octetstring PX_SOURCE_TO_TARGET_TRANSPARENT_CONTAINER;

		/**
		* @desc Uniquely and globally identify a tracking area within the Evolved Packet System
		* @see ETSI TS 138 413 V16.12.0 (2023-05) Clause 9.3.3.16 EPS TAC
		*/
		modulepar EPS_TAC PX_EPS_TAC := '0000'O;

		/**
		* @desc Uniquely identify a Next Generation Evolved Node-B (ng-eNB)
		* @see ETSI TS 133 501 V16.12.0 (2023-05)
		*/
		modulepar Bit20 PX_MACRO_NGENB_ID;

		/**
		* @desc Uniquely identify a Next Generation Evolved Node-B (ng-eNB)
		* @see ETSI TS 133 501 V16.12.0 (2023-05)
		*/
		modulepar Bit18 PX_SHORT_MACRO_NGENB_ID;

		/**
		* @desc Uniquely identify a Next Generation Evolved Node-B (ng-eNB)
		* @see ETSI TS 133 501 V16.12.0 (2023-05)
		*/
		modulepar Bit21 PX_LONG_MACRO_NGENB_ID;

		/**
		* @desc Used by the NG-RAN node to calculate the Paging Frame for a specific User Equipment
		* @see ETSI TS 138 413 V16.12.0 (2023-05) Clause 9.3.3.23 UE Identity Index Value
		*/
		modulepar Bit10 PX_UE_IDENTITY_INDEX_VALUE;

		/**
		* @desc Used within the 5G NG Application Protocol (NGAP) to assist the NG-RAN node in managing mobility for User Equipment (UE) in the RRC_INACTIVE state
		* @see ETSI TS 138 413 V16.12.0 (2023-05) Clause 9.3.3.24 Periodic Registration Update Timer
		*/
		modulepar PeriodicRegistrationUpdateTimer PX_PERIODIC_REGISTRATION_UPDATE_TIMER;

		/**
		* @desc Used to uniquely identify a trace session for a specific User Equipment
		* @see ETSI TS 138 413 V16.12.0 (2023-05) Clause 9.2.10.1 Trace Start
		*/
		modulepar NGRANTraceID PX_NGRAN_TRACE_ID;

		/**
		* @desc Used to specify which NG-RAN node interfaces should be monitored during a trace session
		* @see ETSI TS 138 413 V16.12.0 (2023-05) Clause 9.3.1.14 Trace Activation
		*/
		modulepar InterfacesToTrace PX_INTERFACES_TO_TRACE;

		/**
		* @desc Serves as a compact identifier that represents a specific set of UE radio capabilities
		* @see ETSI TS 124 301 V16.09.0 (2023-05) Clause 5.3.20
		*/
		modulepar UERadioCapabilityID PX_U_E_RADIO_CAPABILITY_ID;

		/**
		* @desc Used to indicate the minimum time the RAN should keep the User Equipment (UE) in the RRC_CONNECTED state
		* @see ETSI TS 138 413 V16.12.0 (2023-05)
		*/
		modulepar Extended_ConnectedTime PX_EXTENDED_CONNECTED_TIME;

		/**
		* @desc Used in the 5G NG Application Protocol (NGAP) to provide the radio access network with the aggregate maximum bit rate for a User Equipment's (UE) sidelink communication (V2X)
		* @see ETSI TS 138 413 V16.12.0 (2023-05) Clause 9.3.1.149 LTE UE Sidelink Aggregate Maximum Bit Rate
		*/
		modulepar BitRate PX_UE_SIDELINK_AGGREGATE_MAXIMUM_BIT_RATE;

		/**
		* @desc Used in 5G systems to identify specific Quality of Service (QoS) characteristics to be provided for a QoS flow
		* @see ETSI TS 124 501 V16.14.0 (2023-05)
		*/
		modulepar FiveQI PX_FIVE_QI;

		/**
		* @desc gNodeB identifier
		*/
		modulepar bitstring PX_GNB_ID := '10101010101010101010101010101010'B;

		/**

ttcn/LibNGAP/lib/LibNGAP_Templates.ttcn

+122 −52

Original line number	Diff line number	Diff line
		@@ -6006,11 +6006,11 @@ module LibNGAP_Templates {
		}
		} // End of template m_n2_NGSetupRequest_UERetentionInf

		template (value) InitiatingMessage m_n2_NGSetupRequest_ExtRanNodeName(
		template (value) InitiatingMessage m_n2_NGSetupRequest_RanNodeName_ExtRanNodeName(
		in template (value) GlobalRANNodeID p_globalRANNodeID,
		in template (value) RANNodeName p_ranNodeName := PX_RAN_NODE_NAME,
		in template (value) SupportedTAList p_supportedTAs,
		in template (value) PagingDRX p_pagingDRX := PX_PAGING_DRX,
		in template (value) NB_IoT_DefaultPagingDRX p_nbIotDefPagDrx,
		in template (value) Extended_RANNodeName p_extRanNodeName
		) := {
		procedureCode := id_NGSetup,
		@@ -6024,6 +6024,50 @@ module LibNGAP_Templates {
		value_ := { GlobalRANNodeID := p_globalRANNodeID }
		},
		{
		id := id_RANNodeName,
		criticality := reject,
		value_ := { RANNodeName := p_ranNodeName }
		},{
		id := id_SupportedTAList,
		criticality := reject,
		value_ := { SupportedTAList := p_supportedTAs }
		},
		{
		id := id_DefaultPagingDRX,
		criticality := ignore,
		value_ := { PagingDRX := p_pagingDRX }
		},
		{
		id := id_Extended_RANNodeName,
		criticality := ignore,
		value_ := { Extended_RANNodeName := p_extRanNodeName }
		}
		}
		}
		}
		} // End of template m_n2_NGSetupRequest_ExtRanNodeName

		template (value) InitiatingMessage m_n2_NGSetupRequest_RanNodeName(
		in template (value) GlobalRANNodeID p_globalRANNodeID,
		in template (value) RANNodeName p_ranNodeName := PX_RAN_NODE_NAME,
		in template (value) SupportedTAList p_supportedTAs,
		in template (value) PagingDRX p_pagingDRX := PX_PAGING_DRX
		) := {
		procedureCode := id_NGSetup,
		criticality := reject,
		value_ := {
		NGSetupRequest := {
		protocolIEs := {
		{
		id := id_GlobalRANNodeID,
		criticality := reject,
		value_ := { GlobalRANNodeID := p_globalRANNodeID }
		},
		{
		id := id_RANNodeName,
		criticality := reject,
		value_ := { RANNodeName := p_ranNodeName }
		},{
		id := id_SupportedTAList,
		criticality := reject,
		value_ := { SupportedTAList := p_supportedTAs }
		@@ -6032,11 +6076,37 @@ module LibNGAP_Templates {
		id := id_DefaultPagingDRX,
		criticality := ignore,
		value_ := { PagingDRX := p_pagingDRX }
		}
		}
		}
		}
		} // End of template m_n2_NGSetupRequest_RanNodeName

		template (value) InitiatingMessage m_n2_NGSetupRequest_ExtRanNodeName(
		in template (value) GlobalRANNodeID p_globalRANNodeID,
		in template (value) SupportedTAList p_supportedTAs,
		in template (value) PagingDRX p_pagingDRX := PX_PAGING_DRX,
		in template (value) Extended_RANNodeName p_extRanNodeName
		) := {
		procedureCode := id_NGSetup,
		criticality := reject,
		value_ := {
		NGSetupRequest := {
		protocolIEs := {
		{
		id := id_GlobalRANNodeID,
		criticality := reject,
		value_ := { GlobalRANNodeID := p_globalRANNodeID }
		},
		{
		id := id_SupportedTAList,
		criticality := reject,
		value_ := { SupportedTAList := p_supportedTAs }
		},
		{
		id := id_NB_IoT_DefaultPagingDRX,
		id := id_DefaultPagingDRX,
		criticality := ignore,
		value_ := { NB_IoT_DefaultPagingDRX := p_nbIotDefPagDrx }
		value_ := { PagingDRX := p_pagingDRX }
		},
		{
		id := id_Extended_RANNodeName,