Edit help spellcheck updates (576c0eda) · Commits · INT - Core Network and Interoperability Testing / Voice and Video over LTE / VxLTE Interoperability Tests

test_purposes/Ic/TP_IC.tplan2

+24 −24

Original line number	Diff line number	Diff line
		@@ -40,7 +40,7 @@ Package TP_IC {
		ensure that {
		when {
		the UE_A entity sends a MESSAGE
		containing Message_Body_Size indicating value greater than 1300 bytes ;
		containing Message_Body_Size indicating value greater than 1_300 bytes ;
		to the IMS_A entity
		}
		then {
		@@ -97,7 +97,7 @@ Package TP_IC {
		Expected behaviour
		ensure that {
		when {
		the UE_A entity sends an intial INVITE "addressed to UE_B" to the IMS_A entity
		the UE_A entity sends an initial INVITE "addressed to UE_B" to the IMS_A entity
		}
		then {
		the IMS_IBCF_A entity forwards the initial INVITE containing
		@@ -225,7 +225,7 @@ Package TP_IC {
		Expected behaviour
		ensure that {
		when {
		the UE_B entity sends an intial INVITE "addressed to UE_A" to the IMS_A entity
		the UE_B entity sends an initial INVITE "addressed to UE_A" to the IMS_A entity
		}
		then {
		the IMS_IBCF_A entity forwards the initial INVITE containing
		@@ -274,7 +274,7 @@ Package TP_IC {
		Expected behaviour
		ensure that {
		when {
		the UE_A entity sends an intial INVITE "addressed to roaming UE_B" to the IMS_A entity
		the UE_A entity sends an initial INVITE "addressed to roaming UE_B" to the IMS_A entity
		}
		then {
		the IMS_IBCF_A entity receives the initial INVITE
		@@ -306,7 +306,7 @@ Package TP_IC {
		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity
		the UE_A entity hasReceivedInitialRequestForDialog from the UE_B entity
		}

		Expected behaviour
		@@ -341,7 +341,7 @@ Package TP_IC {
		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity
		the UE_A entity hasReceivedInitialRequestForDialog from the UE_B entity
		}

		Expected behaviour
		@@ -374,7 +374,7 @@ Package TP_IC {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity registeredPublicIdsWithTelUriAndSipUri and
		the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity
		the UE_A entity hasReceivedInitialRequestForDialog from the UE_B entity
		}

		Expected behaviour
		@@ -407,7 +407,7 @@ Package TP_IC {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity registeredPublicIdsWithTelUriAndSipUri and
		the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity
		the UE_A entity hasReceivedInitialRequestForDialog from the UE_B entity
		}

		Expected behaviour
		@@ -439,7 +439,7 @@ Package TP_IC {
		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity
		the UE_A entity hasReceivedInitialRequestForDialog from the UE_B entity
		}

		Expected behaviour
		@@ -480,7 +480,7 @@ Package TP_IC {
		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_B and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_B entity hasReceivedIntialRequestForDialog from the UE_A entity
		the UE_B entity hasReceivedInitialRequestForDialog from the UE_A entity
		}

		Expected behaviour
		@@ -522,7 +522,7 @@ Package TP_IC {
		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_A and
		the UE_B entity hasReceivedIntialRequestForDialog from the UE_A entity
		the UE_B entity hasReceivedInitialRequestForDialog from the UE_A entity
		}

		Expected behaviour
		@@ -637,7 +637,7 @@ Package TP_IC {
		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity
		the UE_A entity hasReceivedInitialRequestForDialog from the UE_B entity
		}

		Expected behaviour
		@@ -706,7 +706,7 @@ Package TP_IC {
		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_B and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_B entity hasReceivedIntialRequestForDialog from the UE_A entity
		the UE_B entity hasReceivedInitialRequestForDialog from the UE_A entity
		}

		Expected behaviour
		@@ -748,7 +748,7 @@ Package TP_IC {
		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_A and
		the UE_B entity hasReceivedIntialRequestForDialog from the UE_A entity
		the UE_B entity hasReceivedInitialRequestForDialog from the UE_A entity
		}

		Expected behaviour
		@@ -975,7 +975,7 @@ Package TP_IC {
		Expected behaviour
		ensure that {
		when {
		the UE_A entity sends an intial INVITE "addressed to UE_B" to the IMS_A entity
		the UE_A entity sends an initial INVITE "addressed to UE_B" to the IMS_A entity
		}
		then {
		the IMS_IBCF_A entity receives the INVITE
		@@ -1008,7 +1008,7 @@ Package TP_IC {
		Expected behaviour
		ensure that {
		when {
		the UE_A entity sends an intial INVITE "addressed to UE_B" to the IMS_B entity
		the UE_A entity sends an initial INVITE "addressed to UE_B" to the IMS_B entity
		}
		then {
		the IMS_IBCF_B entity sends the INVITE
		@@ -1173,7 +1173,7 @@ Package TP_IC {
		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
		the UE_A entity hasReceivedInitialRequestForDialog from the UE_B entity and
		the UE_A entity isRequestedToSend a CANCEL
		}

		@@ -1207,7 +1207,7 @@ Package TP_IC {
		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
		the UE_A entity hasReceivedInitialRequestForDialog from the UE_B entity and
		the UE_A entity isRequestedToSend a CANCEL
		}

		@@ -1239,7 +1239,7 @@ Package TP_IC {
		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_B and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
		the UE_A entity hasReceivedInitialRequestForDialog from the UE_B entity and
		the UE_A entity isRequestedToSend a CANCEL
		}

		@@ -1274,7 +1274,7 @@ Package TP_IC {
		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
		the UE_A entity hasReceivedInitialRequestForDialog from the UE_B entity and
		the UE_A entity isRequestedToSend a CANCEL and
		the UE_A entity hasReceived200OkCancel from the UE_B entity
		}
		@@ -1310,7 +1310,7 @@ Package TP_IC {
		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
		the UE_A entity hasReceivedInitialRequestForDialog from the UE_B entity and
		the UE_A entity isRequestedToSend a CANCEL and
		the UE_A entity hasReceived200OkCancel from the UE_B entity
		}
		@@ -1343,7 +1343,7 @@ Package TP_IC {
		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
		the UE_A entity hasReceivedInitialRequestForDialog from the UE_B entity and
		the UE_A entity isRequestedToSend a CANCEL and
		the UE_A entity hasReceived200OkCancel from the UE_B entity and
		the UE_A entity hasReceivedTerminatedRequest from the UE_B entity
		@@ -1379,7 +1379,7 @@ Package TP_IC {
		Initial conditions with {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
		the UE_A entity hasReceivedInitialRequestForDialog from the UE_B entity and
		the UE_A entity isRequestedToSend a CANCEL and
		the UE_A entity hasReceived200OkCancel from the UE_B entity and
		the UE_A entity hasReceivedTerminatedRequest from the UE_B entity
		@@ -1671,7 +1671,7 @@ Package TP_IC {
		the UE_A entity isAttachedTo the EPC_B and
		the UE_A entity isNotRegisteredTo the IMS_B and
		the UE_B entity isNotRegisteredTo the IMS_B and
		the UE_A entity hasAchieveFirstREGISTER
		the UE_A entity hasAchievedFirstREGISTER
		}

		Expected behaviour