Commit 6cefa8ec authored by kretzschmann's avatar kretzschmann
Browse files

fix syntax errors

parent 54ada9b4

test_purposes/ngnas/TP_AMF_NGNAS.tplan2

+12 −9
Original line number Diff line number Diff line
@@ -128,9 +128,9 @@ Package TP_AMF { 
			Initial conditions with {

				the UE entity isNotRegisteredTo the AMF

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

				and (!) 6s after time point start_initial_T3560 : event AUTHENTICATION_REQUEST occurs

				and (!) 12s after time point start_initial_T3560 : event AUTHENTICATION_REQUEST occurs

				and (!) 18s after time point start_initial_T3560 : event AUTHENTICATION_REQUEST occurs

				and (!) 6s after start_initial_T3560 : event AUTHENTICATION_REQUEST occurs

				and (!) 12s after start_initial_T3560 : event AUTHENTICATION_REQUEST occurs

				and (!) 18s after start_initial_T3560 : event AUTHENTICATION_REQUEST occurs

			}

			Expected behaviour

				ensure that {
@@ -138,7 +138,7 @@ Package TP_AMF { 
						(.) at time point start_trigger_T3560 : event AUTHENTICATION_REQUEST occurs 

					}

					then {

						(!) 6s after time point start_trigger_T3560 : the IUT entity aborts AUTHENTICATION_REQUEST procedure

						(!) 6s after start_trigger_T3560 : the IUT entity aborts AUTHENTICATION_REQUEST procedure

						(Note 1: "It is not expected to receive another AUTHENTICATION message on the N2N1 interface.")

					}

				}
@@ -180,7 +180,6 @@ Package TP_AMF { 
								5GMM_cause set to MAC_failure

							;

						;

						;

						from the UE entity 

					}

					then {
@@ -220,7 +219,9 @@ Package TP_AMF { 
			Initial conditions with {

				the UE entity isNotRegisteredTo the AMF and

				event AUTHENTICATION_REQUEST occurs with {

					argument replaced by the security_header_type set to INTEGRITY_PROTECTED_WITH_NEW_5G_NAS_SECURITY_CONTEXT

					argument replaced by an AUTHENTICATION_REQUEST containing

						the security_header_type set to INTEGRITY_PROTECTED_WITH_NEW_5G_NAS_SECURITY_CONTEXT

					;

				}														

			}
@@ -233,6 +234,7 @@ Package TP_AMF { 
								security_header_type set to INTEGRITY_PROTECTED_WITH_NEW_5G_NAS_SECURITY_CONTEXT,

								authentication_response_message_identity set to AUTHENTICATION_RESPONSE, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 

							;

						;

					from the UE entity

					}

					then {
@@ -245,6 +247,7 @@ Package TP_AMF { 
							ngKSI, //TODO: see [1] Table 9.11.3.32.1

							replayed_UE_security_capabilities, // UE security capability 9.11.3.54	

						;

					;

					to the UE entity

					}

				}