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

Clean PDU TP tplan added

parent b0f5ce4f
Loading
Loading
Loading
Loading
+12 −10
Original line number Diff line number Diff line
@@ -477,35 +477,37 @@ Package TP_AMF {
                
                Config Id CF_AMF_N2N1
                
                PICS Selection NONE
                PICS Selection PICS_A5/6

                Initial conditions with {                
                 the UE entity isNotRegisteredTo the AMF// TODO
                 the UE entity isRegisteredTo the AMF
                }    

                Expected behaviour
                ensure that {
                    when {
                        the IUT entity receives a UL_NAS_TRANSPORT containing 
                        the IUT entity receives a UPLINK_NAS_TRANSPORT containing 
                            NAS_PDU containing
                                extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                                   security_header_type set to NOT_SECURITY_PROTECTED, // TODO
                                uL_NAS_TRANSPORT_message_identity,
                                  security_header_type set to NOT_SECURITY_PROTECTED,
                                uL_NAS_TRANSPORT_message_identity set to UL_NAS_TRANSPORT,
                                payload_container containing 
                                    payload_container_type set to "N1 SM information",
                                    number_of_optional_IEs set to 1,
                                    optional_IE_1 set to "PDU SESSION ESTABLISHMENT REQUEST";, // TODO
                                    optional_IE_1 set to "PDU SESSION ESTABLISHMENT REQUEST";,
                                old_PDU_session_ID;;
                    from the UE entity
                    }
                    then {
                        the IUT entity sends an DL_NAS_TRANSPORT containing // TODO
                        the IUT entity sends an PDU_SESSION_RESOURCE_SETUP_REQUEST containing
                            NAS_PDU containing
                                extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                                   security_header_type set to NOT_SECURITY_PROTECTED, // TODO
                                uL_NAS_TRANSPORT_message_identity,
                                   security_header_type set to NOT_SECURITY_PROTECTED,
                                dL_NAS_TRANSPORT_message_identity set to DL_NAS_TRANSPORT,
                                payload_container containing 
                                    payload_container_type set to "N1 SM information";,
                                    payload_container_type set to "N1 SM information",
                                    number_of_optional_IEs set to 1,
                                    optional_IE_1 set to "PDU SESSION ESTABLISHMENT ACCEPT";,
                                pDU_session_ID;;
                    to the UE entity
                    }