Add MwPS/MWIS REGISTER & SUBSCRIBE for roaming (244a4416) · Commits · INT - Core Network and Interoperability Testing / Voice and Video over LTE / VxLTE Interoperability Tests

test_purposes/Gm/TP_GM.tplan2

+10 −4

Original line number	Diff line number	Diff line
		@@ -91,7 +91,8 @@ Package TP_GM {

		Initial conditions with {
		the UE_A entity isAttachedTo the EPC_A and
		the UE_A entity isNotRegisteredTo the IMS_A
		the UE_A entity isNotRegisteredTo the IMS_A and
		the UE_B entity isNotRegisteredTo the IMS_B
		}

		Expected behaviour
		@@ -155,6 +156,7 @@ Package TP_GM {
		Initial conditions with {
		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 hasAchieveFirstRegistration
		}

		@@ -217,7 +219,8 @@ Package TP_GM {

		Initial conditions with {
		the UE_A entity isAttachedTo the EPC_A and
		the UE_A entity isNotRegisteredTo the IMS_A
		the UE_A entity isNotRegisteredTo the IMS_A and
		the UE_B entity isNotRegisteredTo the IMS_B
		}

		Expected behaviour
		@@ -265,7 +268,8 @@ Package TP_GM {

		Initial conditions with {
		the UE_A entity isAttachedTo the EPC_A and
		the UE_A entity isNotRegisteredTo the IMS_B
		the UE_A entity isNotRegisteredTo the IMS_B and
		the UE_B entity isNotRegisteredTo the IMS_B
		}

		Expected behaviour
		@@ -330,6 +334,7 @@ Package TP_GM {
		Initial conditions with {
		the UE_A entity isAttachedTo the EPC_A and
		the UE_A entity isNotRegisteredTo the IMS_B and
		the UE_B entity isNotRegisteredTo the IMS_B and
		the UE_A entity hasAchieveFirstRegistration
		}

		@@ -393,7 +398,8 @@ Package TP_GM {

		Initial conditions with {
		the UE_A entity isAttachedTo the EPC_A and
		the UE_A entity isNotRegisteredTo the IMS_B
		the UE_A entity isNotRegisteredTo the IMS_B and
		the UE_B entity isNotRegisteredTo the IMS_B
		}

		Expected behaviour

test_purposes/Mw/TP_MW_IB.tplan2

+36 −0

Original line number	Diff line number	Diff line
		@@ -260,6 +260,42 @@ Package TP_MW_IB {
		}
		} // End of TP_MW_ICSCF_REGISTER_03

		Test Purpose {

		TP Id TP_MW_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 network de-registration."

		Reference
		"ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.1 and 6.1.1"

		PICS Selection NONE

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

		Expected behaviour
		ensure that {
		when {
		the IMS_I_CSCF_A entity receives a REGISTER containing
		Expire indicating value 0
		;
		from the IMS_P_CSCF_A entity
		}
		then {
		the IMS_I_CSCF_A entity sends a REGISTER containing
		Expire indicating value 0
		;
		to the IMS_S_CSCF_A entity
		}
		}
		} // End of TP_MW_ICSCF_REGISTER_07

		Test Purpose {

		TP Id TP_MW_ICSCF_SUBSCRIBE_01

test_purposes/Mw/TP_MW_PS.tplan2

+311 −3

Original line number	Diff line number	Diff line
		@@ -71,7 +71,7 @@ Package TP_MW_PS {

		TP Id TP_MW_PCSCF_MESSAGE_02
		// TP_IMS_4002_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
		// TP_IMST2_GM_GEN_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
		// TP_IMST2_MW_GEN_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)

		Test objective "Verify that the P-CSCF successfully processes a SIP messages greater than 1 500 bytes"

		@@ -136,7 +136,8 @@ Package TP_MW_PS {

		Initial conditions with {
		the UE_A entity isAttachedTo the EPC_A and
		the UE_A entity isNotRegisteredTo the IMS_A
		the UE_A entity isNotRegisteredTo the IMS_A and
		the UE_B entity isNotRegisteredTo the IMS_B
		}

		Expected behaviour
		@@ -202,6 +203,7 @@ Package TP_MW_PS {
		Initial conditions with {
		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 hasAchieveFirstREGISTER
		}

		@@ -278,7 +280,8 @@ Package TP_MW_PS {

		Initial conditions with {
		the UE_A entity isAttachedTo the EPC_A and
		the UE_A entity isNotRegisteredTo the IMS_A
		the UE_A entity isNotRegisteredTo the IMS_A and
		the UE_B entity isNotRegisteredTo the IMS_B
		}

		Expected behaviour
		@@ -326,6 +329,252 @@ Package TP_MW_PS {
		}
		} // End of TP_MW_PCSCF_REGISTER_03

		Test Purpose {

		TP Id TP_MW_PCSCF_REGISTER_04
		// TP_IMS_5005_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
		// TP_IMST2_MW_REG_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)

		Test objective "Verify that the SUT successfully processes a first registration."

		Reference
		"ETSI TS 124 229 (V15.3.0) [5], clauses 5.2.1, 5.2.2 and 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 isNotRegisteredTo the IMS_B and
		the UE_B entity isNotRegisteredTo the IMS_B
		}

		Expected behaviour
		ensure that {
		when {
		the UE_A entity sends a REGISTER containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA
		;
		to the IMS_P_CSCF_B entity
		}
		then {
		the IMS_P_CSCF_B entity sends a REGISTER containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		Path indicating value PX_P_CSCF_A_SIP_URI,
		PChargingVector containing
		icid indicating value PX_TO_BE_DEFINED,
		PVisitedNetworkID indicating value PX_TO_BE_DEFINED,
		Require_HDR indicating value "path",
		Supported indicating value "path"
		;;
		to the IMS_S_CSCF_B entity
		and the IMS_P_CSCF_B entity sends an 401_Unauthorized containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		Path,
		Warning,
		PAccessNetworkInfo,
		WwwAuthenticate containing
		Digest,
		Realm indicating value PX_UE_A_REALM,
		Algorithm indicating value PX_UE_A_AUTH_ALG,
		Nonce indicating value "not empty",
		qop indicating value "auth"
		;;
		to the UE_A entity
		}
		}
		} // End of TP_MW_PCSCF_REGISTER_04

		Test Purpose {

		TP Id TP_MW_PCSCF_REGISTER_05
		// TP_IMS_5092_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
		// TP_IMST2_MW_REG_08 from ETSI TS 102 790-2 V3.1.1 (2014-07)

		Test objective "Verify that the SUT successfully processes a full registration."

		Reference
		"ETSI TS 124 229 (V15.3.0) [5], clauses 5.2.1, 5.2.2 and 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 isNotRegisteredTo the IMS_B and
		the UE_B entity isNotRegisteredTo the IMS_B and
		the UE_A entity hasAchieveFirstREGISTER
		}

		Expected behaviour
		ensure that {
		when {
		the UE_A entity sends a REGISTER containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		Authorization containing
		Authentication_Scheme indicating value PX_TO_BE_DEFINED,
		Authentication_URI indicating value PX_TO_BE_DEFINED,
		Username indicating value PX_UE_A_USERNAME,
		Realm indicating value PX_UE_A_REALM,
		Algorithm indicating value PX_UE_A_AUTH_ALG,
		Nonce indicating value "not empty",
		qop indicating value "auth"
		;;
		to the IMS_P_CSCF_B entity
		}
		then {
		the IMS_P_CSCF_B entity sends a REGISTER containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		Authorization containing
		Authentication_Scheme indicating value PX_TO_BE_DEFINED,
		Authentication_URI indicating value PX_TO_BE_DEFINED,
		Username indicating value PX_UE_A_USERNAME,
		Realm indicating value PX_UE_A_REALM,
		Algorithm indicating value PX_UE_A_AUTH_ALG,
		Nonce indicating value "not empty",
		qop indicating value "auth",
		PChargingVector,
		PVisitedNetwork
		;;
		to the IMS_S_CSCF_B entity
		and 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,
		Via indicating value PX_UE_A_VIA,
		AuthenticationInfo,
		PAccessNetworkInfo,
		PAssociatedURI indicating value PX_UE_A_SIP_URI,
		PChargingVector,
		orig_ioi_parameter
		indicating value "Operator Identifier Of ImsA" ,
		term_ioi_parameter
		indicating value "Operator Identifier Of ImsB"
		Path,
		ServiceRoute,
		PVisitedNetwork
		;
		to the UE_A entity
		}
		}
		} // End of TP_MW_PCSCF_REGISTER_05

		Test Purpose {

		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 SUT successfully processes a invalid first registration."

		Reference
		"ETSI TS 124 229 (V15.3.0) [5], clauses 5.2.1, 5.2.2 and 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 isNotRegisteredTo the IMS_B and
		the UE_B entity isNotRegisteredTo the IMS_B
		}

		Expected behaviour
		ensure that {
		when {
		the UE_A entity sends a REGISTER containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		Authorization containing
		Authentication_Schema indicating value PX_TO_BE_DEFINED,
		Authentication_URI indicating value PX_TO_BE_DEFINED,
		Username indicating value PX_UE_A_INVALID_USERNAME,
		Realm indicating value PX_UE_A_REALM,
		Algorithm indicating value PX_UE_A_AUTH_ALG,
		Nonce indicating value ""
		;;
		to the IMS_P_CSCF_B entity
		}
		then {
		the IMS_P_CSCF_B entity sends a REGISTER containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		Authorization containing
		Authentication_Scheme indicating value PX_TO_BE_DEFINED,
		Authentication_URI indicating value PX_TO_BE_DEFINED,
		Username indicating value PX_UE_A_INVALID_USERNAME,
		Realm indicating value PX_UE_A_REALM,
		Algorithm indicating value PX_UE_A_AUTH_ALG,
		Nonce indicating value "not empty",
		qop indicating value "auth",
		PChargingVector,
		PVisitedNetwork
		;;
		to the IMS_S_CSCF_B entity
		and the IMS_P_CSCF_B entity sends an 404_NotFound containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_A_SIP_URI,
		CallId indicating value PX_UE_A_CALLID
		;
		to the UE_A entity
		}
		}
		} // End of TP_MW_PCSCF_REGISTER_06

		Test Purpose {

		TP Id TP_MW_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 network de-registration."

		Reference
		"ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.1 and 6.1.1"

		PICS Selection NONE

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

		Expected behaviour
		ensure that {
		when {
		the IMS_P_CSCF_A entity isTriggeredToDetachUser
		}
		then {
		the IMS_P_CSCF_A entity sends a REGISTER containing
		Expire indicating value 0
		;
		to the IMS_I_CSCF_A entity
		}
		}
		} // End of TP_MW_PCSCF_REGISTER_07

		Test Purpose {

		TP Id TP_MW_PCSCF_SUBSCRIBE_01
		@@ -385,6 +634,65 @@ Package TP_MW_PS {
		}
		} // End of TP_MW_PCSCF_SUBSCRIBE_01

		Test Purpose {

		TP Id TP_MW_PCSCF_SUBSCRIBE_02
		// TP_IMS_5044_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
		// TP_IMST2_MW_REG_14 from ETSI TS 102 790-2 V3.1.1 (2014-07)

		Test objective "Verify that the SUT successfully processes a SUBSCRIBE."

		Reference
		"ETSI TS 124 229 (V15.3.0) [5], clauses 5.2.3 and 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 isRegisteredTo the IMS_B
		}

		Expected behaviour
		ensure that {
		when {
		the UE_A entity sends an SUBSCRIBE containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_B_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		Route indicating value PX_UE_A_SERVICE_ROUTE,
		Event,
		Expires
		// TODO To be continued
		;
		to the IMS_P_CSCF_A entity
		}
		then {
		the IMS_P_CSCF_A entity sends an SUBSCRIBE containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_B_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA,
		Route indicating value PX_UE_A_SERVICE_ROUTE,
		Event,
		Expires
		// TODO To be continued
		;
		to the IMS_S_CSCF_A entity
		and the IMS_P_CSCF_A entity sends a 200_Ok containing
		From indicating value PX_UE_A_SIP_URI,
		To indicating value PX_UE_B_SIP_URI,
		CallId indicating value PX_UE_A_CALLID,
		Via indicating value PX_UE_A_VIA
		// TODO To be continued
		;
		to the UE_A entity
		}
		}
		} // End of TP_MW_PCSCF_SUBSCRIBE_02

		Test Purpose {

		TP Id TP_MW_PCSCF_INVITE_01

test_purposes/Sip_Common.tplan2

+1 −0

Original line number	Diff line number	Diff line
		@@ -79,6 +79,7 @@ Package Sip_Common {
		- isRequestedToSend
		- isBusy
		- isNoLongerAvailable
		- isTriggeredToDetachUser
		// SIP Requests
		- hasAchieveFirstREGISTER
		- REGISTER