Merge branch 'STF574' of https://forge.etsi.org/rep/vxlte/vxlte-iop into STF574 (90e21c91) · Commits · INT - Core Network and Interoperability Testing / Voice and Video over LTE / VxLTE Interoperability Tests

.project

+22 −0

Original line number	Diff line number	Diff line
		@@ -6,13 +6,35 @@
		<project>Abstract_Socket_CNL113384</project>
		</projects>
		<buildSpec>
		<buildCommand>
		<name>org.eclipse.jdt.core.javabuilder</name>
		<arguments>
		</arguments>
		</buildCommand>
		<buildCommand>
		<name>com.testingtech.ttworkbench.ttthree.modelBuilder</name>
		<arguments>
		</arguments>
		</buildCommand>
		<buildCommand>
		<name>org.eclipse.xtext.ui.shared.xtextBuilder</name>
		<arguments>
		</arguments>
		</buildCommand>
		<buildCommand>
		<name>com.testingtech.ttworkbench.ttthree.todoBuilder</name>
		<arguments>
		</arguments>
		</buildCommand>
		<buildCommand>
		<name>com.testingtech.ttworkbench.ttthree.tt3pluginbuilder</name>
		<arguments>
		</arguments>
		</buildCommand>
		</buildSpec>
		<natures>
		<nature>com.testingtech.ttworkbench.core.ttcn3nature</nature>
		<nature>org.eclipse.xtext.ui.shared.xtextNature</nature>
		<nature>org.eclipse.jdt.core.javanature</nature>
		</natures>
		</projectDescription>

test_purposes/Gm/TP_GM.tplan2

+196 −54

Original line number	Diff line number	Diff line
		@@ -45,7 +45,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 1500 bytes
		ContentLength indicating value greater than 1300 bytes
		;
		to the IMS_P_CSCF_A entity
		}
		@@ -55,7 +55,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 1500 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
		@@ -83,7 +83,7 @@ Package TP_GM {
		// TP_IMST2_GM_REG_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)

		Reference
		"ETSI TS 124 229 [2], clauses 5.1.1 and 6.1.1"
		"ETSI TS 124 229 [2], Clause 5.1.1.1 and Clause 6.1.1 and Clause 6.1.2"

		Config Id CF_VxLTE_INT

		@@ -147,7 +147,7 @@ Package TP_GM {
		// TP_IMST2_GM_REG_08 from ETSI TS 102 790-2 V3.1.1 (2014-07)

		Reference
		"ETSI TS 124 229 [2], clauses 5.1.1 and 6.1.1"
		"ETSI TS 124 229 [2], Clause 5.1.1.1 and Clause 6.1.1 and Clause 6.1.3"

		Config Id CF_VxLTE_INT

		@@ -178,6 +178,7 @@ Package TP_GM {
		qop indicating value "auth",
		not SecurityClient
		;;
		from the UE_A entity
		}
		then {
		the IMS_P_CSCF_A entity sends an 200_Ok containing
		@@ -211,7 +212,7 @@ Package TP_GM {
		Test objective "Verify that the P-CSCF successfully processes an invalid first registration."

		Reference
		"ETSI TS 124 229 [2], clauses 5.1.1 and 6.1.1"
		"ETSI TS 124 229 [2], Clause 5.1.1.1 and Clause 6.1.1 and Clause 6.1.2"

		Config Id CF_VxLTE_INT

		@@ -260,7 +261,7 @@ Package TP_GM {
		// TP_IMST2_GM_REG_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)

		Reference
		"ETSI TS 124 229 [2], clauses 5.1.1 and 6.1.1"
		"ETSI TS 124 229 [2], Clause 5.1.1.1 and Clause 6.1.1 and Clause 6.1.3"

		Config Id CF_VxLTE_RMI

		@@ -325,7 +326,7 @@ Package TP_GM {
		// TP_IMST2_GM_REG_08 from ETSI TS 102 790-2 V3.1.1 (2014-07)

		Reference
		"ETSI TS 124 229 [2], clauses 5.1.1 and 6.1.1"
		"ETSI TS 124 229 [2], Clause 5.1.1.1 and Clause 6.1.13"

		Config Id CF_VxLTE_RMI

		@@ -356,9 +357,10 @@ Package TP_GM {
		qop indicating value "auth",
		not SecurityClient
		;;
		from the UE_A entity
		}
		then {
		the IMS_P_CSCF_A entity sends an 200_Ok containing
		the IMS_P_CSCF_B entity sends an 200_Ok containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		@@ -390,7 +392,7 @@ Package TP_GM {
		Test objective "Verify that the P-CSCF successfully processes an invalid first registration."

		Reference
		"ETSI TS 124 229 [2], clauses 5.1.1 and 6.1.1"
		"ETSI TS 124 229 [2], Clause 5.1.1.1 and Clause 6.1.1 and Clause 6.1.1"

		Config Id CF_VxLTE_RMI

		@@ -430,6 +432,74 @@ Package TP_GM {
		}
		} // End of TP_GM_PCSCF_REGISTER_06

		Test Purpose {

		TP Id TP_GM_PCSCF_REGISTER_07
		// ??? from ETSI TS 186 011-2 V5.1.1 (2013-10)
		// ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)

		Test objective "Verify that the P-CSCF successfully processes a user de-registration."

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

		Config Id CF_VxLTE_INT

		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isAttachedTo the EPC_A and
		the UE_A entity isRegisteredTo the IMS_A
		}

		Expected behaviour
		ensure that {
		when {
		the UE_A entity isTriggeredToDetachUser
		}
		then {
		the IMS_P_CSCF_A entity receives a REGISTER containing
		Expire indicating value 0
		;
		from the UE_A entity
		}
		}
		} // End of TP_GM_PCSCF_REGISTER_07

		Test Purpose {

		TP Id TP_GM_PCSCF_REGISTER_08
		// ??? from ETSI TS 186 011-2 V5.1.1 (2013-10)
		// ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)

		Test objective "Verify that the P-CSCF successfully processes a user de-registration."

		Reference
		"ETSI TS 124 229 [2], Clause 5.2.5.1 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_A entity isRegisteredTo the IMS_B
		}

		Expected behaviour
		ensure that {
		when {
		the UE_A entity isTriggeredToDetachUser
		}
		then {
		the IMS_P_CSCF_B entity receives a REGISTER containing
		Expire indicating value 0
		;
		from the UE_A entity
		}
		}
		} // End of TP_GM_PCSCF_REGISTER_08

		Test Purpose {

		TP Id TP_GM_PCSCF_SUBSCRIBE_01
		@@ -439,7 +509,7 @@ Package TP_GM {
		Test objective "Verify that the P-CSCF successfully processes a SUBSCRIBE."

		Reference
		"ETSI TS 124 229 [2], clauses 5.1.2 and 6.1.1"
		"ETSI TS 124 229 [2], Clause 5.1.1.1 and Clause 6.1.1 and Clause 6.1.2"

		Config Id CF_VxLTE_INT

		@@ -486,14 +556,14 @@ Package TP_GM {
		Test objective "Verify that the P-CSCF successfully processes a SUBSCRIBE."

		Reference
		"ETSI TS 124 229 [2], clauses 5.1.2 and 6.1.1"
		"ETSI TS 124 229 [2], Clause 5.1.1.1 and Clause 6.1.1 and Clause 6.1.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_A entity isRegisteredTo the IMS_B
		}

		@@ -2071,7 +2141,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 +2179,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 +2221,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 +2357,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 +2425,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 +2442,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 +2467,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 +2478,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 +2509,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 +2526,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 +2551,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 +2568,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 +2602,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 +2643,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 +2670,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

+459 −55

File changed.

Preview size limit exceeded, changes collapsed.

test_purposes/Mw/TP_MW_PS.tplan2

+237 −63

File changed.

Preview size limit exceeded, changes collapsed.

test_purposes/Mw/TP_MW_SS.tplan2

+479 −38

File changed.

Preview size limit exceeded, changes collapsed.