Commit 1b468ef2 authored by juvancic's avatar juvancic
Browse files

Merge branch 'TTF_T041' of https://forge.etsi.org/rep/int/5g-core/nas into TTF_T041

parents 3c2e0c2d c853c933
Loading
Loading
Loading
Loading
+44 −8
Original line number Original line Diff line number Diff line
@@ -384,6 +384,40 @@ Package TP_AMF {
				}
				}
			} // end TP_NGNAS_AMF_AUT_SEQ_01
			} // end TP_NGNAS_AMF_AUT_SEQ_01
			
			
			Test Purpose {
			
			TP Id TP_NGNAS_AMF_AUT_SEQ_02
			
			Test objective "Verify that the IUT, upon receiving the NAS Security Mode Complete Message after completing the NAS Authentication and Security procedure, successfully completes the registration process by accepting the registration."
					
			Reference 
				"ETSI TS 124 501 [1], Clause 5.4.2.2, Clause 8.2.26"
			
			Config Id CF_AMF_N2N1
			
			PICS Selection NONE
			
			// TODO
						 								
			} // end TP_NGNAS_AMF_AUT_SEQ_02
			
			Test Purpose {
			
			TP Id TP_NGNAS_AMF_AUT_SEQ_03
			
			Test objective "Verify that the IUT, upon receiving the NAS Security Mode Reject Message after a failed NAS Authentication and security procedure, successfully aborts the registration process by rejecting the registration."
			
			Reference 
				"ETSI TS 124 501 [1], Clause 5.4.2.5, Clause 8.2.27"
			
			Config Id CF_AMF_N2N1
			
			PICS Selection NONE
			
			// TODO
						 								
			} // end TP_NGNAS_AMF_AUT_SEQ_03

			Test Purpose {
			Test Purpose {
			
			
				TP Id TP_5GNAS_AMF_SEC_ACC_01 
				TP Id TP_5GNAS_AMF_SEC_ACC_01 
@@ -513,24 +547,24 @@ Package TP_AMF {
				
				
				Config Id CF_AMF_N2N1
				Config Id CF_AMF_N2N1
				
				
				PICS Selection NONE
				PICS Selection PICS_A5/6


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


				Expected behaviour
				Expected behaviour
				ensure that {
				ensure that {
					when {
					when {
						the IUT entity receives a UL_NAS_TRANSPORT containing 
						the IUT entity receives a UPLINK_NAS_TRANSPORT containing 
							NAS_PDU containing
							NAS_PDU containing
								extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
								extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
	                       		security_header_type set to NOT_SECURITY_PROTECTED, // TODO
	                       		security_header_type set to NOT_SECURITY_PROTECTED,
								uL_NAS_TRANSPORT_message_identity,
								uL_NAS_TRANSPORT_message_identity,
								payload_container containing 
								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,
									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
								old_PDU_session_ID
							;
							;
@@ -538,13 +572,15 @@ Package TP_AMF {
					from the UE entity
					from the UE entity
					}
					}
					then {
					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
							NAS_PDU containing
								extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
								extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
	                       		security_header_type set to NOT_SECURITY_PROTECTED, // TODO
	                       		security_header_type set to NOT_SECURITY_PROTECTED,
								uL_NAS_TRANSPORT_message_identity,
								dL_NAS_TRANSPORT_message_identity,
								payload_container containing 
								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
								pDU_session_ID
							;
							;
+12 −10
Original line number Original line Diff line number Diff line
@@ -477,35 +477,37 @@ Package TP_AMF {
                
                
                Config Id CF_AMF_N2N1
                Config Id CF_AMF_N2N1
                
                
                PICS Selection NONE
                PICS Selection PICS_A5/6


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


                Expected behaviour
                Expected behaviour
                ensure that {
                ensure that {
                    when {
                    when {
                        the IUT entity receives a UL_NAS_TRANSPORT containing 
                        the IUT entity receives a UPLINK_NAS_TRANSPORT containing 
                            NAS_PDU containing
                            NAS_PDU containing
                                extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                                extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                                   security_header_type set to NOT_SECURITY_PROTECTED, // TODO
                                  security_header_type set to NOT_SECURITY_PROTECTED,
                                uL_NAS_TRANSPORT_message_identity,
                                uL_NAS_TRANSPORT_message_identity set to UL_NAS_TRANSPORT,
                                payload_container containing 
                                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,
                                    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;;
                                old_PDU_session_ID;;
                    from the UE entity
                    from the UE entity
                    }
                    }
                    then {
                    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
                            NAS_PDU containing
                                extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                                extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                                   security_header_type set to NOT_SECURITY_PROTECTED, // TODO
                                   security_header_type set to NOT_SECURITY_PROTECTED,
                                uL_NAS_TRANSPORT_message_identity,
                                dL_NAS_TRANSPORT_message_identity set to DL_NAS_TRANSPORT,
                                payload_container containing 
                                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;;
                                pDU_session_ID;;
                    to the UE entity
                    to the UE entity
                    }
                    }