Review of PDU test

    {

        import all from Ngap_Common;

    	Test Purpose {

        TP Id TP_NGAP_AMF_PDU_01 

        Test objective "Verify that the IUT upon reception of NAS PDU SESSION ESTABLISHMENT REQUEST sends a PDU SESSION RESOURCE SETUP REQUEST with at least one PDU session resource list to established PDU session."

        Reference 

            "ETSI TS 138 413 [1], Clauses 8.2.1.2 and 9.2.1.1" 

        Config Id CF_AMF_N2

        PICS Selection PICS_A2/2 and PICS_A4/1_1

        Initial conditions with {

            the UE entity isRegisteredTo the AMF

        }

        Expected behaviour

            ensure that {

                when {

                    the IUT entity receives an UPLINK_NAS_TRANSPORT containing

                        AMF_UE_NGAP_ID set to PX_AMF_UE_NGAP_ID,

                        RAN_UE_NGAP_ID set to PX_RAN_UE_NGAP_ID,

                        NAS_PDU containing

                            extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGE, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 

                            security_header_type set to INTEGRITY_PROTECTED,

                            ul_nas_transport_message_identity set to UL_NAS_TRANSPORT,

                            payload_container_type,

                            Payload_container containing containing

                                Plain_NAS_5GS_Message containing

                                    Message_type set to PDU_SESSION_ESTABLISHMENT_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 UE entity

                }

                then {

                    the IUT entity sends a PDU_SESSION_RESOURCE_SETUP_REQUEST containing 

                        AMF_UE_NGAP_ID set to PX_AMF_UE_NGAP_ID,

                        RAN_UE_NGAP_ID set to PX_RAN_UE_NGAP_ID,

                        PDU_Session_Resource_Setup_Request_List containing

                            PDU_SessionId,

                            S_NSSAI,

                            PDU_Session_Resource_Setup_Request_Transfer;;

                     to the GNB entity

                }

            }

        } // end TP_NGAP_AMF_PDU_01

    } // end Group 8.2 PDU Session Management Procedures

    Group "8.3 UE Context Management Procedures"