From eec4cf47f020f53619008373d21f2d721244303f Mon Sep 17 00:00:00 2001 From: pintar Date: Sun, 17 Mar 2024 21:37:39 +0100 Subject: [PATCH 01/11] UBP group added --- test_purposes/Ngap_Common.tplan2 | 22 +++++++++++++---- test_purposes/ngap/TP_AMF_NGAP2.tplan2 | 33 ++++++++++++++++++++++++++ 2 files changed, 51 insertions(+), 4 deletions(-) diff --git a/test_purposes/Ngap_Common.tplan2 b/test_purposes/Ngap_Common.tplan2 index 3d42066..0bae397 100644 --- a/test_purposes/Ngap_Common.tplan2 +++ b/test_purposes/Ngap_Common.tplan2 @@ -50,6 +50,13 @@ Package Ngap_Common { - PICS_A3/10_2 //gNB - Trace procedure - TRACE FAILURE INDICATION messages - PICS_A3/10_3 //gNB - Trace procedure - DEACTIVATE TRACE messages - PICS_A3/10_4 //gNB - Trace procedure - CELL TRAFFIC TRACE messages + - PICS_A3/12_1 //gNB - TNLA procedure - UE TNLA BINDING RELEASE REQUEST messages + - PICS_A3/13_1 //gNB - UE Radio Capability Management procedure - UE RADIO CAPABILITY INFO INDICATION messages + - PICS_A3/13_2 //gNB - UE Radio Capability Management procedure - UE RADIO CAPABILITY CHECK REQUEST messages + - PICS_A3/13_3 //gNB - UE Radio Capability Management procedure - UE RADIO CAPABILITY ID MAPPING REQUEST messages + - PICS_A3/14_1 //TODO opis + - PICS_A3/15_1 + - PICS_A3/15_2 - PICS_A4/1_1 //AMF - PDU session management procedure - PDU SESSION RESOURCE SETUP REQUEST - PICS_A4/1_2 //AMF - PDU session management procedure - PDU SESSION RESOURCE RELEASE COMMAND - PICS_A4/1_3 //AMF - PDU session management procedure - PDU SESSION RESOURCE MODIFY REQUEST @@ -64,10 +71,17 @@ Package Ngap_Common { - PICS_A4/9_2 //AMF - NRPPa Transport procedure - UPLINK UE ASSOCIATED NRPPA TRANSPORT messages - PICS_A4/9_3 //AMF - NRPPa Transport procedure - DOWNLINK NON UE ASSOCIATED NRPPA TRANSPORT messages - PICS_A4/9_4 //AMF - NRPPa Transport procedure - UPLINK NON UE ASSOCIATED NRPPA TRANSPORT messages - - PICS_A4/10_1 //gNB - Trace procedure - TRACE START messages - - PICS_A4/10_2 //gNB - Trace procedure - TRACE FAILURE INDICATION messages - - PICS_A4/10_3 //gNB - Trace procedure - DEACTIVATE TRACE messages - - PICS_A4/10_4 //gNB - Trace procedure - CELL TRAFFIC TRACE messages + - PICS_A4/10_1 //AMF - Trace procedure - TRACE START messages + - PICS_A4/10_2 //AMF - Trace procedure - TRACE FAILURE INDICATION messages + - PICS_A4/10_3 //AMF - Trace procedure - DEACTIVATE TRACE messages + - PICS_A4/10_4 //AMF - Trace procedure - CELL TRAFFIC TRACE messages + - PICS_A4/12_1 //AMF - TNLA procedure - UE TNLA BINDING RELEASE REQUEST messages + - PICS_A4/13_1 //AMF - UE Radio Capability Management procedure - UE RADIO CAPABILITY INFO INDICATION messages + - PICS_A4/13_2 //AMF - UE Radio Capability Management procedure - UE RADIO CAPABILITY CHECK REQUEST messages + - PICS_A4/13_3 //AMF - UE Radio Capability Management procedure - UE RADIO CAPABILITY ID MAPPING REQUEST messages + - PICS_A4/14_1 //TODO opis + - PICS_A4/15_1 + - PICS_A4/15_2 - NOT_PICS_2 ; entities: diff --git a/test_purposes/ngap/TP_AMF_NGAP2.tplan2 b/test_purposes/ngap/TP_AMF_NGAP2.tplan2 index 6f08cfb..144bdc4 100644 --- a/test_purposes/ngap/TP_AMF_NGAP2.tplan2 +++ b/test_purposes/ngap/TP_AMF_NGAP2.tplan2 @@ -2056,6 +2056,39 @@ Package TP_AMF { Group "8.13 UE TNLA Binding Procedures" { + import all from Ngap_Common; + + Test Purpose { + + TP Id TP_NGAP_AMF_UBP_01 + + Test objective "Verify that the IUT can send a UE TNLA BINDING RELEASE REQUEST to initiate a UE TNLA Binding Release procedure." + + Reference + "ETSI TS 138 413 [1], Clauses 8.13.1.2 and 9.2.12.1" + + Config Id CFG_AMF_01 + + PICS Selection PICS_A2/2 and PICS_A4/12_1 + + Initial conditions with { + the UE entity isRegisteredTo the AMF + } + + Expected behaviour + ensure that { + when { + the IUT entity indicate a UE TNLA BINDING procedure + } + then { + the IUT entity sends a UE_TNLA_BINDING_RELEASE_REQUEST containing + AMF_UE_NGAP_ID, + RAN_UE_NGAP_ID; + to the GNB entity + } + } + + } // end TP_NGAP_AMF_UBP_01 } // end Group "8.13 UE TNLA Binding Procedures" -- GitLab From bb0d4a668de2ebc3e0f1205b9c8df48417045745 Mon Sep 17 00:00:00 2001 From: pintar Date: Sun, 17 Mar 2024 22:23:38 +0100 Subject: [PATCH 02/11] URP TP added --- test_purposes/Ngap_Common.tplan2 | 8 ++++---- test_purposes/ngap/TP_GNB_NGAP.tplan2 | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/test_purposes/Ngap_Common.tplan2 b/test_purposes/Ngap_Common.tplan2 index 93f2e34..ac1f570 100644 --- a/test_purposes/Ngap_Common.tplan2 +++ b/test_purposes/Ngap_Common.tplan2 @@ -14,7 +14,7 @@ * all rights reserved. * The present ETSI Source Code license shall be included in all copies of whole or part of this source code * and shall not imply any sub-license right. -* (c) ETSI 2019-2020 +* (c) ETSI 2023-2024 */ @@ -120,9 +120,9 @@ Package Ngap_Common { - PICS_A4/13_1 //AMF - UE Radio Capability Management procedure - UE RADIO CAPABILITY INFO INDICATION messages - PICS_A4/13_2 //AMF - UE Radio Capability Management procedure - UE RADIO CAPABILITY CHECK REQUEST messages - PICS_A4/13_3 //AMF - UE Radio Capability Management procedure - UE RADIO CAPABILITY ID MAPPING REQUEST messages - - PICS_A4/14_1 //gNB - Data Usage Reporting Procedures - SECONDARY RAT DATA USAGE REPORT - - PICS_A4/15_1 //gNB - RIM information Transfer procedure - UPLINK RIM INFORMATION TRANSFER - - PICS_A4/15_2 //gNB - RIM information Transfer procedure - DOWNLINK RIM INFORMATION TRANSFER + - PICS_A4/14_1 //AMF - Data Usage Reporting Procedures - SECONDARY RAT DATA USAGE REPORT + - PICS_A4/15_1 //AMF - RIM information Transfer procedure - UPLINK RIM INFORMATION TRANSFER + - PICS_A4/15_2 //AMF - RIM information Transfer procedure - DOWNLINK RIM INFORMATION TRANSFER - NOT_PICS_2 ; entities: diff --git a/test_purposes/ngap/TP_GNB_NGAP.tplan2 b/test_purposes/ngap/TP_GNB_NGAP.tplan2 index c531691..2556ce3 100644 --- a/test_purposes/ngap/TP_GNB_NGAP.tplan2 +++ b/test_purposes/ngap/TP_GNB_NGAP.tplan2 @@ -2138,7 +2138,7 @@ Package TP_GNB { } } - } // end TP_NGAP_GNB_URP_01 + } // end TP_NGAP_GNB_URP_01 } // end Group "8.14 UE Radio Capability Management Procedures" -- GitLab From ab1007c22e41e18ad17aad49b33026222bdb7e8b Mon Sep 17 00:00:00 2001 From: pintar Date: Mon, 18 Mar 2024 10:18:06 +0100 Subject: [PATCH 03/11] TPs for DRP and RIP groups --- test_purposes/ngap/TP_AMF_NGAP2.tplan2 | 100 ++++++++++++++++- test_purposes/ngap/TP_GNB_NGAP.tplan2 | 142 ++++++++++++++++++++++++- 2 files changed, 239 insertions(+), 3 deletions(-) diff --git a/test_purposes/ngap/TP_AMF_NGAP2.tplan2 b/test_purposes/ngap/TP_AMF_NGAP2.tplan2 index 58f55d7..e9c63bd 100644 --- a/test_purposes/ngap/TP_AMF_NGAP2.tplan2 +++ b/test_purposes/ngap/TP_AMF_NGAP2.tplan2 @@ -2104,16 +2104,114 @@ Package TP_AMF { Group "8.14 UE Radio Capability Management Procedures" { + import all from Ngap_Common; + + Test Purpose { + + TP Id TP_NGAP_AMF_URP_01 + + Test objective "Verify that the IUT can send a UE RADIO CAPABILITY CHECK REQUEST to initiate UE Radio Capability Management procedure." + + Reference + "ETSI TS 138 413 [1], Clauses 8.14.2.2 and 9.2.13.2" + + Config Id CFG_AMF_01 + + PICS Selection PICS_A2/2 and PICS_A4/13_2 + + Initial conditions with { + the UE entity isRegisteredTo the AMF + } + + Expected behaviour + ensure that { + when { + the IUT entity indicate a UE Radio Capability Management procedure + } + then { + the IUT entity sends a UE_RADIO_CAPABILITY_CHECK_REQUEST containing + AMF_UE_NGAP_ID, + RAN_UE_NGAP_ID; + to the GNB entity + } + } + + } // end TP_NGAP_AMF_URP_01 + + Test Purpose { + + TP Id TP_NGAP_AMF_URP_02 + + Test objective "Verify that the IUT can send a UE RADIO CAPABILITY ID MAPPING RESPONSE message that contains mandatory IEs to provide the UE radio capabilities id mapping." + + Reference + "ETSI TS 138 413 [1], Clauses 8.14.3.2, 9.2.13.4 and 9.2.13.5" + + Config Id CFG_AMF_01 + + PICS Selection PICS_A2/2 and PICS_A4/13_3 + + Initial conditions with { + the UE entity isRegisteredTo the AMF + } + + Expected behaviour + ensure that { + when { + the IUT entity receives a UE_RADIO_CAPABILITY_ID_MAPPING_REQUEST containing + UE_Radio_Capability_ID; + from the GNB entity + } + then { + the IUT entity sends a UE_RADIO_CAPABILITY_ID_MAPPING_RESPONSE containing + UE_Radio_Capability_ID, + UE_Radio_Capability; + to the GNB entity + } + } + + } // end TP_NGAP_AMF_URP_02 } // end Group "8.14 UE Radio Capability Management Procedures" Group "8.15 Data Usage Reporting Procedures" { - + //NONE } // end Group "8.15 Data Usage Reporting Procedures" Group "8.16 RIM Information Transfer Procedures" { + import all from Ngap_Common; + + Test Purpose { + + TP Id TP_NGAP_AMF_RIP_01 + + Test objective "Verify that the IUT can send a DOWNLINK RIM INFORMATION TRANSFER." + + Reference + "ETSI TS 138 413 [1], Clauses 8.16.2.2 and 9.2.15.2" + + Config Id CFG_AMF_01 + + PICS Selection PICS_A2/2 and PICS_A4/15_2 + + Initial conditions with { + the UE entity isNotRegisteredTo the AMF + } + + Expected behaviour + ensure that { + when { + the IUT entity indicate a RIM Information Transfer procedure + } + then { + the IUT entity sends a DOWNLINK_RIM_INFORMATION_TRANSFER + to the GNB entity + } + } + + } // end TP_NGAP_AMF_RIP_01 } // end Group "8.16 RIM Information Transfer Procedures" } // End of Package TP_AMF diff --git a/test_purposes/ngap/TP_GNB_NGAP.tplan2 b/test_purposes/ngap/TP_GNB_NGAP.tplan2 index 2556ce3..d029f59 100644 --- a/test_purposes/ngap/TP_GNB_NGAP.tplan2 +++ b/test_purposes/ngap/TP_GNB_NGAP.tplan2 @@ -2134,21 +2134,159 @@ Package TP_GNB { AMF_UE_NGAP_ID, RAN_UE_NGAP_ID, UE_Radio_Capability; - to the AMF entity + to the AMF entity + } + } + + } // end TP_NGAP_GNB_URP_01 + + Test Purpose { + + TP Id TP_NGAP_GNB_URP_02 + + Test objective "Verify that the IUT can send a UE RADIO CAPABILITY CHECK RESPONSE message that contains mandatory IEs to provide the UE radio capabilities." + + Reference + "ETSI TS 138 413 [1], Clauses 8.14.2.2, 9.2.13.2 and 9.2.13.3" + + Config Id CFG_GNB_01 + + PICS Selection PICS_A2/1 and PICS_A3/13_2 + + Initial conditions with { + the UE entity isRegisteredTo the AMF + } + + Expected behaviour + ensure that { + when { + the IUT entity sends a UE_RADIO_CAPABILITY_CHECK_REQUEST containing + AMF_UE_NGAP_ID, + RAN_UE_NGAP_ID; + from the AMF entity + } + then { + the IUT entity sends a UE_RADIO_CAPABILITY_CHECK_RESPONSE containing + AMF_UE_NGAP_ID, + RAN_UE_NGAP_ID, + IMS_Voice_Support_Indicator; + to the AMF entity + } + } + + } // end TP_NGAP_GNB_URP_02 + + Test Purpose { + + TP Id TP_NGAP_GNB_URP_03 + + Test objective "Verify that the IUT can send a UE RADIO CAPABILITY ID MAPPING REQUEST." + + Reference + "ETSI TS 138 413 [1], Clauses 8.14.3.2 and 9.2.13.4" + + Config Id CFG_GNB_01 + + PICS Selection PICS_A2/1 and PICS_A3/13_3 + + Initial conditions with { + the UE entity isRegisteredTo the AMF + } + + Expected behaviour + ensure that { + when { + + the IUT entity indicate a UE Radio Capability Management procedure + } + then { + the IUT entity sends a UE_RADIO_CAPABILITY_ID_MAPPING_REQUEST containing + UE_Radio_Capability_ID; + to the AMF entity } } - } // end TP_NGAP_GNB_URP_01 + } // end TP_NGAP_GNB_URP_03 } // end Group "8.14 UE Radio Capability Management Procedures" Group "8.15 Data Usage Reporting Procedures" { + import all from Ngap_Common; + + Test Purpose { + + TP Id TP_NGAP_GNB_DRP_01 + + Test objective "Verify that the IUT can send a SECONDARY RAT DATA USAGE REPORT." + + Reference + "ETSI TS 138 413 [1], Clauses 8.15.1.2 and 9.2.14.1" + + Config Id CFG_GNB_01 + + PICS Selection PICS_A2/1 and PICS_A3/14_1 + + Initial conditions with { + the UE entity isRegisteredTo the AMF + } + + Expected behaviour + ensure that { + when { + + the IUT entity indicate a Data_Usage_Reporting_procedure + } + then { + the IUT entity sends a SECONDARY_RAT_DATA_USAGE_REPORT containing + AMF_UE_NGAP_ID, + RAN_UE_NGAP_ID, + PDU_Session_Resource_Secondary_RAT_Usage_List containing + PDU_Session_Resource_Secondary_RAT_Usage_Item containing + PDU_Session_Id, + Secondary_RAT_Data_Usage_Report_Transfer;;; + to the AMF entity + } + } + + } // end TP_NGAP_GNB_DRP_01 } // end Group "8.15 Data Usage Reporting Procedures" Group "8.16 RIM Information Transfer Procedures" { + import all from Ngap_Common; + + Test Purpose { + + TP Id TP_NGAP_GNB_RIP_01 + + Test objective "Verify that the IUT can send a UPLINK RIM INFORMATION TRANSFER." + + Reference + "ETSI TS 138 413 [1], Clauses 8.16.1.2 and 9.2.15.1" + + Config Id CFG_GNB_01 + + PICS Selection PICS_A2/1 and PICS_A3/15_1 + + Initial conditions with { + the UE entity isNotRegisteredTo the AMF + } + + Expected behaviour + ensure that { + when { + + the IUT entity indicate a RIM Information Transfer procedure + } + then { + the IUT entity sends a UPLINK_RIM_INFORMATION_TRANSFER + to the AMF entity + } + } + + } // end TP_NGAP_GNB_RIP_01 } // end Group "8.16 RIM Information Transfer Procedures" -- GitLab From 2ecc03eaebdd91f5f9c5d8232de49646c0b7c931 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Steffen=20L=C3=BCdtke?= Date: Mon, 18 Mar 2024 14:18:07 +0100 Subject: [PATCH 04/11] revision of the initial conditions for handover --- test_purposes/ngap/TP_AMF_NGAP2.tplan2 | 6 +++--- test_purposes/ngap/TP_GNB_NGAP.tplan2 | 8 ++++---- 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/test_purposes/ngap/TP_AMF_NGAP2.tplan2 b/test_purposes/ngap/TP_AMF_NGAP2.tplan2 index e9c63bd..1cd910d 100644 --- a/test_purposes/ngap/TP_AMF_NGAP2.tplan2 +++ b/test_purposes/ngap/TP_AMF_NGAP2.tplan2 @@ -766,7 +766,7 @@ Package TP_AMF { PICS Selection PICS_A2/2 and PICS_A4/3_1 Initial conditions with { - the UE entity isRegisteredTo the AMF // TODO: check initial conditions + the UE entity isRegisteredTo the AMF } Expected behaviour @@ -820,7 +820,7 @@ Package TP_AMF { PICS Selection PICS_A2/2 and PICS_A4/3_1 Initial conditions with { - the UE entity isRegisteredTo the AMF // TODO: check initial conditions + the UE entity isRegisteredTo the AMF } Expected behaviour @@ -876,7 +876,7 @@ Package TP_AMF { PICS Selection PICS_A2/2 and PICS_A4/3_2 Initial conditions with { - the UE entity isRegisteredTo the AMF // TODO: check initial conditions + the UE entity isRegisteredTo the AMF } Expected behaviour diff --git a/test_purposes/ngap/TP_GNB_NGAP.tplan2 b/test_purposes/ngap/TP_GNB_NGAP.tplan2 index d029f59..b39ff20 100644 --- a/test_purposes/ngap/TP_GNB_NGAP.tplan2 +++ b/test_purposes/ngap/TP_GNB_NGAP.tplan2 @@ -1067,14 +1067,14 @@ Package TP_GNB { Test objective "Verify that the IUT can send a HANDOVER REQUIRED message containing mandatory IEs." Reference - "ETSI TS 138 413 [1], Clauses 8.3.11.2 and 9.2.3.1" + "ETSI TS 138 413 [1], Clauses 8.4.1.2 and 9.2.3.1" Config Id CFG_GNB_01 PICS Selection PICS_A2/1 and PICS_A3/3_1 Initial conditions with { - the UE entity isRegisteredTo the AMF // TODO: check initial conditions + the UE entity isRegisteredTo the AMF } Expected behaviour @@ -1124,7 +1124,7 @@ Package TP_GNB { PICS Selection PICS_A2/1 and PICS_A3/3_2 Initial conditions with { - the UE entity isRegisteredTo the AMF // TODO: check initial conditions + the UE entity isRegisteredTo the AMF } Expected behaviour @@ -1188,7 +1188,7 @@ Package TP_GNB { PICS Selection PICS_A2/1 and PICS_A3/3_3 Initial conditions with { - the UE entity isRegisteredTo the AMF // TODO: check initial conditions + the UE entity isRegisteredTo the AMF } Expected behaviour -- GitLab From a0383a4519182dbaaa0b8f228f0bac687994b95f Mon Sep 17 00:00:00 2001 From: Sascha Hackel Date: Mon, 18 Mar 2024 15:43:54 +0100 Subject: [PATCH 05/11] update initial condition for the MME group --- test_purposes/Ngap_Common.tplan2 | 2 + test_purposes/ngap/TP_AMF_NGAP2.tplan2 | 70 +++++++++++++++++++++----- test_purposes/ngap/TP_GNB_NGAP.tplan2 | 53 ++++--------------- 3 files changed, 69 insertions(+), 56 deletions(-) diff --git a/test_purposes/Ngap_Common.tplan2 b/test_purposes/Ngap_Common.tplan2 index ac1f570..2854547 100644 --- a/test_purposes/Ngap_Common.tplan2 +++ b/test_purposes/Ngap_Common.tplan2 @@ -183,6 +183,8 @@ Package Ngap_Common { - indicate - isCMIDLE - isCMCONNECTED + - alreadyPreparedHandover + - completedHandover ; } // End of Domain section diff --git a/test_purposes/ngap/TP_AMF_NGAP2.tplan2 b/test_purposes/ngap/TP_AMF_NGAP2.tplan2 index 1cd910d..5ac43d3 100644 --- a/test_purposes/ngap/TP_AMF_NGAP2.tplan2 +++ b/test_purposes/ngap/TP_AMF_NGAP2.tplan2 @@ -866,7 +866,7 @@ Package TP_AMF { TP Id TP_NGAP_AMF_MMP_03 - Test objective "Verify that the AMF node successfully sends a HANDOVER_REQUEST message that contains mandatory IEs to the GNB." + Test objective "Verify that the AMF node successfully sends a HANDOVER REQUEST message that contains mandatory IEs to the GNB." Reference "ETSI TS 138 413 [1], Clauses 8.4.2.2" @@ -929,7 +929,8 @@ Package TP_AMF { PICS Selection PICS_A2/2 and PICS_A4/3_4 Initial conditions with { - the UE entity isRegisteredTo the AMF // TODO: check initial conditions + the UE entity isRegisteredTo the AMF and + the UE entity hasEstablishedInitialContext } Expected behaviour @@ -981,7 +982,8 @@ Package TP_AMF { PICS Selection PICS_A2/2 and PICS_A4/3_4 Initial conditions with { - the UE entity isRegisteredTo the AMF // TODO: check initial conditions + the UE entity isRegisteredTo the AMF and + the UE entity hasEstablishedInitialContext } Expected behaviour @@ -1042,7 +1044,8 @@ Package TP_AMF { PICS Selection PICS_A2/2 and PICS_A4/3_5 Initial conditions with { - the UE entity isRegisteredTo the AMF // TODO: check initial conditions + the UE entity isRegisteredTo the AMF and + the GNB entity alreadyPreparedHandover } Expected behaviour @@ -1068,6 +1071,45 @@ Package TP_AMF { } // End Group "Handover Cancellation" + Group "Handover Success" + { + import all from Ngap_Common; + + Test Purpose { + + TP Id TP_NGAP_AMF_MMP_09 + + Test objective "Verify that the NG-RAN node successfully sends a Handover Success message to the AMF." + + Reference + "ETSI TS 138 413 [1], Clauses 8.4.8.2 and 9.2.3.15" + + Config Id CFG_GNB_01 + + PICS Selection PICS_A2/1 and PICS_A3/3_8 + + Initial conditions with { + the UE entity isRegisteredTo the AMF and + the GNB entity completedHandover + } + + Expected behaviour + ensure that { + when { + the IUT entity indicate the initiation "of an UE handover success procedure" + } + then { + the IUT entity sends a HANDOVER_SUCCESS containing + AMF_UE_NGAP_ID, + RAN_UE_NGAP_ID + ; + to the GNB entity + } + } + } // End TP_NGAP_GNB_MMP_03 + + } // End Group "Handover Success" + Group "Downlink RAN Status Transfer" { import all from Ngap_Common; @@ -1076,7 +1118,7 @@ Package TP_AMF { TP Id TP_NGAP_AMF_MMP_07 - Test objective "Verify that the AMF node successfully sends a UPLINK RAN STATUS TRANSFER message that contains mandatory IEs." + Test objective "Verify that the AMF node successfully sends a DOWNLINK RAN STATUS TRANSFER message that contains mandatory IEs." Reference "ETSI TS 138 413 [1], Clauses 8.4.6.2" @@ -1086,16 +1128,17 @@ Package TP_AMF { PICS Selection PICS_A2/2 and PICS_A4/3_6 Initial conditions with { - the UE entity isRegisteredTo the AMF // TODO: check initial conditions + the UE entity isRegisteredTo the AMF and + the GNB entity alreadyPreparedHandover } Expected behaviour ensure that { when { - the IUT entity indicate a Uplink RAN Status Transfer procedure + the IUT entity indicate a Downlink RAN Status Transfer procedure } then { - the IUT entity sends a UPLINK_RAN_STATUS_TRANSFER containing + the IUT entity sends a DOWNLINK_RAN_STATUS_TRANSFER containing AMF_UE_NGAP_ID, RAN_UE_NGAP_ID, RAN_Status_Transfer_Transparent_Container @@ -1108,7 +1151,7 @@ Package TP_AMF { } // End Group "Downlink RAN Status Transfer" - Group "Downlink RAN Status Transfer" + Group "Downlink RAN Early Status Transfer" { import all from Ngap_Common; @@ -1116,7 +1159,7 @@ Package TP_AMF { TP Id TP_NGAP_AMF_MMP_08 - Test objective "Verify that the AMF node successfully sends a UPLINK RAN EARLY STATUS TRANSFER message that contains mandatory IEs." + Test objective "Verify that the AMF node successfully sends a DOWNLINK RAN EARLY STATUS TRANSFER message that contains mandatory IEs." Reference "ETSI TS 138 413 [1], Clauses 8.4.9.2" @@ -1126,16 +1169,17 @@ Package TP_AMF { PICS Selection PICS_A2/2 and PICS_A4/3_9 Initial conditions with { - the UE entity isRegisteredTo the AMF // TODO: check initial conditions + the UE entity isRegisteredTo the AMF and + the GNB entity alreadyPreparedHandover } Expected behaviour ensure that { when { - the IUT entity indicate a Uplink RAN Early Status Transfer procedure + the IUT entity indicate a Downlink RAN Early Status Transfer procedure } then { - the IUT entity sends a UPLINK_RAN_EARLY_STATUS_TRANSFER containing + the IUT entity sends a DOWNLINK_RAN_EARLY_STATUS_TRANSFER containing AMF_UE_NGAP_ID, RAN_UE_NGAP_ID, Early_Status_Transfer_Transparent_Container diff --git a/test_purposes/ngap/TP_GNB_NGAP.tplan2 b/test_purposes/ngap/TP_GNB_NGAP.tplan2 index b39ff20..684a37d 100644 --- a/test_purposes/ngap/TP_GNB_NGAP.tplan2 +++ b/test_purposes/ngap/TP_GNB_NGAP.tplan2 @@ -1230,7 +1230,8 @@ Package TP_GNB { PICS Selection PICS_A2/1 and PICS_A3/3_4 Initial conditions with { - the UE entity isRegisteredTo the AMF // TODO: check initial conditions + the UE entity isRegisteredTo the AMF and + the UE entity hasEstablishedInitialContext } Expected behaviour @@ -1279,7 +1280,8 @@ Package TP_GNB { PICS Selection PICS_A2/1 and PICS_A3/3_5 Initial conditions with { - the UE entity isRegisteredTo the AMF // TODO: check initial conditions + the UE entity isRegisteredTo the AMF and + the GNB entity alreadyPreparedHandover } Expected behaviour @@ -1308,7 +1310,7 @@ Package TP_GNB { TP Id TP_NGAP_GNB_MMP_02 - Test objective "Verify that the NG-RAN node successfully send a Uplink RAN Status Transfer message to the AMF." + Test objective "Verify that the NG-RAN node successfully send a UPLINK RAN STATUS TRANSFER message to the AMF." Reference "ETSI TS 138 413 [1], Clauses 8.4.6.2 and 9.2.3.13" @@ -1318,7 +1320,8 @@ Package TP_GNB { PICS Selection PICS_A2/1 and PICS_A3/3_6 Initial conditions with { - the UE entity isRegisteredTo the AMF // TODO: check initial conditions + the UE entity isRegisteredTo the AMF and + the GNB entity alreadyPreparedHandover } Expected behaviour @@ -1339,43 +1342,6 @@ Package TP_GNB { } } // End Group "Uplink RAN Status Transfer" - Group "Handover Success" - { - import all from Ngap_Common; - - Test Purpose { - - TP Id TP_NGAP_GNB_MMP_03 - - Test objective "Verify that the NG-RAN node successfully sends a Handover Success message to the AMF." - - Reference - "ETSI TS 138 413 [1], Clauses 8.4.8.2 and 9.2.3.15" - - Config Id CFG_GNB_01 - - PICS Selection PICS_A2/1 and PICS_A3/3_8 - - Initial conditions with { - the UE entity isRegisteredTo the AMF // TODO: check initial conditions - } - - Expected behaviour - ensure that { - when { - the IUT entity indicate the initiation "of an UE handover success procedure" - } - then { - the IUT entity sends a HANDOVER_SUCCESS containing - AMF_UE_NGAP_ID, - RAN_UE_NGAP_ID - ; - to the AMF entity - } - } - } // End TP_NGAP_GNB_MMP_03 - - } // End Group "Handover Success" Group "Uplink RAN Early Status Transfer" { @@ -1385,7 +1351,7 @@ Package TP_GNB { TP Id TP_NGAP_GNB_MMP_04 - Test objective "Verify that the NG-RAN node successfully sends a Uplink RAN Early Status Transfer message to the AMF." + Test objective "Verify that the NG-RAN node successfully sends a UPLINK RAN EARLY STATUS TRANSFER message to the AMF." Reference "ETSI TS 138 413 [1], Clauses 8.4.9.2 and 9.2.3.16" @@ -1395,7 +1361,8 @@ Package TP_GNB { PICS Selection PICS_A2/1 and PICS_A3/3_9 Initial conditions with { - the UE entity isRegisteredTo the AMF // TODO: check initial conditions + the UE entity isRegisteredTo the AMF and + the GNB entity alreadyPreparedHandover } Expected behaviour -- GitLab From 6ac80ac5e06553007d4d6df130c938988097b974 Mon Sep 17 00:00:00 2001 From: Sascha Hackel Date: Tue, 19 Mar 2024 11:07:56 +0100 Subject: [PATCH 06/11] finish initial condition for PAG and NAS group --- test_purposes/Ngap_Common.tplan2 | 3 +++ test_purposes/ngap/TP_AMF_NGAP2.tplan2 | 21 +++++++++++++++++---- test_purposes/ngap/TP_GNB_NGAP.tplan2 | 21 ++++++++------------- 3 files changed, 28 insertions(+), 17 deletions(-) diff --git a/test_purposes/Ngap_Common.tplan2 b/test_purposes/Ngap_Common.tplan2 index 2854547..c5b3f59 100644 --- a/test_purposes/Ngap_Common.tplan2 +++ b/test_purposes/Ngap_Common.tplan2 @@ -145,6 +145,7 @@ Package Ngap_Common { - isNotConfiguredForTopologyHiding - isConfiguredForTopologyHiding - isExistingIn + - isNotAppropriateToServe - establishedSecurityRelation - registeredIdentityTelURI - registeredIdentitySipURI @@ -154,12 +155,14 @@ Package Ngap_Common { - hasEstablishedDialog - hasEstablishedPS2CSDialog - hasEstablishedInitialContext + - hasEstablishedRRCConnection - isConfiguredWithENUMentryForTelURI_E164NumberOf - hasReceivedInitialRequestForDialog - hasReceived200OkOnInitialRequestForDialogWith - hasReceived180OnInitialRequest - hasReceived200OkCancel - hasReceivedTerminatedRequest + - hasReceivedNASMessage - hasSuspendedContext - hasPendingDataTransmission - registeredPublicIdsWithTelUriAndSipUri diff --git a/test_purposes/ngap/TP_AMF_NGAP2.tplan2 b/test_purposes/ngap/TP_AMF_NGAP2.tplan2 index 5ac43d3..d5472e0 100644 --- a/test_purposes/ngap/TP_AMF_NGAP2.tplan2 +++ b/test_purposes/ngap/TP_AMF_NGAP2.tplan2 @@ -1213,7 +1213,6 @@ Package TP_AMF { PICS Selection PICS_A2/2 and PICS_A4/4_1 - // TODO: initial condition? Initial conditions with { the UE entity isRegisteredTo the AMF } @@ -1253,13 +1252,17 @@ Package TP_AMF { Test objective "Verify that the IUT can send an DOWNLINK NAS TRANSPORT message to carry NAS information over the NG interface." Reference - "ETSI TS 138 413 [1], Clauses 8.6.2.2 and 9.2.5.2" + "ETSI TS 138 413 [1], Clauses 8.6.2.2 and 9.2.5.2", + "ETSI TS 123 502 [6], Clause 4.24.1" Config Id CFG_AMF_01 PICS Selection PICS_A2/2 and PICS_A4/5_2 - //TODO: Section 8.6.2.1 describes additional triggers for the DOWNLINK NAS TRANSPORT + Initial conditions with { + the UE entity isCMCONNECTED and + the GNB entity hasReceivedNASMessage from the UE entity + } Expected behaviour ensure that { @@ -1303,10 +1306,20 @@ Package TP_AMF { PICS Selection PICS_A2/2 and PICS_A4/5_5 + Initial conditions with { + the AMF entity isNotAppropriateToServe the UE + } + Expected behaviour ensure that { when { - the IUT entity indicate the initiation "of a Reroute NAS Request procedure" + the IUT entity receives an INITIAL_UE_MESSAGE containing + RAN_UE_NGAP_ID, + NAS_PDU, + User_Location_Information, + RRC_Establishmnet_Cause + ; + from the GNB entity } then { the IUT entity sends an REROUTE_NAS_REQUEST containing diff --git a/test_purposes/ngap/TP_GNB_NGAP.tplan2 b/test_purposes/ngap/TP_GNB_NGAP.tplan2 index 684a37d..de64d75 100644 --- a/test_purposes/ngap/TP_GNB_NGAP.tplan2 +++ b/test_purposes/ngap/TP_GNB_NGAP.tplan2 @@ -1398,24 +1398,18 @@ Package TP_GNB { Test objective "Verify that the IUT can send an INITIAL UE MESSAGE to indicate the initiation of a NAS Transport procedure" Reference - "ETSI TS 138 413 [1], Clauses 8.6.1.2 and 9.2.5.1" + "ETSI TS 138 413 [1], Clauses 8.6.1.2 and 9.2.5.1" , + "ETSI TS 123 502 [6], Clause 4.24.1" Config Id CFG_GNB_01 PICS Selection PICS_A2/1 and PICS_A3/5_1 Initial conditions with { - the UE entity isCMIDLE in the GNB entity + the UE entity isCMIDLE and + the UE entity hasEstablishedRRCConnection } - /* TODO: - * - * Maybe improve trigger (see sequence diagram 4.24.1-1 in ts_123501): - * If the UE is in CM-IDLE, the UE first establishes an RRC connection - * OR - * sends the RRCEarlyDataRequest message and sends a NAS message as part of this - * - */ Expected behaviour ensure that { when { @@ -1446,7 +1440,8 @@ Package TP_GNB { Test objective "Verify that the IUT can send an UPLINK NAS TRANSPORT message to the AMF." Reference - "ETSI TS 138 413 [1], Clauses 8.6.3.2 and 9.2.5.3" + "ETSI TS 138 413 [1], Clauses 8.6.3.2 and 9.2.5.3", + "ETSI TS 123 502 [6], Clause 4.24.1" Config Id CFG_GNB_01 @@ -1456,7 +1451,6 @@ Package TP_GNB { the UE entity isCMCONNECTED in the GNB entity } - //TODO: More information about RRC UL message Expected behaviour ensure that { when { @@ -1486,13 +1480,14 @@ Package TP_GNB { TP Id TP_NGAP_GNB_NAS_03 - Test objective "Verify that the IUT can send a NAS Non Delivery Indication message to the AMF." + Test objective "Verify that the IUT can send a NAS NON DELIVERY INDICATION message to the AMF." Reference "ETSI TS 138 413 [1], Clauses 8.6.4.2 and 9.2.5.4" Config Id CFG_GNB_01 + PICS Selection PICS_A2/1 and PICS_A3/5_4 Initial conditions with { the UE entity isNoLongerAvailable to the GNB entity -- GitLab From 45c1b9c5b8967d85a1fac8c0174cb2af8b27200a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Steffen=20L=C3=BCdtke?= Date: Tue, 19 Mar 2024 14:44:08 +0100 Subject: [PATCH 07/11] revised section Interface Management Procedures and initial conditions --- test_purposes/Ngap_Common.tplan2 | 7 + test_purposes/ngap/TP_AMF_NGAP2.tplan2 | 88 +++++---- test_purposes/ngap/TP_GNB_NGAP.tplan2 | 247 +++++++++++++++++++++++++ 3 files changed, 303 insertions(+), 39 deletions(-) diff --git a/test_purposes/Ngap_Common.tplan2 b/test_purposes/Ngap_Common.tplan2 index c5b3f59..593054e 100644 --- a/test_purposes/Ngap_Common.tplan2 +++ b/test_purposes/Ngap_Common.tplan2 @@ -48,6 +48,11 @@ Package Ngap_Common { - 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_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/8_1 //gNB - Warning Message Transmission procedure - WRITE-REPLACE WARNING REQUEST - PICS_A3/8_2 //gNB - Warning Message Transmission procedure - PWS CANCEL REQUEST @@ -163,6 +168,8 @@ Package Ngap_Common { - hasReceived200OkCancel - hasReceivedTerminatedRequest - hasReceivedNASMessage + - hasReceivedPAGINGMessage + - hasReceivedOVERLOADSTARTtMessage - hasSuspendedContext - hasPendingDataTransmission - registeredPublicIdsWithTelUriAndSipUri diff --git a/test_purposes/ngap/TP_AMF_NGAP2.tplan2 b/test_purposes/ngap/TP_AMF_NGAP2.tplan2 index d5472e0..e76a685 100644 --- a/test_purposes/ngap/TP_AMF_NGAP2.tplan2 +++ b/test_purposes/ngap/TP_AMF_NGAP2.tplan2 @@ -1357,7 +1357,7 @@ Package TP_AMF { PICS Selection PICS_A2/2 and PICS_A4/6_1 Initial conditions with { - the UE entity isRegisteredTo the AMF // TODO: check initial conditions + the UE entity hasEstablishedRRCConnection } Expected behaviour @@ -1417,8 +1417,7 @@ Package TP_AMF { PICS Selection PICS_A2/2 and PICS_A4/6_1 Initial conditions with { - the UE entity isRegisteredTo the AMF // TODO: check initial conditions - // AMF cannot accept the setup + the UE entity hasEstablishedRRCConnection } Expected behaviour @@ -1428,7 +1427,7 @@ Package TP_AMF { Global_RAN_Node_ID, Supported_TA_List 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_Item containing PLMN_Identity, @@ -1471,8 +1470,8 @@ Package TP_AMF { PICS Selection PICS_A2/2 and PICS_A4/6_2 Initial conditions with { - the UE entity isRegisteredTo the AMF // TODO: check initial conditions - // AMF cannot accept the setup + the UE entity isRegisteredTo the AMF + } Expected behaviour @@ -1480,8 +1479,8 @@ Package TP_AMF { when { the IUT entity receives a RAN_CONFIGURATION_UPDATE containing Supported_TA_List containing - Supported_TA_Item containing - TAC, + Supported_TA_Item containing // Implementation note: e.g. TA List is updated due to UE moving into a new TA + TAC, Broadcast_PLMN_List containing Broadcast_PLMN_Item containing PLMN_Identity, @@ -1515,8 +1514,7 @@ Package TP_AMF { PICS Selection PICS_A2/2 and PICS_A4/6_2 Initial conditions with { - the UE entity isRegisteredTo the AMF // TODO: check initial conditions - // AMF cannot accept the setup + the UE entity isRegisteredTo the AMF } Expected behaviour @@ -1524,8 +1522,8 @@ Package TP_AMF { when { the IUT entity receives a RAN_CONFIGURATION_UPDATE containing Supported_TA_List containing - Supported_TA_Item containing - TAC, + Supported_TA_Item containing // Implementation note: e.g. TA List is updated due to UE moving into a new TA + 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_Item containing PLMN_Identity, @@ -1556,7 +1554,7 @@ Package TP_AMF { 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 "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 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 ensure that { - when { - the IUT entity receives a AMF_CONFIGURATION_UPDATE containing + when { + 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_Item containing 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 - } - } + } + + } + } // end TP TP_NGAP_AMF_IMP_05 } // End Group "AMF Configuration Update" - Group "NG Reset" //XX + Group "NG Reset" { 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." 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 PICS Selection PICS_A2/2 and PICS_A4/6_4 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 @@ -1676,13 +1672,29 @@ Package TP_AMF { PICS Selection PICS_A2/2 and PICS_A4/6_5 Initial conditions with { - the UE entity isRegisteredTo the AMF + the UE entity isRegisteredTo the AMF + } Expected behaviour ensure that { 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 { the IUT entity sends a ERROR_INDICATION @@ -1691,7 +1703,7 @@ Package TP_AMF { } } // end TP_NGAP_AMF_IMP_07 - } + } // End Group Error Indication Group "AMF Status Indication" { @@ -1752,9 +1764,7 @@ Package TP_AMF { PICS Selection PICS_A2/2 and PICS_A4/6_7 - Initial conditions with { - the UE entity isRegisteredTo the AMF - } + // No initial conditions Expected behaviour ensure that { @@ -1776,7 +1786,7 @@ Package TP_AMF { } // end TP_NGAP_AMF_IMP_09 } // End Group "Overload Start" - Group "Overload Stop " + Group "Overload Stop" { import all from Ngap_Common; @@ -1794,7 +1804,7 @@ Package TP_AMF { PICS Selection PICS_A2/2 and PICS_A4/6_8 Initial conditions with { - the UE entity isRegisteredTo the AMF + the GNB entity hasReceivedOVERLOADSTARTtMessage } Expected behaviour diff --git a/test_purposes/ngap/TP_GNB_NGAP.tplan2 b/test_purposes/ngap/TP_GNB_NGAP.tplan2 index de64d75..a6ea9ee 100644 --- a/test_purposes/ngap/TP_GNB_NGAP.tplan2 +++ b/test_purposes/ngap/TP_GNB_NGAP.tplan2 @@ -1519,8 +1519,255 @@ Package TP_GNB { { 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" + + 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" -- GitLab From 3d3b0bd8667b37086e5251e76e813490e9d475d2 Mon Sep 17 00:00:00 2001 From: Sascha Hackel Date: Tue, 19 Mar 2024 15:03:50 +0100 Subject: [PATCH 08/11] update initial condition for the LRP group --- test_purposes/Ngap_Common.tplan2 | 1 + test_purposes/ngap/TP_AMF_NGAP2.tplan2 | 6 +++++- test_purposes/ngap/TP_GNB_NGAP.tplan2 | 12 ++++++++++-- 3 files changed, 16 insertions(+), 3 deletions(-) diff --git a/test_purposes/Ngap_Common.tplan2 b/test_purposes/Ngap_Common.tplan2 index 593054e..d7e263c 100644 --- a/test_purposes/Ngap_Common.tplan2 +++ b/test_purposes/Ngap_Common.tplan2 @@ -66,6 +66,7 @@ Package Ngap_Common { - PICS_A3/10_2 //gNB - Trace procedure - TRACE FAILURE INDICATION messages - PICS_A3/10_3 //gNB - Trace procedure - DEACTIVATE TRACE messages - PICS_A3/10_4 //gNB - Trace procedure - CELL TRAFFIC TRACE messages + - PICS_A3/11_1 //gNB - Location Reporting Procedures - LOCATION REPORTING CONTROL - PICS_A3/11_2 //gNB - Location Reporting Procedures - LOCATION REPORTING FAILURE INDICATION - PICS_A3/11_3 //gNB - Location Reporting Procedures - LOCATION REPORT - PICS_A3/12_1 //gNB - TNLA procedure - UE TNLA BINDING RELEASE REQUEST messages diff --git a/test_purposes/ngap/TP_AMF_NGAP2.tplan2 b/test_purposes/ngap/TP_AMF_NGAP2.tplan2 index e76a685..d3af45f 100644 --- a/test_purposes/ngap/TP_AMF_NGAP2.tplan2 +++ b/test_purposes/ngap/TP_AMF_NGAP2.tplan2 @@ -2108,7 +2108,11 @@ Package TP_AMF { Config Id CFG_AMF_01 - PICS Selection PICS_A3/5_1 + PICS Selection PICS_A2/2 and PICS_A3/11_1 + + Initial conditions with { + the UE entity isRegisteredTo the AMF + } Expected behaviour ensure that { diff --git a/test_purposes/ngap/TP_GNB_NGAP.tplan2 b/test_purposes/ngap/TP_GNB_NGAP.tplan2 index a6ea9ee..502dae5 100644 --- a/test_purposes/ngap/TP_GNB_NGAP.tplan2 +++ b/test_purposes/ngap/TP_GNB_NGAP.tplan2 @@ -2219,7 +2219,11 @@ Package TP_GNB { Config Id CFG_GNB_01 - PICS Selection PICS_A3/11_2 + PICS Selection PICS_A2/1 and PICS_A3/11_2 + + Initial conditions with { + the UE entity isRegisteredTo the AMF + } Expected behaviour ensure that { @@ -2277,7 +2281,11 @@ Package TP_GNB { Config Id CFG_GNB_01 - PICS Selection PICS_A3/5_1 + PICS Selection PICS_A2/1 and PICS_A3/11_3 + + Initial conditions with { + the UE entity isRegisteredTo the AMF + } Expected behaviour ensure that { -- GitLab From 4d5b469d4fd9b5df4401a91d1d42c3398bf3812b Mon Sep 17 00:00:00 2001 From: Sascha Hackel Date: Tue, 19 Mar 2024 16:00:05 +0100 Subject: [PATCH 09/11] resolve TODOs --- test_purposes/Ngap_Common.tplan2 | 1 + test_purposes/ngap/TP_AMF_NGAP2.tplan2 | 11 +++++++---- test_purposes/ngap/TP_GNB_NGAP.tplan2 | 10 ++++++---- 3 files changed, 14 insertions(+), 8 deletions(-) diff --git a/test_purposes/Ngap_Common.tplan2 b/test_purposes/Ngap_Common.tplan2 index d7e263c..9494583 100644 --- a/test_purposes/Ngap_Common.tplan2 +++ b/test_purposes/Ngap_Common.tplan2 @@ -162,6 +162,7 @@ Package Ngap_Common { - hasEstablishedPS2CSDialog - hasEstablishedInitialContext - hasEstablishedRRCConnection + - hasEstablishedContextInproperly - isConfiguredWithENUMentryForTelURI_E164NumberOf - hasReceivedInitialRequestForDialog - hasReceived200OkOnInitialRequestForDialogWith diff --git a/test_purposes/ngap/TP_AMF_NGAP2.tplan2 b/test_purposes/ngap/TP_AMF_NGAP2.tplan2 index d3af45f..77fe136 100644 --- a/test_purposes/ngap/TP_AMF_NGAP2.tplan2 +++ b/test_purposes/ngap/TP_AMF_NGAP2.tplan2 @@ -541,8 +541,9 @@ Package TP_AMF { import all from Ngap_Common; Test Purpose { - - TP Id TP_NGAP_GNB_CMP_12 + + // This TP applies only if the NG-RAN node is an ng-eNB + TP Id TP_NGAP_AMF_CMP_12 Test objective "Verify that the IUT can successfully request UE information from the AMF." @@ -593,7 +594,8 @@ Package TP_AMF { import all from Ngap_Common; Test Purpose { - + + // This TP applies only if the NG-RAN node is an ng-eNB TP Id TP_NGAP_AMF_CMP_05 Test objective "Verify that the AMF node successfully processes a UE CONTEXT SUSPEND REQUEST contains mandatory IEs and answers with UE CONTEXT SUSPEND REQUEST RESPONSE with successfully suspend UE context." @@ -638,6 +640,7 @@ Package TP_AMF { Test Purpose { + // This TP applies only if the NG-RAN node is an ng-eNB TP Id TP_NGAP_AMF_CMP_06 Test objective "Verify that the AMF node successfully processes a UE CONTEXT SUSPEND REQUEST contains mandatory IEs and answers with UE CONTEXT SUSPEND FAILURE with failed suspension." @@ -689,7 +692,7 @@ Package TP_AMF { import all from Ngap_Common; Test Purpose { - + // This TP applies only if the NG-RAN node is an ng-eNB TP Id TP_NGAP_AMF_CMP_07 Test objective "Verify that the AMF node successfully processes a UE CONTEXT RESUME REQUEST contains mandatory IEs and answers with UE CONTEXT RESUME RESPONSE with successfully resume UE context." diff --git a/test_purposes/ngap/TP_GNB_NGAP.tplan2 b/test_purposes/ngap/TP_GNB_NGAP.tplan2 index 502dae5..3c80839 100644 --- a/test_purposes/ngap/TP_GNB_NGAP.tplan2 +++ b/test_purposes/ngap/TP_GNB_NGAP.tplan2 @@ -601,8 +601,8 @@ Package TP_GNB { PICS Selection PICS_A2/1 and PICS_A3/2_1 Initial conditions with { - the UE entity isRegisteredTo the AMF - // TODO: and the UE entity notEstablishedContextProperly + the UE entity isRegisteredTo the AMF and + the UE entity hasEstablishedContextInproperly } Expected behaviour @@ -963,7 +963,8 @@ Package TP_GNB { import all from Ngap_Common; Test Purpose { - + + // This TP applies only if the NG-RAN node is an ng-eNB TP Id TP_NGAP_GNB_CMP_05 Test objective "Verify that the IUT can send a UE CONTEXT SUSPEND REQUEST contains mandatory IEs" @@ -1009,7 +1010,8 @@ Package TP_GNB { import all from Ngap_Common; Test Purpose { - + + // This TP applies only if the NG-RAN node is an ng-eNB TP Id TP_NGAP_GNB_CMP_06 Test objective "Verify that the IUT can send a UE CONTEXT RESUME REQUEST contains mandatory IEs" -- GitLab From e145dddecf1c6713cb0f584d15dd504201b362cc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Steffen=20L=C3=BCdtke?= Date: Tue, 19 Mar 2024 16:26:53 +0100 Subject: [PATCH 10/11] new TP in section Interface Management Procedures --- test_purposes/ngap/TP_GNB_NGAP.tplan2 | 57 +++++++++++++++++++++++++++ 1 file changed, 57 insertions(+) diff --git a/test_purposes/ngap/TP_GNB_NGAP.tplan2 b/test_purposes/ngap/TP_GNB_NGAP.tplan2 index 3c80839..0a10c6b 100644 --- a/test_purposes/ngap/TP_GNB_NGAP.tplan2 +++ b/test_purposes/ngap/TP_GNB_NGAP.tplan2 @@ -1688,6 +1688,63 @@ Package TP_GNB { } // end TP TP_NGAP_GNB_IMP_03 + Test Purpose { + + TP Id TP_NGAP_GNB_IMP_06 + + Test objective "Verify that the GNB node can send a AMF CONFIGURATION UPDATE FAILURE." + + 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, // Implementation Note: Incorrect PLMN ID: The PLMN ID in the message does not match the PLMN ID of the GNB. + 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_FAILURE containing + Cause; + to the AMF entity + } + } + + } // end TP TP_NGAP_GNB_IMP_06 + } //End Group AMF Configuration Update Group "NG Reset" -- GitLab From 9b525fb0c69a315ffb0d7c8236a346c0c56b6d9a Mon Sep 17 00:00:00 2001 From: Sascha Hackel Date: Tue, 19 Mar 2024 16:29:22 +0100 Subject: [PATCH 11/11] add TP for UE CONTEXT RESUME FAILURE message --- test_purposes/ngap/TP_AMF_NGAP2.tplan2 | 47 +++++++++++++++++++++++++- 1 file changed, 46 insertions(+), 1 deletion(-) diff --git a/test_purposes/ngap/TP_AMF_NGAP2.tplan2 b/test_purposes/ngap/TP_AMF_NGAP2.tplan2 index 77fe136..f0b566d 100644 --- a/test_purposes/ngap/TP_AMF_NGAP2.tplan2 +++ b/test_purposes/ngap/TP_AMF_NGAP2.tplan2 @@ -742,7 +742,52 @@ Package TP_AMF { } // end TP TP_NGAP_AMF_CMP_07 - //TODO: error case 8.3.12.3 + Test Purpose { + + // This TP applies only if the NG-RAN node is an ng-eNB + TP Id TP_NGAP_AMF_CMP_13 + + Test objective "Verify that the AMF node successfully processes a UE CONTEXT RESUME REQUEST contains mandatory IEs and answers with UE CONTEXT RESUME FAILURE with failing to resume UE context." + + Reference + "ETSI TS 138 413 [1], Clauses 8.3.12.3" + + Config Id CFG_AMF_01 + + PICS Selection PICS_A2/2 and PICS_A4/2_12 + + Initial conditions with { + the UE entity isRegisteredTo the AMF and + the UE entity hasSuspendedContext + } + + Expected behaviour + ensure that { + when { + the IUT entity receives a UE_CONTEXT_RESUME_REQUEST containing + AMF_UE_NGAP_ID, + RAN_UE_NGAP_ID, + RRC_Resume_Cause, + PDU_Session_Resource_Resume_List containing + PDU_Session_Resource_Resume_Item containing + PDU_SessionId indicating value PX_PDU_ID, + UE_Context_Resume_Request_Transfer + ; + ; + ; + from the GNB entity + } + then { + the IUT entity sends a UE_CONTEXT_RESUME_FAILURE containing + AMF_UE_NGAP_ID, + RAN_UE_NGAP_ID, + Cause + ; + to the GNB entity + } + } + + } // end TP TP_NGAP_AMF_CMP_13 } // end Group "UE Context Resume" -- GitLab