Commit 2851eafd authored by Bostjan Pintar's avatar Bostjan Pintar
Browse files

Corrections due to meeting notes

parent 5a44e3ce
Loading
Loading
Loading
Loading
+52 −46
Original line number Original line Diff line number Diff line
@@ -45,9 +45,10 @@ Package TP_AMF {
            PICS Selection PICS_A2/2 and PICS_A4/2_1
            PICS Selection PICS_A2/2 and PICS_A4/2_1
        
        
            Initial conditions with {
            Initial conditions with {
                //the UE entity isRegisteredTo the AMF
                the gNB entity hasEstablished_NG_C_AssociationTo the AMF
                the UE entity startedRegistrationTo the AMF and
                the UE entity isNotRegisteredTo the AMF
                the AMF entity stertedAuthenticationAndSecurityNegotiationTo the UE
                //the UE entity startedRegistrationTo the AMF and
                //the AMF entity stertedAuthenticationAndSecurityNegotiationTo the UE
            }
            }
        
        
            Expected behaviour
            Expected behaviour
@@ -57,7 +58,8 @@ Package TP_AMF {
                        the IUT entity receives an UplinkNASTransport containing
                        the IUT entity receives an UplinkNASTransport containing
                            AMF_UE_NGAP_ID set to PX_AMF_UE_NGAP_ID,
                            AMF_UE_NGAP_ID set to PX_AMF_UE_NGAP_ID,
	                        RAN_UE_NGAP_ID set to PX_RAN_UE_NGAP_ID,
	                        RAN_UE_NGAP_ID set to PX_RAN_UE_NGAP_ID,
	                        NAS_PDU indicating value "SECURITY_MODE_COMPLETE",
	                        NAS_PDU containing
                                Message_identity set to SECURITY_MODE_COMPLETE;,
	                        User_Location_Information containing
	                        User_Location_Information containing
                                nr_cgi containing
                                nr_cgi containing
                                    PLMN_Identity set to PX_PLMN_Identity;,
                                    PLMN_Identity set to PX_PLMN_Identity;,
@@ -83,12 +85,13 @@ Package TP_AMF {
                                            SST set to PX_SST_Allowed,
                                            SST set to PX_SST_Allowed,
                                            SD set to PX_SD_Allowed;;;;,
                                            SD set to PX_SD_Allowed;;;;,
                            UE_Security_Capabilities containing
                            UE_Security_Capabilities containing
                                NR_Encryption_Algorithms,
                                NR_Encryption_Algorithms set to PX_NR_Encryption_Algorithms,
                                NR_Integrity_Protection_Algorithms,
                                NR_Integrity_Protection_Algorithms set to PX_NR_Integrity_Protection_Algorithms,
                                E_UTRA_Encryption_Algorithms,
                                E_UTRA_Encryption_Algorithms set to PX_E_UTRA_Encryption_Algorithms,
                                E_UTRA_Integrity_Protection_Algorithms;,
                                E_UTRA_Integrity_Protection_Algorithms set to PX_E_UTRA_Integrity_Protection_Algorithms;,
                            Security_Key,
                            Security_Key set to RV_Security_Key,
                            NAS_PDU indicating value "REGISTRATION ACCEPT";
                            NAS_PDU containing
                                Message_identity set to REGISTRATION_ACCEPT;
                        to the GNB entity
                        to the GNB entity
                    }
                    }
                }
                }
@@ -104,7 +107,7 @@ Package TP_AMF {
        
        
            TP Id TP_NGAP_AMF_CMP_02
            TP Id TP_NGAP_AMF_CMP_02
        
        
            Test objective "Verify that the IUT can send a UE CONTEXT RELEASE COMMAND that contains both the AMF UE NGAP ID IE and the RAN UE NGAP ID IE."
            Test objective "Verify that the IUT can send a UE CONTEXT RELEASE COMMAND that contains both the AMF_UE_NGAP_ID IE and the RAN_UE_NGAP_ID IE or only AMF_UE_NGAP_ID ."
        
        
            Reference 
            Reference 
                "ETSI TS 138 413 [1], Clauses 8.3.3 and 9.2.2.5" 
                "ETSI TS 138 413 [1], Clauses 8.3.3 and 9.2.2.5" 
@@ -121,7 +124,7 @@ Package TP_AMF {
            Expected behaviour
            Expected behaviour
                ensure that {
                ensure that {
                    when {  
                    when {  
                        the IUT entity indicate a UE context release command
                        the IUT entity process deregistration of the UE
                    }
                    }
                    then {
                    then {
                        the IUT entity sends a UE_CONTEXT_RELEASE_COMMAND containing      
                        the IUT entity sends a UE_CONTEXT_RELEASE_COMMAND containing      
@@ -129,7 +132,9 @@ Package TP_AMF {
                                UE_NGAP_ID_pair containing                   
                                UE_NGAP_ID_pair containing                   
                                    AMF_UE_NGAP_ID set to PX_AMF_UE_NGAP_ID,
                                    AMF_UE_NGAP_ID set to PX_AMF_UE_NGAP_ID,
                                    RAN_UE_NGAP_ID set to PX_RAN_UE_NGAP_ID
                                    RAN_UE_NGAP_ID set to PX_RAN_UE_NGAP_ID
                                ;
                                ;,
                                AMF UE NGAP ID containing
                                    AMF_UE_NGAP_ID set to PX_AMF_UE_NGAP_ID;
                            ;,
                            ;,
                            Cause set to "nas=deregister"
                            Cause set to "nas=deregister"
                        ;
                        ;
@@ -140,7 +145,7 @@ Package TP_AMF {
                
                
            Test Purpose {
            Test Purpose {
        
        
            TP Id TP_NGAP_AMF_CMP_03
            TP Id TP_NGAP_AMF_CMP_03_CAN_BE_DELETED_NOW
        
        
            Test objective "Verify that the IUT can send a UE CONTEXT RELEASE COMMAND where only AMF_UE_NGAP_ID is present."
            Test objective "Verify that the IUT can send a UE CONTEXT RELEASE COMMAND where only AMF_UE_NGAP_ID is present."
        
        
@@ -322,9 +327,9 @@ Package TP_AMF {
             
             
            Test Purpose {
            Test Purpose {
            
            
            TP Id TP_NGAP_AMF_NAS_01_TODO
            TP Id TP_NGAP_AMF_NAS_01_PROPOSAL
            
            
            Test objective "Verify that the IUT can send a DOWNLINK NAS TRANSPORT message to carry NAS information over the NG interface."
            Test objective "Verify that the IUT can send a DOWNLINK NAS TRANSPORT message to carry NAS information over the NG interface after INITIAL UE MESSAGE to start with UE registration procedure."
            
            
            Reference 
            Reference 
                "ETSI TS 138 413 [1], Clauses 8.6.2.2, 9.2.5.1 and 9.2.5.2",
                "ETSI TS 138 413 [1], Clauses 8.6.2.2, 9.2.5.1 and 9.2.5.2",
@@ -335,25 +340,33 @@ Package TP_AMF {
            PICS Selection PICS_A2/2 and PICS_A4/5_2
            PICS Selection PICS_A2/2 and PICS_A4/5_2
            
            
            Initial conditions with {
            Initial conditions with {
                the UE entity isCMCONNECTED and
                //the UE entity isCMCONNECTED and
                the GNB entity hasReceivedNASMessage from the UE entity
                //the GNB entity hasReceivedNASMessage from the UE entity
                the gNB entity hasEstablished_NG_C_AssociationTo the AMF
            }
            }
            
            
            Expected behaviour
            Expected behaviour
                ensure that {
                ensure that {
                    when {
                    when {
                        the IUT entity receives an INITIAL_UE_MESSAGE containing
                        the IUT entity receives an INITIAL_UE_MESSAGE containing
                            RAN_UE_NGAP_ID,
                            RAN_UE_NGAP_ID set to PX_AMF_UE_NGAP_ID,
                            NAS_PDU,
                            NAS_PDU containing
                            User_Location_Information,
                                Message_identity set to REGISTRATION_ACCEPT;,
                            RRC_Establishmnet_Cause;
                            User_Location_Information containing
                                nr_cgi containing
                                    PLMN_Identity set to PX_PLMN_Identity;,
                                tai containing
                                    PLMN_Identity set to PX_PLMN_Identity,
                                    TAC set to PX_TAC;;;,
                            RRC_Establishmnet_Cause set to mo-Signalling;
                         from the GNB entity
                         from the GNB entity
                    }
                    }
                    then {
                    then {
                        the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing
                        the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing
                            AMF_UE_NGAP_ID,
                            AMF_UE_NGAP_ID set to PX_AMF_UE_NGAP_ID,
                            RAN_UE_NGAP_ID,
                            RAN_UE_NGAP_ID set to PX_RAN_NODE_NAME,
                            NAS_PDU;   
                            NAS_PDU containing
                                Message_identity set to AUTHENTICATION_REQUEST;;   
                         to the GNB entity       
                         to the GNB entity       
                    }
                    }
                   }
                   }
@@ -389,8 +402,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 gNB entity hasNotEstablished_NG-C_AssociationTo the AMF
                the gNB entity hasNotEstablished_NG_C_AssociationTo the AMF
                //the UE entity hasEstablishedRRCConnection
            }
            }
            
            
            Expected behaviour
            Expected behaviour
@@ -416,13 +428,13 @@ Package TP_AMF {
                    }
                    }
                    then {
                    then {
                        the IUT entity sends an NG_SETUP_RESPONSE containing
                        the IUT entity sends an NG_SETUP_RESPONSE containing
                            //AMF_Name indicating value RV_AMF_Name, 
                            AMF_Name indicating value PX_AMF_Name, 
                            Served_GUAMI_List containing
                            Served_GUAMI_List containing
                                Served_GUAMI_Item containing
                                Served_GUAMI_Item containing
                                    GUAMI containing
                                    GUAMI containing
                                        PLMN_Identity set to PX_PLMN_Identity,  
                                        PLMN_Identity set to RV_PLMN_Identity,  
                                        AMF_Region_ID set to PX_AMF_Region_ID,
                                        AMF_Region_ID set to RV_AMF_Region_ID,
                                        AMF_Set_ID set to PX_AMF_Set_ID,
                                        AMF_Set_ID set to RV_AMF_Set_ID,
                                        AMF_Pointer set to PX_AMF_Pointer_ID;;;, 
                                        AMF_Pointer set to PX_AMF_Pointer_ID;;;, 
                            PLMN_Support_List containing
                            PLMN_Support_List containing
                                PLMN_Support_Item containing
                                PLMN_Support_Item containing
@@ -451,8 +463,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 gNB entity hasNotEstablished_NG-C_AssociationTo the AMF
                the gNB entity hasEstablishedTNL_AssociationTo the AMF
                //the UE entity hasEstablishedRRCConnection
            }
            }
            
            
            Expected behaviour
            Expected behaviour
@@ -495,8 +506,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 gNB entity hasNotEstablished_NG-C_AssociationTo the AMF
                the gNB entity hasEstablishedTNL_AssociationTo the AMF
                //the UE entity hasEstablishedRRCConnection
            }
            }
            
            
            Expected behaviour
            Expected behaviour
@@ -534,13 +544,13 @@ Package TP_AMF {
                    }
                    }
                    then {
                    then {
                        the IUT entity sends an NG_SETUP_RESPONSE containing
                        the IUT entity sends an NG_SETUP_RESPONSE containing
                            //AMF_Name indicating value RV_AMF_Name, 
                            AMF_Name indicating value PX_AMF_Name, 
                            Served_GUAMI_List containing
                            Served_GUAMI_List containing
                                Served_GUAMI_Item containing
                                Served_GUAMI_Item containing
                                    GUAMI containing
                                    GUAMI containing
                                        PLMN_Identity set to PX_PLMN_Identity,  
                                        PLMN_Identity set to RV_PLMN_Identity,  
                                        AMF_Region_ID set to PX_AMF_Region_ID,
                                        AMF_Region_ID set to RV_AMF_Region_ID,
                                        AMF_Set_ID set to PX_AMF_Set_ID,
                                        AMF_Set_ID set to RV_AMF_Set_ID,
                                        AMF_Pointer set to PX_AMF_Pointer_ID;;;, 
                                        AMF_Pointer set to PX_AMF_Pointer_ID;;;, 
                            Relative_AMF_Capacity,
                            Relative_AMF_Capacity,
                            PLMN_Support_List containing
                            PLMN_Support_List containing
@@ -584,8 +594,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
                the gNB entity hasEstablished_NG_C_AssociationTo the AMF
                the gNB entity hasEstablished_NG-C_AssociationTo the AMF
             
             
            }
            }
            
            
@@ -626,8 +635,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
                the gNB entity hasEstablished_NG_C_AssociationTo the AMF
                the gNB entity hasEstablished_NG-C_AssociationTo the AMF
            }
            }
            
            
            Expected behaviour
            Expected behaviour
@@ -680,9 +688,7 @@ Package TP_AMF {
            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 and
                the gNB entity hasEstablished_NG_C_AssociationTo the AMF
                //the UE entity isRequestedToDetachfromNetwork
                the gNB entity hasEstablished_NG-C_AssociationTo the AMF
            }
            }
            
            
            Expected behaviour
            Expected behaviour