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

test_purposes/Gm/TP_GM.tplan2

+19 −19

Original line number	Diff line number	Diff line
		@@ -44,7 +44,7 @@ Package TP_GM {
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		ContentLength indicating value greater than 1_300 bytes;
		ContentLength indicating value greater than 1300 bytes;
		to the IMS_P_CSCF_A entity
		}
		then {
		@@ -53,7 +53,7 @@ Package TP_GM {
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		ContentLength indicating value greater than 1_300 bytes;
		ContentLength indicating value greater than 1300 bytes;
		from the UE_A entity
		and the IMS_P_CSCF_A entity sends a 200_Ok containing
		From indicating value PX_UE_A_SIP_URI,
		@@ -147,7 +147,7 @@ Package TP_GM {
		the UE_A entity isAttachedTo the EPC_A and
		the UE_A entity isNotRegisteredTo the IMS_A and
		the UE_B entity isNotRegisteredTo the IMS_B and
		the UE_A entity hasAchievedFirstRegistration
		the UE_A entity hasAchieveFirstRegistration
		}

		Expected behaviour
		@@ -316,7 +316,7 @@ Package TP_GM {
		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 hasAchievedFirstRegistration
		the UE_A entity hasAchieveFirstRegistration
		}

		Expected behaviour
		@@ -879,7 +879,7 @@ Package TP_GM {
		Expected behaviour
		ensure that {
		when {
		the UE_A entity hasAchievedInitialINVITE
		the UE_A entity hasAchieveInitialINVITE
		}
		then {
		the IMS_P_CSCF_A entity sends a 100_Trying
		@@ -960,7 +960,7 @@ Package TP_GM {
		Expected behaviour
		ensure that {
		when {
		the UE_A entity hasAchievedInitialINVITE
		the UE_A entity hasAchieveInitialINVITE
		}
		then {
		the IMS_P_CSCF_B entity sends a 100_Trying
		@@ -1041,7 +1041,7 @@ Package TP_GM {
		Expected behaviour
		ensure that {
		when {
		the UE_A entity hasAchievedInitialINVITE
		the UE_A entity hasAchieveInitialINVITE
		}
		then {
		the IMS_P_CSCF_A entity sends a 180_Ringing containing
		@@ -1129,7 +1129,7 @@ Package TP_GM {
		Expected behaviour
		ensure that {
		when {
		the UE_A entity hasAchievedInitialINVITE
		the UE_A entity hasAchieveInitialINVITE
		}
		then {
		the IMS_P_CSCF_B entity sends a 180_Ringing containing
		@@ -1217,7 +1217,7 @@ Package TP_GM {
		Expected behaviour
		ensure that {
		when {
		the UE_A entity hasAchievedInitialINVITE
		the UE_A entity hasAchieveInitialINVITE
		}
		then {
		the IMS_P_CSCF_A entity sends a 200_Ok containing
		@@ -1305,7 +1305,7 @@ Package TP_GM {
		Expected behaviour
		ensure that {
		when {
		the UE_A entity hasAchievedInitialINVITE
		the UE_A entity hasAchieveInitialINVITE
		}
		then {
		the IMS_P_CSCF_B entity sends a 200_Ok containing
		@@ -1393,7 +1393,7 @@ Package TP_GM {
		Expected behaviour
		ensure that {
		when {
		the UE_A entity hasAchievedINVITE
		the UE_A entity hasAchieveINVITE
		}
		then {
		the IMS_P_CSCF_A entity receives an ACK containing
		@@ -1433,7 +1433,7 @@ Package TP_GM {
		Expected behaviour
		ensure that {
		when {
		the UE_B entity hasAchievedInitialINVITE
		the UE_B entity hasAchieveInitialINVITE
		}
		then {
		the UE_B entity receives an ACK containing
		@@ -1473,7 +1473,7 @@ Package TP_GM {
		Expected behaviour
		ensure that {
		when {
		the UE_A entity hasAchievedINVITE
		the UE_A entity hasAchieveINVITE
		}
		then {
		the IMS_P_CSCF_B entity receives an ACK containing
		@@ -2224,7 +2224,7 @@ Package TP_GM {
		the UE_B entity isAttachedTo the EPC_B and
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasAchievedInitialINVITE
		the UE_A entity hasAchieveInitialINVITE
		}

		Expected behaviour
		@@ -2263,7 +2263,7 @@ Package TP_GM {
		the UE_B entity isAttachedTo the EPC_B and
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasAchievedInitialINVITE
		the UE_A entity hasAchieveInitialINVITE
		}

		Expected behaviour
		@@ -2303,7 +2303,7 @@ Package TP_GM {
		the UE_B entity isAttachedTo the EPC_B and
		the UE_A entity isRegisteredTo the IMS_B and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasAchievedInitialINVITE
		the UE_A entity hasAchieveInitialINVITE
		}

		Expected behaviour
		@@ -2343,7 +2343,7 @@ Package TP_GM {
		the UE_B entity isAttachedTo the EPC_B and
		the UE_A entity isRegisteredTo the IMS_B and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_B entity hasAchievedInitialINVITE
		the UE_B entity hasAchieveInitialINVITE
		}

		Expected behaviour
		@@ -2781,7 +2781,7 @@ Package TP_GM {
		the UE_B entity isAttachedTo the EPC_B and
		the UE_A entity isRegisteredTo the IMS_B and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasAchievedInitialINVITE
		the UE_A entity hasAchieveInitialINVITE
		}

		Expected behaviour

test_purposes/Gx/TP_GX.tplan2

+1 −1

Original line number	Diff line number	Diff line
		@@ -215,7 +215,7 @@ Package TP_GX {
		Test Purpose {
		TP Id TP_GX_PCRF_CCA_06

		Test objective "Verify that IUT when receives CC-Request for session update sends a CC-Answer in case of bearer control mode selection."
		Test objective "Verify that IUT when receives CC-Request for session update sends a CC-Answer in case of bearer controle mode selection."

		Reference
		"TS 129 212 [9], clause 4.5.10"

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 1_300 bytes ;
		containing Message_Body_Size indicating value greater than 1300 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 initial INVITE "addressed to UE_B" to the IMS_A entity
		the UE_A entity sends an intial 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 initial INVITE "addressed to UE_A" to the IMS_A entity
		the UE_B entity sends an intial 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 initial INVITE "addressed to roaming UE_B" to the IMS_A entity
		the UE_A entity sends an intial 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 hasReceivedInitialRequestForDialog from the UE_B entity
		the UE_A entity hasReceivedIntialRequestForDialog 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 hasReceivedInitialRequestForDialog from the UE_B entity
		the UE_A entity hasReceivedIntialRequestForDialog 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 hasReceivedInitialRequestForDialog from the UE_B entity
		the UE_A entity hasReceivedIntialRequestForDialog 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 hasReceivedInitialRequestForDialog from the UE_B entity
		the UE_A entity hasReceivedIntialRequestForDialog 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 hasReceivedInitialRequestForDialog from the UE_B entity
		the UE_A entity hasReceivedIntialRequestForDialog 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 hasReceivedInitialRequestForDialog from the UE_A entity
		the UE_B entity hasReceivedIntialRequestForDialog 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 hasReceivedInitialRequestForDialog from the UE_A entity
		the UE_B entity hasReceivedIntialRequestForDialog 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 hasReceivedInitialRequestForDialog from the UE_B entity
		the UE_A entity hasReceivedIntialRequestForDialog 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 hasReceivedInitialRequestForDialog from the UE_A entity
		the UE_B entity hasReceivedIntialRequestForDialog 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 hasReceivedInitialRequestForDialog from the UE_A entity
		the UE_B entity hasReceivedIntialRequestForDialog 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 initial INVITE "addressed to UE_B" to the IMS_A entity
		the UE_A entity sends an intial 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 initial INVITE "addressed to UE_B" to the IMS_B entity
		the UE_A entity sends an intial 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 hasReceivedInitialRequestForDialog from the UE_B entity and
		the UE_A entity hasReceivedIntialRequestForDialog 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 hasReceivedInitialRequestForDialog from the UE_B entity and
		the UE_A entity hasReceivedIntialRequestForDialog 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 hasReceivedInitialRequestForDialog from the UE_B entity and
		the UE_A entity hasReceivedIntialRequestForDialog 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 hasReceivedInitialRequestForDialog from the UE_B entity and
		the UE_A entity hasReceivedIntialRequestForDialog 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 hasReceivedInitialRequestForDialog from the UE_B entity and
		the UE_A entity hasReceivedIntialRequestForDialog 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 hasReceivedInitialRequestForDialog from the UE_B entity and
		the UE_A entity hasReceivedIntialRequestForDialog 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 hasReceivedInitialRequestForDialog from the UE_B entity and
		the UE_A entity hasReceivedIntialRequestForDialog 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 hasAchievedFirstREGISTER
		the UE_A entity hasAchieveFirstREGISTER
		}

		Expected behaviour

test_purposes/Mw/TP_MW_IS.tplan2

+6 −6

Original line number	Diff line number	Diff line
		@@ -40,7 +40,7 @@ Package TP_MW_IS {
		ensure that {
		when {
		the IMS_I_CSCF_A entity receives a MESSAGE
		containing ContentLength indicating value greater than 1_300 bytes;
		containing ContentLength indicating value greater than 1300 bytes;
		from the IMS_P_CSCF_A entity
		}
		then {
		@@ -116,7 +116,7 @@ Package TP_MW_IS {
		the UE_A entity isAttachedTo the EPC_A and
		the UE_A entity isNotRegisteredTo the IMS_A and
		the UE_B entity isNotRegisteredTo the IMS_B and
		the UE_A entity hasAchievedFirstREGISTER
		the UE_A entity hasAchieveFirstREGISTER
		}

		Expected behaviour
		@@ -162,7 +162,7 @@ Package TP_MW_IS {

		TP Id TP_MW_ICSCF_REGISTER_03

		Test objective "Verify that the I-CSCF successfully processes an invalid first registration (Unsuccessful)."
		Test objective "Verify that the I-CSCF successfully processes a invalid first registration (Unsuccessful)."

		Reference
		"ETSI TS 124 229 [1], Clause 5.2.2.1 and Clause 6.2"
		@@ -291,7 +291,7 @@ Package TP_MW_IS {
		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 hasAchievedFirstREGISTER
		the UE_A entity hasAchieveFirstREGISTER
		}

		Expected behaviour
		@@ -352,7 +352,7 @@ Package TP_MW_IS {

		TP Id TP_MW_ICSCF_REGISTER_06

		Test objective "Verify that the I-CSCF successfully processes an invalid first registration (Unsuccessful)."
		Test objective "Verify that the I-CSCF successfully processes a invalid first registration (Unsuccessful)."

		Reference
		"ETSI TS 124 229 [1], clauses 5.2.1, 5.2.2 and 6.3"

test_purposes/Mw/TP_MW_PS.tplan2

+11 −11

Original line number	Diff line number	Diff line
		@@ -44,7 +44,7 @@ Package TP_MW_PS {
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		ContentLength indicating value greater than 1_300 bytes;
		ContentLength indicating value greater than 1300 bytes;
		from the UE_A entity
		}
		then {
		@@ -57,7 +57,7 @@ Package TP_MW_PS {
		icid_value,
		orig_value,
		not PAccessNetworkInfo,
		ContentLength indicating value greater than 1_300 bytes;;
		ContentLength indicating value greater than 1300 bytes;;
		to the IMS_S_CSCF_A entity
		}
		}
		@@ -141,7 +141,7 @@ Package TP_MW_PS {
		the UE_A entity isAttachedTo the EPC_A and
		the UE_A entity isNotRegisteredTo the IMS_A and
		the UE_B entity isNotRegisteredTo the IMS_B and
		the UE_A entity hasAchievedFirstREGISTER
		the UE_A entity hasAchieveFirstREGISTER
		}

		Expected behaviour
		@@ -202,7 +202,7 @@ Package TP_MW_PS {

		TP Id TP_MW_PCSCF_REGISTER_03

		Test objective "Verify that the P-CSCF successfully processes an invalid first registration (Unsuccessful)."
		Test objective "Verify that the P-CSCF successfully processes a invalid first registration (Unsuccessful)."

		Reference
		"ETSI TS 124 229 [1], Clauses 5.2.2.1 and 6.2"
		@@ -341,7 +341,7 @@ Package TP_MW_PS {
		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 hasAchievedFirstREGISTER
		the UE_A entity hasAchieveFirstREGISTER
		}

		Expected behaviour
		@@ -405,7 +405,7 @@ Package TP_MW_PS {
		TP Id TP_MW_PCSCF_REGISTER_06
		// TP_IMST2_MW_REG_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)

		Test objective "Verify that the P-CSCF successfully processes an invalid first registration (Unsuccessful)."
		Test objective "Verify that the P-CSCF successfully processes a invalid first registration (Unsuccessful)."

		Reference
		"ETSI TS 124 229 [1], Clauses 5.2.2.1 and 6.2"
		@@ -2559,7 +2559,7 @@ Package TP_MW_PS {
		the UE_B entity isAttachedTo the EPC_B and
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasAchievedInitialINVITE and
		the UE_A entity hasAchieveInitialINVITE and
		the UE_A entity isRequestedToSend a CANCEL
		}

		@@ -2605,7 +2605,7 @@ Package TP_MW_PS {
		the UE_B entity isAttachedTo the EPC_B and
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_B entity hasAchievedInitialINVITE and
		the UE_B entity hasAchieveInitialINVITE and
		the UE_A entity isRequestedToSend a CANCEL
		}

		@@ -2653,7 +2653,7 @@ Package TP_MW_PS {
		the UE_B entity isAttachedTo the EPC_B and
		the UE_A entity isRegisteredTo the IMS_B and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasAchievedInitialINVITE and
		the UE_A entity hasAchieveInitialINVITE and
		the UE_A entity isRequestedToSend a CANCEL
		}

		@@ -2701,7 +2701,7 @@ Package TP_MW_PS {
		the UE_B entity isAttachedTo the EPC_A and
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_A and
		the UE_B entity hasAchievedInitialINVITE and
		the UE_B entity hasAchieveInitialINVITE and
		the UE_A entity isRequestedToSend a CANCEL
		}