revised section Interface Management Procedures and initial conditions (45c1b9c5) · Commits · INT - Core Network and Interoperability Testing / 5G Core / NGAP

test_purposes/Ngap_Common.tplan2

+7 −0

Original line number	Original line	Diff line number	Diff line
	@@ -48,6 +48,11 @@ Package Ngap_Common {
	- PICS_A3/5_1 //gNB - Transport of NAS Messages Procedures - INITIAL UE MESSAGE		- PICS_A3/5_1 //gNB - Transport of NAS Messages Procedures - INITIAL UE MESSAGE
	- PICS_A3/5_3 //gNB - Transport of NAS Messages Procedures - UPLINK NAS TRANSPORT		- PICS_A3/5_3 //gNB - Transport of NAS Messages Procedures - UPLINK NAS TRANSPORT
	- PICS_A3/5_4 //gNB - Transport of NAS Messages Procedures - NAS NON DELIVERY INDICATION		- PICS_A3/5_4 //gNB - Transport of NAS Messages Procedures - NAS NON DELIVERY INDICATION
			- PICS_A3/6_1 //gNB - Interface Management Procedures - NG SETUP REQUEST
			- PICS_A3/6_2 //gNB - Interface Management Procedures - RAN CONFIGURATION UPDATE
			- PICS_A3/6_3 //gNB - Interface Management Procedures - AMF CONFIGURATION UPDATE
			- PICS_A3/6_4 //gNB - Interface Management Procedures - NG RESET
			- PICS_A3/6_5 //gNB - Interface Management Procedures - ERROR INDICATION
	- PICS_A3/7_1 //gNB - Configuration Transfer Procedures - UPLINK RAN CONFIGURATION TRANSFER		- PICS_A3/7_1 //gNB - Configuration Transfer Procedures - UPLINK RAN CONFIGURATION TRANSFER
	- PICS_A3/8_1 //gNB - Warning Message Transmission procedure - WRITE-REPLACE WARNING REQUEST		- PICS_A3/8_1 //gNB - Warning Message Transmission procedure - WRITE-REPLACE WARNING REQUEST
	- PICS_A3/8_2 //gNB - Warning Message Transmission procedure - PWS CANCEL REQUEST		- PICS_A3/8_2 //gNB - Warning Message Transmission procedure - PWS CANCEL REQUEST
	@@ -163,6 +168,8 @@ Package Ngap_Common {
	- hasReceived200OkCancel		- hasReceived200OkCancel
	- hasReceivedTerminatedRequest		- hasReceivedTerminatedRequest
	- hasReceivedNASMessage		- hasReceivedNASMessage
			- hasReceivedPAGINGMessage
			- hasReceivedOVERLOADSTARTtMessage
	- hasSuspendedContext		- hasSuspendedContext
	- hasPendingDataTransmission		- hasPendingDataTransmission
	- registeredPublicIdsWithTelUriAndSipUri		- registeredPublicIdsWithTelUriAndSipUri

test_purposes/ngap/TP_AMF_NGAP2.tplan2

+49 −39

Original line number	Original line	Diff line number	Diff line
	@@ -1357,7 +1357,7 @@ Package TP_AMF {
	PICS Selection PICS_A2/2 and PICS_A4/6_1		PICS Selection PICS_A2/2 and PICS_A4/6_1

	Initial conditions with {		Initial conditions with {
	the UE entity isRegisteredTo the AMF // TODO: check initial conditions		the UE entity hasEstablishedRRCConnection
	}		}

	Expected behaviour		Expected behaviour
	@@ -1417,8 +1417,7 @@ Package TP_AMF {
	PICS Selection PICS_A2/2 and PICS_A4/6_1		PICS Selection PICS_A2/2 and PICS_A4/6_1

	Initial conditions with {		Initial conditions with {
	the UE entity isRegisteredTo the AMF // TODO: check initial conditions		the UE entity hasEstablishedRRCConnection
	// AMF cannot accept the setup
	}		}

	Expected behaviour		Expected behaviour
	@@ -1428,7 +1427,7 @@ Package TP_AMF {
	Global_RAN_Node_ID,		Global_RAN_Node_ID,
	Supported_TA_List containing		Supported_TA_List containing
	Supported_TA_Item containing		Supported_TA_Item containing
	TAC,		TAC, // Implementation note: The TAC in the NG Setup Request message does not match the TAC of the AMF.
	Broadcast_PLMN_List containing		Broadcast_PLMN_List containing
	Broadcast_PLMN_Item containing		Broadcast_PLMN_Item containing
	PLMN_Identity,		PLMN_Identity,
	@@ -1471,8 +1470,8 @@ Package TP_AMF {
	PICS Selection PICS_A2/2 and PICS_A4/6_2		PICS Selection PICS_A2/2 and PICS_A4/6_2

	Initial conditions with {		Initial conditions with {
	the UE entity isRegisteredTo the AMF // TODO: check initial conditions		the UE entity isRegisteredTo the AMF
	// AMF cannot accept the setup
	}		}

	Expected behaviour		Expected behaviour
	@@ -1480,7 +1479,7 @@ Package TP_AMF {
	when {		when {
	the IUT entity receives a RAN_CONFIGURATION_UPDATE containing		the IUT entity receives a RAN_CONFIGURATION_UPDATE containing
	Supported_TA_List containing		Supported_TA_List containing
	Supported_TA_Item containing		Supported_TA_Item containing // Implementation note: e.g. TA List is updated due to UE moving into a new TA
	TAC,		TAC,
	Broadcast_PLMN_List containing		Broadcast_PLMN_List containing
	Broadcast_PLMN_Item containing		Broadcast_PLMN_Item containing
	@@ -1515,8 +1514,7 @@ Package TP_AMF {
	PICS Selection PICS_A2/2 and PICS_A4/6_2		PICS Selection PICS_A2/2 and PICS_A4/6_2

	Initial conditions with {		Initial conditions with {
	the UE entity isRegisteredTo the AMF // TODO: check initial conditions		the UE entity isRegisteredTo the AMF
	// AMF cannot accept the setup
	}		}

	Expected behaviour		Expected behaviour
	@@ -1524,8 +1522,8 @@ Package TP_AMF {
	when {		when {
	the IUT entity receives a RAN_CONFIGURATION_UPDATE containing		the IUT entity receives a RAN_CONFIGURATION_UPDATE containing
	Supported_TA_List containing		Supported_TA_List containing
	Supported_TA_Item containing		Supported_TA_Item containing // Implementation note: e.g. TA List is updated due to UE moving into a new TA
	TAC,		TAC, // Implementation note: The TAC in the NG Setup Request message does not match the TAC of the AMF.
	Broadcast_PLMN_List containing		Broadcast_PLMN_List containing
	Broadcast_PLMN_Item containing		Broadcast_PLMN_Item containing
	PLMN_Identity,		PLMN_Identity,
	@@ -1556,7 +1554,7 @@ Package TP_AMF {

	TP Id TP_NGAP_AMF_IMP_05		TP Id TP_NGAP_AMF_IMP_05

	Test objective "Verify that the AMF node successfully processes a AMF CONFIGURATION UPDATE message with AMF CONFIGURATION UPDATE ACKNOWLEDGE to acknowledge the update."		Test objective "Verify that the IUT can send a AMF CONFIGURATION UPDATE message to the AMF."

	Reference		Reference
	"ETSI TS 138 413 [1], Clauses 8.7.3.2"		"ETSI TS 138 413 [1], Clauses 8.7.3.2"
	@@ -1566,13 +1564,18 @@ Package TP_AMF {
	PICS Selection PICS_A2/2 and PICS_A4/6_3		PICS Selection PICS_A2/2 and PICS_A4/6_3

	Initial conditions with {		Initial conditions with {
	the UE entity isRegisteredTo the AMF // TODO: check initial conditions		the UE entity isRegisteredTo the AMF and
			the UE entity isCMIDLE and
			the UE entity hasReceivedPAGINGMessage
	}		}

	Expected behaviour		Expected behaviour
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a AMF_CONFIGURATION_UPDATE containing		the IUT entity indicate the initiation "of a AMF CONFIGURATION UPDATE procedure"
			}
			then {
			the IUT entity sends a AMF_CONFIGURATION_UPDATE containing
	Served_GUAMI_List containing		Served_GUAMI_List containing
	Served_GUAMI_Item containing		Served_GUAMI_Item containing
	GUAMI		GUAMI
	@@ -1596,25 +1599,17 @@ Package TP_AMF {
	;		;
	;		;
	;		;
	from the GNB entity
	}
	then {
	the IUT entity sends a AMF_CONFIGURATION_UPDATE_ACKNOWLEDGE containing
	AMF_TNL_Association_Setup_List containing
	AMF_TNL_Association_Setup_Item containing
	AMF_TNL_Association_Address
	;
	;
	;
	to the GNB entity		to the GNB entity
	}		}

	}		}


	} // end TP TP_NGAP_AMF_IMP_05		} // end TP TP_NGAP_AMF_IMP_05

	} // End Group "AMF Configuration Update"		} // End Group "AMF Configuration Update"

	Group "NG Reset" //XX		Group "NG Reset"
	{		{
	import all from Ngap_Common;		import all from Ngap_Common;

	@@ -1625,14 +1620,15 @@ Package TP_AMF {
	Test objective "Verify that the AMF node successfully processes a NG RESET message that contains mandatory IEs and answers with NG RESET ACKNOWLEDGE to acknowledge the reset."		Test objective "Verify that the AMF node successfully processes a NG RESET message that contains mandatory IEs and answers with NG RESET ACKNOWLEDGE to acknowledge the reset."

	Reference		Reference
	"ETSI TS 138 413 [1], Clauses 8.7.4.2.1"		"ETSI TS 138 413 [1], Clauses 8.7.4.2.2"

	Config Id CFG_AMF_01		Config Id CFG_AMF_01

	PICS Selection PICS_A2/2 and PICS_A4/6_4		PICS Selection PICS_A2/2 and PICS_A4/6_4

	Initial conditions with {		Initial conditions with {
	the UE entity isRegisteredTo the AMF // TODO: check initial conditions		the UE entity isRegisteredTo the AMF and
			the UE entity isRequestedToDetachfromNetwork
	}		}

	Expected behaviour		Expected behaviour
	@@ -1677,12 +1673,28 @@ Package TP_AMF {

	Initial conditions with {		Initial conditions with {
	the UE entity isRegisteredTo the AMF		the UE entity isRegisteredTo the AMF

	}		}

	Expected behaviour		Expected behaviour
	ensure that {		ensure that {
	when {		when {
	the IUT entity indicate a ERROR INDICATION		the IUT entity sends a INITIAL_CONTEXT_SETUP_REQUEST containing
			AMF_UE_NGAP_ID,
			RAN_UE_NGAP_ID,
			GUAMI,
			PDU_Session_Resource_Setup_Request_List containing
			PDU_Session_Resource_Setup_Request_Item containing
			PDU_SessionId indicating value PX_PDU_ID,
			S_NSSAI,
			PDU_Session_Resource_Setup_Request_Transfer
			;
			;,
			Allowed_NSSAI,
			UE_Security_Capabilities, // Implementation Node: use a not supported security key
			Security_Key
			;
			from the GNB entity
	}		}
	then {		then {
	the IUT entity sends a ERROR_INDICATION		the IUT entity sends a ERROR_INDICATION
	@@ -1691,7 +1703,7 @@ Package TP_AMF {
	}		}

	} // end TP_NGAP_AMF_IMP_07		} // end TP_NGAP_AMF_IMP_07
	}		} // End Group Error Indication

	Group "AMF Status Indication"		Group "AMF Status Indication"
	{		{
	@@ -1752,9 +1764,7 @@ Package TP_AMF {

	PICS Selection PICS_A2/2 and PICS_A4/6_7		PICS Selection PICS_A2/2 and PICS_A4/6_7

	Initial conditions with {		// No initial conditions
	the UE entity isRegisteredTo the AMF
	}

	Expected behaviour		Expected behaviour
	ensure that {		ensure that {
	@@ -1794,7 +1804,7 @@ Package TP_AMF {
	PICS Selection PICS_A2/2 and PICS_A4/6_8		PICS Selection PICS_A2/2 and PICS_A4/6_8

	Initial conditions with {		Initial conditions with {
	the UE entity isRegisteredTo the AMF		the GNB entity hasReceivedOVERLOADSTARTtMessage
	}		}

	Expected behaviour		Expected behaviour

test_purposes/ngap/TP_GNB_NGAP.tplan2

+247 −0

Original line number	Original line	Diff line number	Diff line
	@@ -1519,8 +1519,255 @@ Package TP_GNB {
	{		{
	Group "NG Setup"		Group "NG Setup"
	{		{
			import all from Ngap_Common;

			Test Purpose {

			TP Id TP_NGAP_GNB_IMP_01

			Test objective "Verify that the GNB node successfully sends a NG SETUP REQEST message to the AMF."

			Reference
			"ETSI TS 138 413 [1], Clauses 8.7.1.2"

			Config Id CFG_GNB_01

			PICS Selection PICS_A2/1 and PICS_A3/6_1

			Initial conditions with {
			the UE entity hasEstablishedRRCConnection
			}

			Expected behaviour
			ensure that {
			when {
			the IUT entity indicate the initiation "of a NG SETUP REQUEST"
			}
			then {
			the IUT entity sends a NG_SETUP_REQUEST containing
			Global_RAN_Node_ID,
			Supported_TA_List containing
			Supported_TA_Item containing
			TAC,
			Broadcast_PLMN_List containing
			Broadcast_PLMN_Item containing
			PLMN_Identity,
			TAI_Slice_Support_List
			;
			;
			;
			;,
			Default_Paging_DRX
			;
			to the AMF entity
			}

			}

			} // end TP TP_NGAP_GNB_IMP_01
	} // End Group "NG Setup"		} // End Group "NG Setup"

			Group "RAN Configuration Update"
			{
			import all from Ngap_Common;

			Test Purpose {

			TP Id TP_NGAP_GNB_IMP_02

			Test objective "Verify that the IUT can send a RAN CONFIGURATION UPDATE message to the AMF."

			Reference
			"ETSI TS 138 413 [1], Clauses 8.7.2.2"

			Config Id CFG_GNB_01

			PICS Selection PICS_A2/2 and PICS_A3/6_2

			Initial conditions with {
			the UE entity isRegisteredTo the AMF
			}

			Expected behaviour
			ensure that {
			when {
			the IUT entity indicate the initiation "of a RAN CONFIGURATION UPDATE procedure"
			}
			then {
			the IUT entity sends a RAN_CONFIGURATION_UPDATE containing
			Supported_TA_List containing
			Supported_TA_Item containing
			TAC,
			Broadcast_PLMN_List containing
			Broadcast_PLMN_Item containing
			PLMN_Identity,
			TAI_Slice_Support_List
			;
			;
			;
			;
			;
			to the AMF entity
			}

			}


			} // End TP_NGAP_GNB_IMP_02
			} // End Group RAN Configuration Update

			Group "AMF Configuration Update"
			{
			import all from Ngap_Common;





			Test Purpose {

			TP Id TP_NGAP_GNB_IMP_03

			Test objective "Verify that the GNB node successfully processes a AMF CONFIGURATION UPDATE message with AMF CONFIGURATION UPDATE ACKNOWLEDGE to acknowledge the update."

			Reference
			"ETSI TS 138 413 [1], Clauses 8.7.3.2"

			Config Id CFG_GNB_01

			PICS Selection PICS_A2/1 and PICS_A3/6_3

			Initial conditions with {
			the UE entity isRegisteredTo the AMF and
			the UE entity isCMIDLE and
			the UE entity hasReceivedPAGINGMessage
			}

			Expected behaviour
			ensure that {
			when {
			the IUT entity receives a AMF_CONFIGURATION_UPDATE containing
			Served_GUAMI_List containing
			Served_GUAMI_Item containing
			GUAMI
			;
			;,
			PLMN_Support_List containing
			PLMN_Support_Item containing
			PLMN_Identity,
			Slice_Support_List
			;
			;,
			AMF_TNL_Association_to_Add_List containing
			AMF_TNL_Association_to_Add_item containing
			AMF_TNL_Association_Address,
			TNL_Address_Weight_Factor
			;
			;,
			AMF_TNL_Association_to_Update_List containing
			AMF_TNL_Association_to_Update_Item containing
			AMF_TNL_Association_Address
			;
			;
			;
			from the AMF entity
			}
			then {
			the IUT entity sends a AMF_CONFIGURATION_UPDATE_ACKNOWLEDGE containing
			AMF_TNL_Association_Setup_List containing
			AMF_TNL_Association_Setup_Item containing
			AMF_TNL_Association_Address
			;
			;
			;
			to the AMF entity
			}
			}

			} // end TP TP_NGAP_GNB_IMP_03

			} //End Group AMF Configuration Update

			Group "NG Reset"
			{
			import all from Ngap_Common;

			Test Purpose {

			TP Id TP_NGAP_GNB_IMP_04

			Test objective "Verify that the GNB node successfully processes a NG RESET message that contains mandatory IEs and answers with NG RESET ACKNOWLEDGE to acknowledge the reset."

			Reference
			"ETSI TS 138 413 [1], Clauses 8.7.4.2.1"

			Config Id CFG_GNB_01

			PICS Selection PICS_A2/1 and PICS_A3/6_4

			Initial conditions with {
			the UE entity isRegisteredTo the AMF and
			the UE entity isRequestedToDetachfromNetwork
			}

			Expected behaviour
			ensure that {
			when {
			the IUT entity receives a NG_RESET containing
			Cause,
			CHOICE_Reset_Type containing
			NG_interface containing
			Reset_All
			;
			;
			;
			from the AMF entity
			}
			then {
			the IUT entity sends a NG_RESET_ACKNOWLEDGE
			to the AMF entity
			}
			}

			} // end TP TP_NGAP_GNB_IMP_04

			} // End Group NG Reset

			Group "Error Indication"
			{
			import all from Ngap_Common;

			Test Purpose {

			TP Id TP_NGAP_GNB_IMP_05

			Test objective "Verify that the GNB can send a ERROR INDICATION to the AMF when a error occurs."

			Reference
			"ETSI TS 138 413 [1], Clauses 8.7.5.2"

			Config Id CFG_GNB_01

			PICS Selection PICS_A2/1 and PICS_A3/6_5

			Initial conditions with {
			the UE entity isRegisteredTo the AMF
			}

			Expected behaviour
			ensure that {
			when {
			the IUT entity indicate a ERROR INDICATION
			}
			then {
			the IUT entity sends a ERROR_INDICATION
			to the AMF entity
			}
			}

			} // end TP_NGAP_GNB_IMP_05
			} // End Group Error Indication

	}		}

	Group "8.8 Configuration Transfer Procedure"		Group "8.8 Configuration Transfer Procedure"