Upadate Registration at Mw interface (d200342a) · Commits · INT - Core Network and Interoperability Testing / Voice and Video over LTE / VxLTE Interoperability Tests

test_purposes/Gm/TP_GM.tplan2

+6 −9

Original line number	Original line	Diff line number	Diff line
	@@ -33,7 +33,6 @@ Package TP_GM {

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

	@@ -43,7 +42,7 @@ Package TP_GM {
	the UE_A entity isTriggeredToStart		the UE_A entity isTriggeredToStart
	}		}
	then {		then {
	the UE_A entity sends a REGISTER containing		the IMS_P_CSCF_A entity receives a REGISTER containing
	FROM_HDR indicating value PX_UE_A_SIP_URI,		FROM_HDR indicating value PX_UE_A_SIP_URI,
	TO_HDR indicating value PX_UE_A_SIP_URI,		TO_HDR indicating value PX_UE_A_SIP_URI,
	CALLID_HDR indicating value PX_UE_A_CALLID,		CALLID_HDR indicating value PX_UE_A_CALLID,
	@@ -56,7 +55,7 @@ Package TP_GM {
	Algorithm indicating value PX_UE_A_AUTH_ALG,		Algorithm indicating value PX_UE_A_AUTH_ALG,
	Nonce indicating value ""		Nonce indicating value ""
	;;		;;
	and the UE_A entity receives an Unauthorized containing		and the IMS_P_CSCF_A entity sends an Unauthorized containing
	FROM_HDR indicating value PX_UE_A_SIP_URI,		FROM_HDR indicating value PX_UE_A_SIP_URI,
	TO_HDR indicating value PX_UE_A_SIP_URI,		TO_HDR indicating value PX_UE_A_SIP_URI,
	CALLID_HDR indicating value PX_UE_A_CALLID,		CALLID_HDR indicating value PX_UE_A_CALLID,
	@@ -88,7 +87,6 @@ Package TP_GM {

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

	@@ -99,7 +97,7 @@ Package TP_GM {
	the UE_A entity hasAchieveFirstRegistration		the UE_A entity hasAchieveFirstRegistration
	}		}
	then {		then {
	the UE_A entity sends a REGISTER containing		the IMS_P_CSCF_A entity receives a REGISTER containing
	FROM_HDR indicating value PX_UE_A_SIP_URI,		FROM_HDR indicating value PX_UE_A_SIP_URI,
	TO_HDR indicating value PX_UE_A_SIP_URI,		TO_HDR indicating value PX_UE_A_SIP_URI,
	CALLID_HDR indicating value PX_UE_A_CALLID,		CALLID_HDR indicating value PX_UE_A_CALLID,
	@@ -113,7 +111,7 @@ Package TP_GM {
	Nonce indicating value "not empty",		Nonce indicating value "not empty",
	qop indicating value "auth"		qop indicating value "auth"
	;;		;;
	and the UE_A entity receives an Ok containing		and the IMS_P_CSCF_A entity sends an Ok containing
	FROM_HDR indicating value PX_UE_A_SIP_URI,		FROM_HDR indicating value PX_UE_A_SIP_URI,
	TO_HDR indicating value PX_UE_A_SIP_URI,		TO_HDR indicating value PX_UE_A_SIP_URI,
	CALLID_HDR indicating value PX_UE_A_CALLID,		CALLID_HDR indicating value PX_UE_A_CALLID,
	@@ -143,7 +141,6 @@ Package TP_GM {

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

	@@ -197,7 +194,6 @@ Package TP_GM {

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

	@@ -214,7 +210,7 @@ Package TP_GM {
	CALLID_HDR indicating value PX_UE_A_CALLID,		CALLID_HDR indicating value PX_UE_A_CALLID,
	Via_HDR indicating value PX_UE_A_VIA,		Via_HDR indicating value PX_UE_A_VIA,
	Authorization_HDR containing		Authorization_HDR containing
	Authentication_Schema indicating value PX_TO_BE_DEFINED,		Authentication_Scheme indicating value PX_TO_BE_DEFINED,
	Authentication_URI indicating value PX_TO_BE_DEFINED,		Authentication_URI indicating value PX_TO_BE_DEFINED,
	Username indicating value PX_UE_A_USERNAME,		Username indicating value PX_UE_A_USERNAME,
	Realm indicating value PX_UE_A_REALM,		Realm indicating value PX_UE_A_REALM,
	@@ -351,3 +347,4 @@ Package TP_GM {

	} // End of Package TP_GM		} // End of Package TP_GM

test_purposes/Mw/TP_MW.tplan2

+64 −87

Original line number	Original line	Diff line number	Diff line
	@@ -21,134 +21,111 @@ Package TP_MW {
	Test Purpose {		Test Purpose {

	TP Id TP_MW_PCSCF_REGISTER_01		TP Id TP_MW_PCSCF_REGISTER_01
	Test objective "Verify that the SUT successfully processes a first registration (UE_A side)."		Test objective "Verify that the SUT successfully processes a first registration (UE_A initiated)."

	Reference		Reference
	"ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3, 6.1.1 and 6.1.2",		"ETSI TS 124 229 (V15.3.0) [5], clauses 5.2.1, 6.2",
	"TP_IMS_5011_01"		"TP_IMST2_MW_REG_01"

	Config Id CFG_GM_01		Config Id CFG_MW_01

	PICS Selection PICS_1		PICS Selection PICS_1

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

	Expected behaviour		Expected behaviour
	ensure that {		ensure that {
	when {		when {
	the UE_A entity isRequestedToSend a REGISTER		the UE_A entity isTriggeredToStart
	}		}
	then {		then {
	the IMS_P_CSCF_A entity receives a REGISTER containing		the IMS_P_CSCF_A entity sends a REGISTER containing
	Path_HDR containing		FROM_HDR indicating value PX_UE_A_SIP_URI,
	P_CSCF_SIP_URI indicating value PX_P_CSCF_A_SIP_URI,		TO_HDR indicating value PX_UE_A_SIP_URI,
	IMS_flow_token,		CALLID_HDR indicating value PX_UE_A_CALLID,
	SIP_URI containing		Via_HDR indicating value PX_UE_A_VIA,
	ob indicating value xx,		Path_HDR indicating value PX_P_CSCF_A_SIP_URI,
	Require_HDR containing
	path_option_tag,
	P_Charging_Vector_HDR containing		P_Charging_Vector_HDR containing
	ICID indicating value PX_IMS_A_ICID,		icid indicating value PX_TO_BE_DEFINED,
	ORIG_IOI indicating value PX_IMS_A_ORIG_IOI,		P_Visited_Network_ID indicating value PX_TO_BE_DEFINED,
	"not" Access_Network_Charging_Info_HDR,		Require_HDR indicating value "path",
	"not" Term_Ioi_HDR		Supported_HDR indicating value "path"
	Authorization_HDR,		;;
	P_Visited_Network_ID_HDR indicating value 'the visited network at the home network',		and the IMS_P_CSCF_A entity receives an Unauthorized containing
	"not" containing Security_Verify_HDR,		FROM_HDR indicating value PX_UE_A_SIP_URI,
	"not" containing Security_Client_header_HDR		TO_HDR indicating value PX_UE_A_SIP_URI,
	;		CALLID_HDR indicating value PX_UE_A_CALLID,
	;;;;;;		Via_HDR indicating value PX_UE_A_VIA,
	}
	}
	} // End of TP_MW_PCSCF_REGISTER_01

	Test Purpose {

	TP Id TP_MW_PCSCF_INVITE_01
	Test objective "Verify that the SUT successfully processes an initial INVITE (UE_A side)."

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

	Config Id CFG_GM_01

	PICS Selection PICS_1

	Initial conditions with {
	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
	}

	Expected behaviour
	ensure that {
	when {
	the UE_A entity isRequestedToSend an InitialINVITE
	}
	then {
	the IMS_P_CSCF_A entity receives an InitialINVITE containing
	Route_HDR indicating value
	PX_P_SCF_A_SIP_URI,
	Route_HDR indicating value
	PX_S_SCF_A_SIP_URI,
	Via_HDR indicating value
	P PX_P_SCF_A_VIA,
	P_Charging_Vector_HDR containing		P_Charging_Vector_HDR containing
	ICID indicating value PX_IMS_A_ICID,		icid indicating value PX_TO_BE_DEFINED,
	ORIG_IOI indicating value PX_IMS_A_ORIG_IOI,		Warning_HDR,
	"not" Access_Network_Charging_Info_HDR,		WWW_Authenticate_HDR containing
	"not" Term_Ioi_HDR		Authentication_Scheme,
	Record_Route_HDR containing		Realm,
	Originating indicating value PX_S_SCF_A_SIP_URI,		Algorithm indicating value PX_UE_A_AUTH_ALG,
	"not" containing P_Access_Network_Info_HDR		Nonce indicating value "not empty",
	;		qop indicating value "auth"
	;;;		;;;
	}		}
	}		}
	} // End of TP_MW_PCSCF_INVITE_01		} // End of TP_MW_PCSCF_REGISTER_01

	Test Purpose {		Test Purpose {

	TP Id TP_MW_PCSCF_INVITE_02		TP Id TP_MW_PCSCF_REGISTER_02
	Test objective "Verify that the SUT successfully processes an initial INVITE (UE_B side)."		Test objective "Verify that the SUT successfully processes a full registration (UE_A initiated)."

	Reference		Reference
	"ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3, 6.1.1 and 6.1.2",		"ETSI TS 124 229 (V15.3.0) [5], clauses 5.2.1, 6.2"
	"TP_IMS_5097_02"

	Config Id CFG_GM_01		Config Id CFG_MW_01

	PICS Selection PICS_1		PICS Selection PICS_1

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

	Expected behaviour		Expected behaviour
	ensure that {		ensure that {
	when {		when {
	the UE_A entity sends an InitialINVITE		the UE_A entity isTriggeredToStart and
			the UE_A entity hasAchieveFirstREGISTER
	}		}
	then {		then {
	the UE_B entity receives an InitialINVITE containing		the IMS_P_CSCF_A entity receives a REGISTER containing
	P_Asserted_Identity_HDR containing		FROM_HDR indicating value PX_UE_A_SIP_URI,
	SIP_URI indicating value PX_PCSCF_A_SIP_URI,		TO_HDR indicating value PX_UE_A_SIP_URI,
	TEL_URI indicating value PX_PCSCF_A_TEL_URI		CALLID_HDR indicating value PX_UE_A_CALLID,
	;		Via_HDR indicating value PX_UE_A_VIA,
			Authorization_HDR 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"
			;;
			and the IMS_P_CSCF_A entity sends an Ok containing
			FROM_HDR indicating value PX_UE_A_SIP_URI,
			TO_HDR indicating value PX_UE_A_SIP_URI,
			CALLID_HDR indicating value PX_UE_A_CALLID,
			Via_HDR indicating value PX_UE_A_VIA,
			Authentication_Info_HDR,
			P_Access_Network_Info_HDR,
			P_Associated_URI_HDR indicating value PX_UE_A_SIP_URI,
			P_Charging_Function_Addresses_HDR,
			Path_HDR,
			Service_Route_HDR indicating value PX_UE_A_SERVICE_ROUTE
	;		;
	}		}
	}		}
	} // End of TP_MW_PCSCF_INVITE_02		} // End of TP_MW_PCSCF_REGISTER_02

	} // End of Package TP_MW		} // End of Package TP_MW

test_purposes/Sip_Common.tplan2

+12 −2

Original line number	Original line	Diff line number	Diff line
	@@ -108,14 +108,24 @@ Package Sip_Common {
	Interface Type defaultGT accepts SipMessage;		Interface Type defaultGT accepts SipMessage;
	Component Type SipComponent with gate g of type defaultGT;		Component Type SipComponent with gate g of type defaultGT;

	Test Configuration CFG_GM_01 // FIXME Do we have to create a config for each interface?		Test Configuration CFG_GM_01
	containing		containing
	Tester component UE_A of type SipComponent		Tester component UE_A of type SipComponent
	Tester component IMS_P_CSCF_A of type SipComponent		Tester component IMS_P_CSCF_A of type SipComponent

	SUT component IMS_P_CSCF_A of type SipComponent		SUT component IMS_P_CSCF_A of type SipComponent
	connection between UE_A.g and IMS_P_CSCF_A.g		connection between UE_A.g and IMS_P_CSCF_A.g
	connection between IMS_P_CSCF_A.g and NW_UE_B.g		connection between IMS_P_CSCF_A.g and IMS_I_CSCF_A.g
			;

			Test Configuration CFG_MW_01
			containing
			Tester component UE_A of type SipComponent
			Tester component IMS_P_CSCF_A of type SipComponent

			SUT component IMS_P_CSCF_A of type SipComponent
			connection between UE_A.g and IMS_P_CSCF_A.g
			connection between IMS_P_CSCF_A.g and IMS_I_CSCF_A.g
	;		;

	Test Configuration CFG_IC_01		Test Configuration CFG_IC_01