Commit f6803172 authored by Konrad Schaupp's avatar Konrad Schaupp
Browse files

Review of last changes

parent 7ea2c04a
Loading
Loading
Loading
Loading
+13 −12
Original line number Diff line number Diff line
@@ -51,13 +51,13 @@ Package TP_GNB {

            Initial conditions with {
                the UE entity isRegisteredTo the AMF and
                the UE entity hasEstablishedInitialContext
                the UE entity hasEstablished PDU Session
            }

            Expected behaviour
                ensure that {
                    when {
                        the IUT entity indicate a UE context release request
                        the u_Plane inacivity timer expires
                    }
                    then {
                        the IUT entity sends a UE_CONTEXT_RELEASE_REQUEST containing
@@ -66,7 +66,7 @@ Package TP_GNB {
                            PDU_Session_Resource_List containing
	                            PDU_Session_Resource_Item containing
	                                PDU_SessionId indicating value PX_PDU_SessionId;;,
                            Cause set to "RadioNetwork=user-inactivity";
                            Cause set to "RadioNetwork.user-inactivity";
                        to the AMF entity
                    }

@@ -192,7 +192,7 @@ Package TP_GNB {

            TP Id TP_NGAP_GNB_IMP_01
            
            Test objective "Verify the GNB node after TNL establishment sends an NG SETUP REQUEST message to the AMF."
            Test objective "Verify the GNB node after TNL establishment sends NG SETUP REQUEST message to the AMF."
            
            Reference 
                "ETSI TS 138 413 [1], Clauses 8.7.1.2 and 9.2.6.1" 
@@ -204,7 +204,7 @@ Package TP_GNB {
            Expected behaviour
                ensure that {
                    when {
                        the IUT entity after_ the successful_TNL_estabishment
                        the IUT has successfully established the TNL connection
                    }
                    then {
                        the IUT entity sends an NG_SETUP_REQUEST containing      
@@ -220,9 +220,8 @@ Package TP_GNB {
                                            PLMN_Identity set to PX_PLMN_Identity,
                                            TAI_Slice_Support_List containing
                                                S_NSSAI containing
                                                    SST set to PX_SST,
                                                    SD set to PX_SD;;;;;
                            ;;
                                                    SST set to PX_SST;;;;;,
                            Default Paging DRX set to PX_GNB_DEF_DRX;
                         to the AMF entity
                    }
                }
@@ -273,6 +272,7 @@ Package TP_GNB {
                    }
                    then {
                        the IUT entity sends an NG_RESET_ACKNOWLEDGE 
							not containing UE_associated_Logical_NGconnection_List;
                        to the AMF entity
                    }
                }
@@ -292,8 +292,7 @@ Package TP_GNB {
            PICS Selection PICS_A2/1 and PICS_A3/6_4

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

            Expected behaviour
@@ -311,6 +310,7 @@ Package TP_GNB {
                    }
                    then {
                        the IUT entity sends an NG_RESET_ACKNOWLEDGE
							not containing UE_associated_Logical_NGconnection_List;
                        to the AMF entity
                    }
                }
@@ -378,7 +378,7 @@ Package TP_GNB {

        TP Id TP_NGAP_GNB_URP_01

        Test objective "Verify that the IUT can send a UE_RADIO_CAPABILITY_INFO_INDICATION."
        Test objective "Verify that the IUT sends correct UE_RADIO_CAPABILITY_INFO_INDICATION."

        Reference
            "ETSI TS 138 413 [1], Clauses 8.14.1.2 and 9.2.13.1"
@@ -396,6 +396,7 @@ Package TP_GNB {
                when {

                    the IUT entity receives a INITIAL_CONTEXT_SETUP_REQUEST
					   not containing UE_Radio_Capability;
                }
                then {
                    the IUT entity sends a UE_RADIO_CAPABILITY_INFO_INDICATION containing