Loading test_purposes/Ngnas_Common.tplan2 +4 −3 Original line number Diff line number Diff line Loading @@ -121,7 +121,9 @@ Package Ngnas_Common { ; events: - receives - receive - sends - send - forwards - aborts // Initial conditions Loading @@ -142,9 +144,9 @@ Package Ngnas_Common { - indicateUEderegistration ; event templates: /* This template can be used as default AUTHENTICATION REQUEST message within a DOWNLINK NAS TRANSFER message. */ /* This template can be used as default AUTHENTICATION REQUEST message within a DOWNLINK NAS TRANSPORT message. */ - AUTHENTICATION_REQUEST { the IUT entity sends an DOWNLINK_NAS_TRANSFER containing the IUT entity sends an DOWNLINK_NAS_TRANSPORT containing 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 NOT_SECURITY_PROTECTED, Loading @@ -171,7 +173,6 @@ Package Ngnas_Common { type Bitstring; type PIXIT; PIXIT PX_WRONG_ARP_IEI; //0x20 PIXIT PX_WRONG_ARP_IEI; //0x20 //Table 8.1-1 Loading Loading
test_purposes/Ngnas_Common.tplan2 +4 −3 Original line number Diff line number Diff line Loading @@ -121,7 +121,9 @@ Package Ngnas_Common { ; events: - receives - receive - sends - send - forwards - aborts // Initial conditions Loading @@ -142,9 +144,9 @@ Package Ngnas_Common { - indicateUEderegistration ; event templates: /* This template can be used as default AUTHENTICATION REQUEST message within a DOWNLINK NAS TRANSFER message. */ /* This template can be used as default AUTHENTICATION REQUEST message within a DOWNLINK NAS TRANSPORT message. */ - AUTHENTICATION_REQUEST { the IUT entity sends an DOWNLINK_NAS_TRANSFER containing the IUT entity sends an DOWNLINK_NAS_TRANSPORT containing 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 NOT_SECURITY_PROTECTED, Loading @@ -171,7 +173,6 @@ Package Ngnas_Common { type Bitstring; type PIXIT; PIXIT PX_WRONG_ARP_IEI; //0x20 PIXIT PX_WRONG_ARP_IEI; //0x20 //Table 8.1-1 Loading