Commit e91e7cba authored by Bostjan Pintar's avatar Bostjan Pintar
Browse files

AMF_PDU_02 and AMF_PDU_03 tests added

parent 51dd180e
Loading
Loading
Loading
Loading
+128 −9
Original line number Diff line number Diff line
@@ -44,12 +44,12 @@ Package TP_AMF {
            ensure that {
                when {
                    the IUT entity receives an UPLINK_NAS_TRANSPORT containing
                        AMF_UE_NGAP_ID set to PX_AMF_UE_NGAP_ID,
                        AMF_UE_NGAP_ID set to RV_AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID set to PX_RAN_UE_NGAP_ID,
                        NAS_PDU containing
                            ul_nas_transport_message_identity set to UL_NAS_TRANSPORT,
                            payload_container containing 
                                    optional_IE_1 set to PDU_SESSION_ESTABLISHMENT_REQUEST;;,
                                    Message_type set to PDU_SESSION_ESTABLISHMENT_REQUEST;;,
                        User_Location_Information containing
                            nr_cgi containing
                                PLMN_Identity set to PX_PLMN_Identity;,
@@ -62,29 +62,29 @@ Package TP_AMF {
                }
                then {
                    the IUT entity sends a PDU_SESSION_RESOURCE_SETUP_REQUEST containing 
                        AMF_UE_NGAP_ID set to PX_AMF_UE_NGAP_ID,
                        AMF_UE_NGAP_ID set to RV_AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID set to PX_RAN_UE_NGAP_ID,
                        PDU_Session_Resource_Setup_Request_List containing
                            PDU_Session_Resource_Setup_Request_Item containing
                                PDU_SessionId set to RV_PDU_SessionId,
                                PDU_SessionId indicating value RV_PDU_SessionId,
                                PDU_Session_NAS_PDU containing
                                    uL_NAS_TRANSPORT_message_identity set to UL_NAS_TRANSPORT,
                                    payload_container containing
                                        optional_IE_1 set to PDU_SESSION_ESTABLISHMENT_REQUEST;;,
                                        Message_type set to PDU_SESSION_ESTABLISHMENT_REQUEST;;,
                                S_NSSAI containing
                                    SST set to PX_SST,
                                    SD set to PX_SD;,
                                PDU_Session_Resource_Setup_Request_Transfer containing
                                    UL_NG_U_UP_TNL_Information containing
                                        EndpointIPAddress set to PX_N3_ENDPOINT_IP_ADDRESS,
                                        GTP_TEID set to RV_GTP_TEID;,
                                        EndpointIPAddress indicating value RV_N3_ENDPOINT_IP_ADDRESS,
                                        GTP_TEID indicating value RV_GTP_TEID;,
                                    PDU_Session_Type set to IPv4,
                                    QoS_Flow_Setup_Request_List containing
                                        QoS_Flow_Setup_Request_Item containing
                                            QoSFlowIdentifier set to RV_QFI,
                                            QoSFlowIdentifier indicating value RV_QFI,
                                            QoSFlowLevelQosParameters containing
                                                QoSCharactersistics containing
                                                    Non_Dynamic_5QI set to RV_5QI;,
                                                    Non_Dynamic_5QI set to PX_5QI;,
                                                Allocation_and_Retention_Priority;;;;;;;
                     to the GNB entity
                }
@@ -92,6 +92,125 @@ Package TP_AMF {
            
        } // end TP_NGAP_AMF_PDU_01
    	 
    	Test Purpose {
		
        TP Id TP_NGAP_AMF_PDU_02 
        
        Test objective "Verify that the IUT sends a PDU_SESSION_RESOURCE_RELEASE_COMMAND to release PDU session."
        
        Reference 
            "ETSI TS 138 413 [1], Clauses 8.2.2.2 and 9.2.1.3" 
        
        Config Id CF_AMF_N2
        
        PICS Selection PICS_A2/2 and PICS_A4/1_2
        
        Initial conditions with {
            the UE entity hasEstablishedPDUsession
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives an UPLINK_NAS_TRANSPORT containing
                        AMF_UE_NGAP_ID set to RV_AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID set to PX_RAN_UE_NGAP_ID,
                        NAS_PDU containing
                            ul_nas_transport_message_identity set to UL_NAS_TRANSPORT,
                            payload_container containing 
                                PDU_SessionId indicating value PX_PDU_ID,
                                Message_type set to PDU_SESSION_RELEASE_REQUEST;;,
                        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;
                        ;
                    ;
                    from the GNB entity
                }
                then {
                    the IUT entity sends a PDU_SESSION_RESOURCE_RELEASE_COMMAND containing
                        AMF_UE_NGAP_ID set to RV_AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID set to PX_RAN_UE_NGAP_ID,
                        NAS_PDU containing
                            ul_nas_transport_message_identity set to DL_NAS_TRANSPORT,
                            payload_container containing 
                                Message_type set to PDU_SESSION_RELEASE_COMMAND;,
                            PDU_SessionId indicating value PX_PDU_ID,;
                        PDU_Session_Resource_To_Release_List containing
                          PDU_Session_Resource_To_Release_Item containing
                            PDU_SessionId indicating value PX_PDU_ID,
                            PDU_Session_Resource_Release_Command_Transfer containing
                              Cause indicating value PX_Cause;;;; //normal_release
                     to the GNB entity
                }
            }
        } // end 
    	 
    	Test Purpose {
		
        TP Id TP_NGAP_AMF_PDU_03 
        
        Test objective "Verify that the IUT sends a PDU_SESSION_RESOURCE_MODIFY_REQUEST to modify PDU session."
        
        Reference 
            "ETSI TS 138 413 [1], Clauses 8.2.3.2 and 9.2.1.5" 
        
        Config Id CF_AMF_N2
        
        PICS Selection PICS_A2/2 and PICS_A4/1_3
        
        Initial conditions with {
            the UE entity hasEstablishedPDUsession
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a PDU_SESSION_RESOURCE_SETUP_RESPONSE containing 
                        AMF_UE_NGAP_ID set to RV_AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID set to PX_RAN_UE_NGAP_ID,
                        PDU_Session_Resource_Setup_Response_List containing
                            PDU_Session_Resource_Setup_Response_Item containing
                                PDU_SessionId indicating value RV_PDU_SessionId,
                                PDU_Session_Resource_Setup_Response_Transfer containing
                                    DL_QoS_Flow_per_TNL_Information containing
                                        UP_Transport_Layer_Information contains
                                            EndpointIPAddress set to PX_N3_GNB_ADDRESS,
                                            GTP_TEID indicating value RV_GTP_TEID
                                        Associated_QoS_Flow_List containing
                                            Associated_QoS_Flow_Item containing
                                                QoS_Flow_Identifier set to RV_QFI;
                                    ;;;;
                     from the GNB entity
                	//the IUT entity indicate a PDU session resource modify procedure
                }
                then {
                    the IUT entity sends a PDU_SESSION_RESOURCE_MODIFY_REQUEST containing 
                        AMF_UE_NGAP_ID set to RV_AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID set to PX_RAN_UE_NGAP_ID,
                        PDU_Session_Resource_Modify_Request_List containing
                          PDU_Session_Resource_Modify_Request_Item containing
                            PDU_SessionId indicating value PX_PDU_ID,
                            PDU_Session_Resource_Modify_Request_Transfer containing
//                              UL_NG_U_UP_TNL_Modify_List containing
//                                UL_NG_U_UP_TNL_Modify_Item containing
//                                  UL_NG_U_UP_TNL_Information
//                                  DL_NG_U_UP_TNL_Information
//                                ;
//                              ;,
                              QoSFlowAddorModifyRequestList containing
                                QoSFlowAddorModifyRequestItem containing
                                  QoSFlowIdentifier set to RV_QFI;;;;;;
                     to the GNB entity
                }
            }
        } // end TP_NGAP_AMF_PDU_03


         
    } // end Group 8.2 PDU Session Management Procedures
    
    Group "8.3 UE Context Management Procedures"