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

TDL errors resolved for TP_5GNAS_AMF_AUT_REQ_03 and TP_5GNAS_AMF_SEC_ACC_01

parent e159aa20

test_purposes/TP_AMF_NGNAS.tdltx

+8 −4
Changes for test_purposes/TP_AMF_NGNAS.tdltx: 8 added lines, 4 removed lines.
Original line number Diff line number Diff line
@@ -140,9 +140,9 @@ Package TP_AMF_NGNAS { 
            with {

                the UE entity isNotRegisteredToAMF

                and (.) at time point start_initial_T3560         : event AUTHENTICATION_REQUEST occurs

                and (!) PX_T3560 after @start_initial_T3560 : event AUTHENTICATION_REQUEST occurs

                and (!) 2 * PX_T3560 after @start_initial_T3560 : event AUTHENTICATION_REQUEST occurs

                and (!) 3 * PX_T3560 after @start_initial_T3560 : event AUTHENTICATION_REQUEST occurs

                and (!) after @start_initial_T3560 + PX_T3560     : event AUTHENTICATION_REQUEST occurs

                and (!) after @start_initial_T3560 + PX_T3560 *  2: event AUTHENTICATION_REQUEST occurs

                and (!) after @start_initial_T3560 + PX_T3560 *  3: event AUTHENTICATION_REQUEST occurs

            }

            Expected behaviour

                ensure that {
@@ -398,7 +398,11 @@ Package TP_AMF_NGNAS { 
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,  

                                security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED_WITH_NEW_5G_NAS_SECURITY_CONTEXT,

                                message_type set to SECURITY_MODE_COMPLETE,

                                NAS_message_container set to the complete REGISTRATION_REQUEST}} //!the initial REGISTRATION_REQUEST carried only cleartext IEs (ETSI TS 124 501 clause 4.4.6)

                                NAS_message_container containing {

                                    NAS_PDU containing {

                                        message_type set to REGISTRATION_REQUEST,

                                        5GS_registration_type containing {

                                            5GS_registration_type_value set to INITIAL_REGISTRATION}}}}} //!the initial REGISTRATION_REQUEST carried only cleartext IEs (ETSI TS 124 501 clause 4.4.6)

                        from the GNB entity

                    }

                    then {