Changes for test_purposes/TP_AMF_NGNAS.tdltx: 55 added lines, 31 removed lines.
Original line number
Diff line number
Diff line
@@ -59,9 +59,10 @@ Package TP_AMF_NGNAS {
Protection_scheme_id set to PX_PROTECTION_SCHEME_ID,
Home_network_public_key_identifier set to PX_HOME_NETWORK_PUBLIC_KEY_IDENTIFIER,
MSIN set to PX_MSIN}}}
from the GNB entity
}
then {
the IUT entity sends an DOWNLINK_NAS_TRANSPORT containing {
the IUT entity sends a 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
security_header_type set to NOT_SECURITY_PROTECTED,
@@ -116,7 +117,7 @@ Package TP_AMF_NGNAS {
from the GNB entity
}
then {
the IUT entity sends an DOWNLINK_NAS_TRANSPORT containing {
the IUT entity sends a 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
security_header_type set to NOT_SECURITY_PROTECTED,
@@ -185,7 +186,7 @@ Package TP_AMF_NGNAS {
from the GNB entity
}
then {
the IUT entity sends an DOWNLINK_NAS_TRANSPORT containing {
the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing {
NAS_PDU containing {
extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
security_header_type set to NOT_SECURITY_PROTECTED, //!no 5G NAS security context yet
@@ -209,7 +210,7 @@ Package TP_AMF_NGNAS {
Initial conditions
with {
the UE entity isNotRegisteredToAMF and
the IUT entity sends an DOWNLINK_NAS_TRANSPORT containing {
the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing {
NAS_PDU containing {
extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
security_header_type set to NOT_SECURITY_PROTECTED,
@@ -236,7 +237,7 @@ Package TP_AMF_NGNAS {
from the GNB entity
}
then {
the IUT entity sends an DOWNLINK_NAS_TRANSPORT containing {
the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing {
NAS_PDU containing {
extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
security_header_type set to NOT_SECURITY_PROTECTED,
@@ -268,7 +269,7 @@ Package TP_AMF_NGNAS {
Initial conditions
with {
the UE entity isNotRegisteredToAMF and
the IUT entity sends an DOWNLINK_NAS_TRANSPORT containing {
the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing {
NAS_PDU containing {
extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
security_header_type set to NOT_SECURITY_PROTECTED,
@@ -295,7 +296,7 @@ Package TP_AMF_NGNAS {
from the GNB entity
}
then {
the IUT entity sends an DOWNLINK_NAS_TRANSPORT containing {
the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing {
NAS_PDU containing {
extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
security_header_type set to NOT_SECURITY_PROTECTED,
@@ -347,7 +348,7 @@ Package TP_AMF_NGNAS {
from the GNB entity
}
then {
the IUT entity sends an DOWNLINK_NAS_TRANSPORT containing {
the IUT entity sends a 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
security_header_type set to INTEGRITY_PROTECTED_WITH_NEW_5G_NAS_SECURITY_CONTEXT,
@@ -406,7 +407,7 @@ Package TP_AMF_NGNAS {
from the GNB entity
}
then {
the IUT entity sends a INITIAL_CONTEXT_SETUP_REQUEST containing {
the IUT entity sends an INITIAL_CONTEXT_SETUP_REQUEST containing {
NAS_PDU containing {
extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED, //!with the new 5G NAS security context: MAC verified and message deciphered with its keys
@@ -465,7 +466,7 @@ Package TP_AMF_NGNAS {
}
then {
// PX_SEC_ABORT_TWAIT: observation timer to verify that no further registration progression occurs
(!) PX_SEC_ABORT_TWAIT after @reject_received : the IUT entity does not send a INITIAL_CONTEXT_SETUP_REQUEST containing {
(!) PX_SEC_ABORT_TWAIT after @reject_received : the IUT entity does not send an INITIAL_CONTEXT_SETUP_REQUEST containing {
NAS_PDU containing {
extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
message_type set to REGISTRATION_ACCEPT}}
@@ -714,7 +715,7 @@ Package TP_AMF_NGNAS {
// The IUT authenticates the UE and runs the security mode control procedure first: the test system, as the UE,
// answers the AUTHENTICATION_REQUEST with the valid RES* and the SECURITY_MODE_COMMAND with a
// SECURITY_MODE_COMPLETE; the IUT then sends the REGISTRATION_ACCEPT
the IUT entity sends a INITIAL_CONTEXT_SETUP_REQUEST containing {
the IUT entity sends an INITIAL_CONTEXT_SETUP_REQUEST containing {
NAS_PDU containing {
extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
@@ -807,7 +808,7 @@ Package TP_AMF_NGNAS {
from the GNB entity
}
then {
the IUT entity sends a INITIAL_CONTEXT_SETUP_REQUEST containing {
the IUT entity sends an INITIAL_CONTEXT_SETUP_REQUEST containing {
NAS_PDU containing {
extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
@@ -870,7 +871,7 @@ Package TP_AMF_NGNAS {
from the GNB entity
}
then {
the IUT entity sends a INITIAL_CONTEXT_SETUP_REQUEST containing {
the IUT entity sends an INITIAL_CONTEXT_SETUP_REQUEST containing {
NAS_PDU containing {
extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
@@ -937,7 +938,7 @@ Package TP_AMF_NGNAS {
from the GNB entity
}
then {
the IUT entity sends a INITIAL_CONTEXT_SETUP_REQUEST containing {
the IUT entity sends an INITIAL_CONTEXT_SETUP_REQUEST containing {
NAS_PDU containing {
extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
@@ -1022,7 +1023,7 @@ Package TP_AMF_NGNAS {
from the GNB entity
}
then {
the IUT entity sends a INITIAL_CONTEXT_SETUP_REQUEST containing {
the IUT entity sends an INITIAL_CONTEXT_SETUP_REQUEST containing {
NAS_PDU containing {
extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
@@ -1702,7 +1703,7 @@ Package TP_AMF_NGNAS {
SD set to PX_SD_Default}},
Rejected_NSSAI containing {
S_NSSAI_1 containing {
Cause set to "NSSAI not available in the current PLMN or SNPN",
Cause set to "S-NSSAI not available in the current PLMN or SNPN",
SST set to PX_SST_Rejected,
SD set to PX_SD_Rejected}}
}
@@ -1718,7 +1719,7 @@ Package TP_AMF_NGNAS {
SD set to PX_SD_Default}},
Rejected_NSSAI containing {
S_NSSAI_1 containing {
Cause set to "NSSAI not available in the current PLMN or SNPN",
Cause set to "S-NSSAI not available in the current PLMN or SNPN",
SST set to PX_SST_Rejected,
SD set to PX_SD_Rejected}}
}
@@ -2078,26 +2079,44 @@ Package TP_AMF_NGNAS {
then {
//(Note 1: "The IUT may initiate 5GMM common procedures (identification, authentication, security mode control) before sending the REGISTRATION_ACCEPT message (TS 124 501 [1], clause 5.5.1.3.3).")
// not PICS_NGAP_A4_5_2_1: REGISTRATION_ACCEPT conveyed in the NAS_PDU IE of INITIAL_CONTEXT_SETUP_REQUEST
event REGISTRATION_ACCEPT_VIA_N2_INITIAL_CONTEXT_SETUP occurs with
{
argument replaced by an NAS_PDU containing {
the IUT entity sends an INITIAL_CONTEXT_SETUP_REQUEST containing {
NAS_PDU containing {
extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
message_type set to REGISTRATION_ACCEPT,
5G_GUTI containing {
Type_of_identity set to 5G_GUTI,
MCC set to PX_MCC,
MNC set to PX_MNC,
AMF_Region_ID set to PX_AMF_REGION_ID,
AMF_Set_ID set to PX_AMF_SET_ID,
AMF_Pointer set to PX_AMF_POINTER,
5G_TMSI set to RV_5G_TMSI},
Allowed_NSSAI containing {
S_NSSAI_1 containing {
SST set to PX_SST_Default,
SD set to PX_SD_Default}}
}
}
SD set to PX_SD_Default}}}}
to the TARGET_GNB entity
or
// PICS_NGAP_A4_5_2_1: INITIAL_CONTEXT_SETUP_REQUEST without NAS_PDU IE; REGISTRATION_ACCEPT conveyed in DOWNLINK_NAS_TRANSPORT
event REGISTRATION_ACCEPT_VIA_N2_DOWNLINK_NAS_TRANSPORT occurs with
{
argument replaced by an NAS_PDU containing {
the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing {
NAS_PDU containing {
extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
message_type set to REGISTRATION_ACCEPT,
5G_GUTI containing {
Type_of_identity set to 5G_GUTI,
MCC set to PX_MCC,
MNC set to PX_MNC,
AMF_Region_ID set to PX_AMF_REGION_ID,
AMF_Set_ID set to PX_AMF_SET_ID,
AMF_Pointer set to PX_AMF_POINTER,
5G_TMSI set to RV_5G_TMSI},
Allowed_NSSAI containing {
S_NSSAI_1 containing {
SST set to PX_SST_Default,
SD set to PX_SD_Default}}
}
}
SD set to PX_SD_Default}}}}
to the TARGET_GNB entity
and
the IUT entity accepts an UPLINK_NAS_TRANSPORT containing {
NAS_PDU containing {
@@ -2338,8 +2357,13 @@ Package TP_AMF_NGNAS {
the UE entity hasEstablishedInitialContext
}
then {
repeat 4 times : {
(!) after PX_T3550 : event REGISTRATION_ACCEPT_VIA_N2_DOWNLINK_NAS_TRANSPORT occurs
(!) after @start_T3550 + PX_T3550 : event REGISTRATION_ACCEPT_VIA_N2_DOWNLINK_NAS_TRANSPORT occurs
and (!) after @start_T3550 + PX_T3550 * 2: event REGISTRATION_ACCEPT_VIA_N2_DOWNLINK_NAS_TRANSPORT occurs
and (!) after @start_T3550 + PX_T3550 * 3: event REGISTRATION_ACCEPT_VIA_N2_DOWNLINK_NAS_TRANSPORT occurs
and (!) after @start_T3550 + PX_T3550 * 4: event REGISTRATION_ACCEPT_VIA_N2_DOWNLINK_NAS_TRANSPORT occurs
//! followig syntax is also allowed instead above one
//!repeat 4 times : {
//! (!) after PX_T3550 : event REGISTRATION_ACCEPT_VIA_N2_DOWNLINK_NAS_TRANSPORT occurs
