Commit 6cc5e6ec authored by Bostjan Pintar's avatar Bostjan Pintar
Browse files

Empty comments removed, ! added to some comments to hide them during word conversion

parent 49ef8128
Loading
Loading
Loading
Loading
+2 −2
Original line number Diff line number Diff line
@@ -852,8 +852,8 @@ Package TP_AMF_NGAP {
                                            TAI_Slice_Support_List containing {
                                                S_NSSAI containing {
                                                    SST set to PX_SST,
                                                    SD set to PX_SD}}}}}//,
                            //Default_Paging_DRX
                                                    SD set to PX_SD}}}}},
                            //!Default_Paging_DRX
                            }}
                        from the GNB entity
                    }
+20 −20
Original line number Diff line number Diff line
@@ -43,7 +43,7 @@ Package TP_AMF_NGNAS {
                    when {
                        the IUT entity receives an INITIAL_UE_MESSAGE containing {
                        NAS_PDU containing {
                            extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                            extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, //!reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                            security_header_type set to NOT_SECURITY_PROTECTED,
                            message_type set to REGISTRATION_REQUEST,
                            5GS_registration_type containing {
@@ -61,7 +61,7 @@ Package TP_AMF_NGNAS {
                    then {
                        the IUT entity sends an DOWNLINK_NAS_TRANSPORT containing {
                            NAS_PDU containing {
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, //!reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                security_header_type set to NOT_SECURITY_PROTECTED,
                                message_type set to AUTHENTICATION_REQUEST,
                                ngKSI containing {
@@ -105,7 +105,7 @@ Package TP_AMF_NGNAS {
                    when {
                        the IUT entity receives an UPLINK_NAS_TRANSPORT containing {
                            NAS_PDU containing {
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, //!reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                security_header_type set to NOT_SECURITY_PROTECTED,
                                message_type set to AUTHENTICATION_RESPONSE,
                                authentication_response_parameter containing {
@@ -115,7 +115,7 @@ Package TP_AMF_NGNAS {
                    then {
                        the IUT entity sends an DOWNLINK_NAS_TRANSPORT containing {
                            NAS_PDU containing {
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, //!reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                security_header_type set to NOT_SECURITY_PROTECTED,
                                message_type set to AUTHENTICATION_REJECT}}
                        to the GNB entity
@@ -178,7 +178,7 @@ Package TP_AMF_NGNAS {
                    when {
                        the IUT entity receives an UPLINK_NAS_TRANSPORT containing {
                            NAS_PDU containing {
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, //!reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                security_header_type set to INTEGRITY_PROTECTED,
                                message_type set to AUTHENTICATION_FAILURE,
                                5GMM_cause set to MAC_failure}}
@@ -187,7 +187,7 @@ Package TP_AMF_NGNAS {
                    then {
                        the IUT entity sends an DOWNLINK_NAS_TRANSPORT containing {
                            NAS_PDU containing {
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, //!reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                security_header_type set to INTEGRITY_PROTECTED,
                                message_type set to IDENTITY_REQUEST,
                                identity_type set to SUCI}}
@@ -214,7 +214,7 @@ Package TP_AMF_NGNAS {
                            security_header_type set to NOT_SECURITY_PROTECTED,
                            message_type set to AUTHENTICATION_REQUEST,
                            ngKSI containing {
                                nas_key_set_identifier set to "111"}, //value for nas_key_set_identifier was already used before
                                nas_key_set_identifier set to "111"}, //!value for nas_key_set_identifier was already used before
                            ABBA containing {
                                ABBA_contents set to " '0000'H "},
                            Authentication_parameter_RAND set to RV_Authentication_parameter_RAND,
@@ -227,7 +227,7 @@ Package TP_AMF_NGNAS {
                    when {
                        the IUT entity receives an UPLINK_NAS_TRANSPORT containing {
                            NAS_PDU containing {
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, //!reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                security_header_type set to INTEGRITY_PROTECTED,
                                message_type set to AUTHENTICATION_FAILURE,
                                5GMM_cause set to ngKSI_already_in_use}}
@@ -275,7 +275,7 @@ Package TP_AMF_NGNAS {
                            ABBA containing {
                                ABBA_contents set to " '0000'H "},
                            Authentication_parameter_RAND set to RV_Authentication_parameter_RAND,
                            Authentication_parameter_AUTN set to PX_Authentication_parameter_AUTN_NON_5G_UNACCEPTABLE}} //the "separation bit" in the AMF field of AUTN is set to 0
                            Authentication_parameter_AUTN set to PX_Authentication_parameter_AUTN_NON_5G_UNACCEPTABLE}} //!the "separation bit" in the AMF field of AUTN is set to 0
                to the GNB entity
            }

@@ -284,7 +284,7 @@ Package TP_AMF_NGNAS {
                    when {
                        the IUT entity receives an UPLINK_NAS_TRANSPORT containing {
                            NAS_PDU containing {
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, //!reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                security_header_type set to INTEGRITY_PROTECTED,
                                message_type set to AUTHENTICATION_FAILURE,
                                5GMM_cause set to "Non-5G authentication unacceptable (26)"}}
@@ -333,17 +333,17 @@ Package TP_AMF_NGNAS {
            Expected behaviour
                ensure that {
                    when {
                        the IUT entity receives a UPLINK_NAS_TRANSPORT containing { // AUTHENTICATION_RESPONSE
                        the IUT entity receives a UPLINK_NAS_TRANSPORT containing { 
                            NAS_PDU containing {
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, //!reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                security_header_type set to NOT_SECURITY_PROTECTED,
                                message_type set to AUTHENTICATION_RESPONSE}} //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                message_type set to AUTHENTICATION_RESPONSE}} //!reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                    from the GNB entity
                    }
                    then {
                    the IUT entity sends an DOWNLINK_NAS_TRANSPORT containing { // SECURITY_MODE_COMMAND
                    the IUT entity sends an DOWNLINK_NAS_TRANSPORT containing { 
                        NAS_PDU containing {
                            extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                            extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, //!reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                            security_header_type set to INTEGRITY_PROTECTED_WITH_NEW_5G_NAS_SECURITY_CONTEXT,
                            message_type set to SECURITY_MODE_COMMAND,
                            selected_NAS_security_algorithms containing {
@@ -351,7 +351,7 @@ Package TP_AMF_NGNAS {
                                type_of_integrity_algorithm set to PX_SELECTED_NAS_INTEGRITY_ALGORITHM},
                            ngKSI containing {
                                nas_key_set_identifier set to "111"},
                            replayed_UE_security_capabilities set to PX_UE_SECURITY_CAPABILITIES}} // UE security capability 9.11.3.54
                            replayed_UE_security_capabilities set to PX_UE_SECURITY_CAPABILITIES}} //! UE security capability 9.11.3.54
                    to the GNB entity
                    }
                }
@@ -738,7 +738,7 @@ Package TP_AMF_NGNAS {
                                Home_network_public_key_identifier set to PX_HOME_NETWORK_PUBLIC_KEY_IDENTIFIER,
                                MSIN set to PX_MSIN},
                            5GS_update_type containing {
                                SMS_over_NAS_transport_requested set to 1}}} //SMS over NAS supported
                                SMS_over_NAS_transport_requested set to 1}}} //!SMS over NAS supported
                    from the GNB entity
                }
                then {
@@ -749,7 +749,7 @@ Package TP_AMF_NGNAS {
                            message_type set to REGISTRATION_ACCEPT,
                            5GS_registration_result containing {
                                5GS_registration_result_value set to 3GPP_ACCESS,
                                SMS_over_NAS_transport_allowed set to 1}}} //SMS over NAS allowed
                                SMS_over_NAS_transport_allowed set to 1}}} //!SMS over NAS allowed
                    to the GNB entity       
                }
            }
@@ -791,7 +791,7 @@ Package TP_AMF_NGNAS {
                                Home_network_public_key_identifier set to PX_HOME_NETWORK_PUBLIC_KEY_IDENTIFIER,
                                MSIN set to PX_MSIN},
                            5GS_update_type containing {
                                SMS_over_NAS_transport_requested set to 1}}} //SMS over NAS supported
                                SMS_over_NAS_transport_requested set to 1}}} //!SMS over NAS supported
                    from the GNB entity
                }
                then {
@@ -802,7 +802,7 @@ Package TP_AMF_NGNAS {
                            message_type set to REGISTRATION_ACCEPT,
                            5GS_registration_result containing {
                                5GS_registration_result_value set to 3GPP_ACCESS,
                                SMS_over_NAS_transport_allowed set to 0}}} //SMS over NAS not allowed
                                SMS_over_NAS_transport_allowed set to 0}}} //!SMS over NAS not allowed
                    to the GNB entity       
                }
            }