Review all Canellation/Abort TPs (3db239ab) · Commits · INT - Core Network and Interoperability Testing / Voice and Video over LTE / VxLTE Interoperability Tests

test_purposes/Gm/TP_GM.tplan2

+113 −41

Original line number	Diff line number	Diff line
		@@ -2071,7 +2071,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_B entity previouslyEstablishedCallWith the UE_A
		the UE_A entity hasAchieveInitialINVITE
		}

		Expected behaviour
		@@ -2109,10 +2109,10 @@ Package TP_GM {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isAttachedTo the EPC_A and
		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_A entity isAttachedTo the EPC_B and
		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 hasAchieveInitialINVITE
		}

		@@ -2151,11 +2151,11 @@ Package TP_GM {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isAttachedTo the EPC_A and
		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 previouslyEstablishedCallWith the UE_A
		the UE_A entity isAttachedTo the EPC_B and
		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 hasAchieveInitialINVITE
		}

		Expected behaviour
		@@ -2287,15 +2287,15 @@ Package TP_GM {
		Expected behaviour
		ensure that {
		when {
		the UE_A entity isRequestedToSend a CANCEL
		the IMS_P_CSCF_B entity isRequestedToSend a 200_Ok
		}
		then {
		the IMS_P_CSCF_B entity receives a 200_Ok containing
		the IMS_P_CSCF_B entity sends a 200_Ok containing
		not PChargingVector,
		not PChargingFunctionAddresses,
		not PPreferredIdentity
		;
		from the UE_A entity
		to the UE_A entity
		}
		}

		@@ -2355,7 +2355,7 @@ Package TP_GM {
		Test objective "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (Originating Leg)."

		Reference
		"ETSI TS 124 229 [2], clauses 5.1.3 and 6.1.1"
		"ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.2"

		Config Id CF_VxLTE_INT

		@@ -2372,7 +2372,7 @@ Package TP_GM {
		Expected behaviour
		ensure that {
		when {
		the UE_A entity isRequestedToSend an 486_INVITE
		the UE_B entity isRequestedToSend an 486_INVITE
		}
		then {
		the IMS_P_CSCF_A entity sends a 486_INVITE containing
		@@ -2397,7 +2397,7 @@ Package TP_GM {
		Test objective "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (Terminating Leg)."

		Reference
		"ETSI TS 124 229 [2], clauses 5.1.4 and 6.1.1"
		"ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.2"

		Config Id CF_VxLTE_INT

		@@ -2408,16 +2408,16 @@ 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 isBusy
		the UE_B entity isBusy
		}

		Expected behaviour
		ensure that {
		when {
		the UE_A entity isRequestedToSend a CANCEL
		the UE_A entity isRequestedToSend a 486_INVITE
		}
		then {
		the IMS_P_CSCF_B entity sends a 486_INVITE containing
		the IMS_P_CSCF_B entity receives a 486_INVITE containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_B_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		@@ -2439,7 +2439,7 @@ Package TP_GM {
		Test objective "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (Originating Leg)."

		Reference
		"ETSI TS 124 229 [2], clauses 5.1.3 and 6.1.1"
		"ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.2"

		Config Id CF_VxLTE_RMI

		@@ -2456,10 +2456,10 @@ Package TP_GM {
		Expected behaviour
		ensure that {
		when {
		the UE_A entity isRequestedToSend an INVITE
		the UE_B entity isRequestedToSend an 486_INVITE
		}
		then {
		the IMS_P_CSCF_A entity sends a 486_INVITE containing
		the IMS_P_CSCF_B entity sends a 486_INVITE containing
		From indicating value PX_UE_B_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_B_CALLID,
		@@ -2481,7 +2481,7 @@ Package TP_GM {
		Test objective "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (Terminating Leg)."

		Reference
		"ETSI TS 124 229 [2], clauses 5.1.4 and 6.1.1"
		"ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.2"

		Config Id CF_VxLTE_RMI

		@@ -2498,10 +2498,10 @@ Package TP_GM {
		Expected behaviour
		ensure that {
		when {
		the UE_A entity hasAchieveInitialINVITE
		the UE_A entity isRequestedToSend a 486_INVITE
		}
		then {
		the IMS_P_CSCF_B entity sends a 486_INVITE containing
		the IMS_P_CSCF_A entity receives a 486_INVITE containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_B_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		@@ -2532,7 +2532,8 @@ Package TP_GM {
		the UE_A entity isAttachedTo the EPC_A and
		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
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity hasAchieveInitialINVITE
		}

		Expected behaviour
		@@ -2572,13 +2573,14 @@ Package TP_GM {
		the UE_A entity isAttachedTo the EPC_A and
		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
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_A entity isRequestedToSend a CANCEL
		}

		Expected behaviour
		ensure that {
		when {
		the UE_B entity isRequestedToSend a CANCEL
		the UE_A entity isRequestedToSend a CANCEL
		}
		then {
		the IMS_P_CSCF_B entity receives a 487_INVITE containing
		@@ -2598,20 +2600,90 @@ Package TP_GM {

		} // End of TP_GM_PCSCF_487INVITE_02

		Test Purpose {

		TP Id TP_GM_PCSCF_487INVITE_03

		Test objective "Verify that the P-CSCF successfully processes a 487 INVITE (Request Terminated) (Originating Leg)."

		Reference
		"ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.2"

		Config Id CF_VxLTE_RMI

		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isAttachedTo the EPC_B and
		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 hasAchieveInitialINVITE
		}

		Expected behaviour
		ensure that {
		when {
		the UE_A entity isRequestedToSend an CANCEL
		}
		then {
		the IMS_P_CSCF_B entity sends a 487_INVITE containing
		From indicating value PX_UE_B_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_B_CALLID,
		Via indicating value PX_UE_B_VIA,
		Route indicating value PX_UE_B_SERVICE_ROUTE
		// TODO To be continued
		;
		to the UE_A entity
		}
		}

		} // End of TP_GM_PCSCF_487INVITE_03

		Test Purpose {

		TP Id TP_GM_PCSCF_487INVITE_04

		Test objective "Verify that the P-CSCF successfully processes a 487 INVITE (Request Terminated) (Terminating Leg)."

		Reference
		"ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.2"

		Config Id CF_VxLTE_RMI

		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isAttachedTo the EPC_B and
		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 isRequestedToSend a CANCEL
		}

		Expected behaviour
		ensure that {
		when {
		the UE_A entity isRequestedToSend a CANCEL
		}
		then {
		the IMS_P_CSCF_A entity receives a 487_INVITE containing
		From indicating value PX_UE_B_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_B_CALLID,
		Via indicating value PX_UE_B_VIA,
		Route indicating value PX_UE_B_SERVICE_ROUTE,
		not PChargingVector,
		not PChargingFunctionAddresses,
		not PPreferredIdentity
		// TODO To be continued
		;
		from the UE_B entity
		}
		}

		} // End of TP_GM_PCSCF_487INVITE_04

		} // End of Package TP_GM

test_purposes/Mw/TP_MW_IB.tplan2

+412 −8

File changed.

Preview size limit exceeded, changes collapsed.

test_purposes/Mw/TP_MW_PS.tplan2

+127 −27

Original line number	Diff line number	Diff line
		@@ -2491,7 +2491,7 @@ Package TP_MW_PS {
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_B entity hasAchieveInitialINVITE and
		the UE_B entity isRequestedToSend a CANCEL
		the UE_A entity isRequestedToSend a CANCEL
		}

		Expected behaviour
		@@ -2549,7 +2549,7 @@ Package TP_MW_PS {
		Expected behaviour
		ensure that {
		when {
		the UE_A entity sends an CANCEL containing
		the IMS_P_CSCF_B entity receives an CANCEL containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_B_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		@@ -2557,7 +2557,7 @@ Package TP_MW_PS {
		Route indicating value PX_UE_A_SERVICE_ROUTE
		// TODO To be continued
		;
		to the IMS_P_CSCF_B entity
		from the UE_A entity
		}
		then {
		the IMS_P_CSCF_B entity sends an CANCEL containing
		@@ -2568,7 +2568,7 @@ Package TP_MW_PS {
		Route indicating value PX_UE_A_SERVICE_ROUTE
		// TODO To be continued
		;
		from the IMS_S_CSCF_B entity
		to the IMS_S_CSCF_B entity
		}
		}

		@@ -2590,12 +2590,12 @@ Package TP_MW_PS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isAttachedTo the EPC_A and
		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_A entity isAttachedTo the EPC_B and
		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 hasAchieveInitialINVITE and
		the UE_B entity isRequestedToSend a CANCEL
		the UE_A entity isRequestedToSend a CANCEL
		}

		Expected behaviour
		@@ -2628,13 +2628,13 @@ Package TP_MW_PS {

		Test Purpose {

		TP Id TP_ME_PCSCF_486INVITE_01
		TP Id TP_MW_PCSCF_486INVITE_01
		// ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)

		Test objective "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (Originating Leg)."

		Reference
		"ETSI TS 124 229 [2], clauses 5.2.7 and 6.2"
		"ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.2"

		Config Id CF_VxLTE_INT

		@@ -2678,13 +2678,13 @@ Package TP_MW_PS {

		Test Purpose {

		TP Id TP_ME_PCSCF_486INVITE_02
		TP Id TP_MW_PCSCF_486INVITE_02
		// ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)

		Test objective "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (Originating Leg)."

		Reference
		"ETSI TS 124 229 [2], clauses 5.2.7 and 6.2"
		"ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.2"

		Config Id CF_VxLTE_INT

		@@ -2695,7 +2695,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 isBusy
		the UE_B entity isBusy
		}

		Expected behaviour
		@@ -2728,22 +2728,22 @@ Package TP_MW_PS {

		Test Purpose {

		TP Id TP_ME_PCSCF_486INVITE_03
		TP Id TP_MW_PCSCF_486INVITE_03
		// ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)

		Test objective "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (Originating Leg)."

		Reference
		"ETSI TS 124 229 [2], clauses 5.2.7 and 6.2"
		"ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.2"

		Config Id CF_VxLTE_RMI

		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isAttachedTo the EPC_A and
		the UE_A entity isAttachedTo the EPC_B and
		the UE_B entity isAttachedTo the EPC_B and
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_A entity isRegisteredTo the IMS_B and
		the UE_B entity isRegisteredTo the IMS_B and
		the UE_B entity isBusy
		}
		@@ -2751,7 +2751,7 @@ Package TP_MW_PS {
		Expected behaviour
		ensure that {
		when {
		the IMS_P_CSCF_A entity receives a 486_INVITE containing
		the IMS_P_CSCF_B entity receives a 486_INVITE containing
		From indicating value PX_UE_B_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_B_CALLID,
		@@ -2759,10 +2759,10 @@ Package TP_MW_PS {
		Route indicating value PX_UE_B_SERVICE_ROUTE
		// TODO To be continued
		;
		from the IMS_S_CSCF_A entity
		from the IMS_S_CSCF_B entity
		}
		then {
		the IMS_P_CSCF_A entity sends a 486_INVITE containing
		the IMS_P_CSCF_B entity sends a 486_INVITE containing
		From indicating value PX_UE_B_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_B_CALLID,
		@@ -2778,10 +2778,10 @@ Package TP_MW_PS {

		Test Purpose {

		TP Id TP_ME_PCSCF_486INVITE_04
		TP Id TP_MW_PCSCF_486INVITE_04
		// ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)

		Test objective "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (Originating Leg)."
		Test objective "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (Terminating Leg)."

		Reference
		"ETSI TS 124 229 [2], clauses 5.2.7 and 6.2"
		@@ -2828,7 +2828,7 @@ Package TP_MW_PS {

		Test Purpose {

		TP Id TP_ME_PCSCF_487INVITE_01
		TP Id TP_MW_PCSCF_487INVITE_01
		// ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)

		Test objective "Verify that the P-CSCF successfully processes a 487 INVITE (busy) to reject call (Originating Leg)."
		@@ -2845,7 +2845,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 isBusy
		the UE_A entity isRequestedToSend a CANCEL
		}

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

		Test Purpose {

		TP Id TP_ME_PCSCF_487INVITE_02
		TP Id TP_MW_PCSCF_487INVITE_02
		// ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)

		Test objective "Verify that the P-CSCF successfully processes a 487 INVITE (busy) to reject call (Originating Leg)."
		@@ -2895,7 +2895,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 isBusy
		the UE_A entity isRequestedToSend a CANCEL
		}

		Expected behaviour
		@@ -2926,5 +2926,105 @@ Package TP_MW_PS {

		} // End of TP_MW_PCSCF_487INVITE_02

		Test Purpose {

		TP Id TP_MW_PCSCF_487INVITE_03
		// ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)

		Test objective "Verify that the P-CSCF successfully processes a 487 INVITE (busy) to reject call (Originating Leg)."

		Reference
		"ETSI TS 124 229 [2], clauses 5.2.7 and 6.2"

		Config Id CF_VxLTE_RMI

		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isAttachedTo the EPC_B and
		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 isRequestedToSend a CANCEL
		}

		Expected behaviour
		ensure that {
		when {
		the IMS_P_CSCF_B entity receives a 487_INVITE containing
		From indicating value PX_UE_B_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_B_CALLID,
		Via indicating value PX_UE_B_VIA,
		Route indicating value PX_UE_B_SERVICE_ROUTE
		// TODO To be continued
		;
		from the IMS_S_CSCF_B entity
		}
		then {
		the IMS_P_CSCF_B entity sends a 487_INVITE containing
		From indicating value PX_UE_B_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_B_CALLID,
		Via indicating value PX_UE_B_VIA,
		Route indicating value PX_UE_B_SERVICE_ROUTE
		// TODO To be continued
		;
		to the UE_A entity
		}
		}

		} // End of TP_MW_PCSCF_487INVITE_03

		Test Purpose {

		TP Id TP_MW_PCSCF_487INVITE_04
		// ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)

		Test objective "Verify that the P-CSCF successfully processes a 487 INVITE (busy) to reject call (Originating Leg)."

		Reference
		"ETSI TS 124 229 [2], clauses 5.2.7 and 6.2"

		Config Id CF_VxLTE_INT

		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isAttachedTo the EPC_B and
		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 isRequestedToSend a CANCEL
		}

		Expected behaviour
		ensure that {
		when {
		the IMS_P_CSCF_A entity receives a 487_INVITE containing
		From indicating value PX_UE_B_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_B_CALLID,
		Via indicating value PX_UE_B_VIA,
		Route indicating value PX_UE_B_SERVICE_ROUTE
		// TODO To be continued
		;
		from the UE_B entity
		}
		then {
		the IMS_P_CSCF_A entity sends a 487_INVITE containing
		From indicating value PX_UE_B_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_B_CALLID,
		Via indicating value PX_UE_B_VIA,
		Route indicating value PX_UE_B_SERVICE_ROUTE
		// TODO To be continued
		;
		to the IMS_S_CSCF_A entity
		}
		}

		} // End of TP_MW_PCSCF_487INVITE_04

		} // End of Package TP_MW_PS

test_purposes/Mw/TP_MW_SS.tplan2

+414 −10

File changed.

Preview size limit exceeded, changes collapsed.

LibCommon @ 22cc04e3

Original line number	Diff line number	Diff line
		Subproject commit 21bad7c51917d19bebdff5b36983e22922421976
		Subproject commit 22cc04e32b0e37f70a7df30df12727a6546e2916