add ESRP Held/LoST TPs (19b6d9d1) · Commits · EMTEL - Emergency Communications / NG112 Conformance Test Suites

test_purposes/esrp/esrp_commons.tplan2

+96 −2

Original line number	Diff line number	Diff line
		@@ -8,6 +8,11 @@ Package esrp_commons {
		- PICS_ESRP_SECURITY_POSTURE_SUPPORT
		- PICS_ESRP_ELEMENT_STATE_SUPPORT
		- PICS_ESRP_SERVICE_STATE_SUPPORT
		- PICS_ESRP_LOST
		- PICS_ESRP_LOST_REDIRECT
		- PICS_ESRP_HELD
		- PICS_ESRP_HELD_LOCATION_REFERENCE

		;
		entities:
		- DOWNSTREAM
		@@ -15,20 +20,22 @@ Package esrp_commons {
		- UPSTREAM
		- DIVERSION
		- ECRF
		- ECRF_2
		- LIS
		;
		events:
		- configured
		- isConfiguredWith
		- receives
		- returns
		- forwards
		- sends
		- dequeue_registered // complete dequeue registration + IUT subscribed for QueueState
		- dequeueRegistered // complete dequeue registration + IUT subscribed for QueueState
		- default_routes
		- reachable_by
		;
		}
		Data {
		type SIP_INVITE;
		type SIP_REGISTER;
		type SIP_RESPONSE
		with
		@@ -54,5 +61,92 @@ Package esrp_commons {

		type Number;
		type QueueState;


		type Boolean;
		type String;
		type StringList;
		type URI;
		type URN;
		type Geometry;
		type Service;
		type ServiceList;
		type Certificate;

		type SipInvite
		with
		service of type String,
		caller of type URI,
		optional location of type Geometry,
		optional locationReference of type URI
		;

		type EcrfConfig
		with
		uri of type URI
		;

		type LisConfig
		with
		uri of type URI
		;

		type FindServiceRequest
		with
		location of type Geometry,
		service of type String,
		profile of type String,
		optional certificate of type Certificate
		;

		type FindServiceResponse
		with
		uri of type URI,
		service of type String
		;

		type RedirectResponse
		with
		target of type URI
		;

		type LocationType
		with
		optional exact of type Boolean,
		optional values of type StringList
		;

		type LocationRequest
		with
		locationType of type LocationType,
		uri of type URI,
		optional certificate of type Certificate
		;

		Service POLICE; // urn:service:sos.police
		URI URI_POLICE_G1; // "sip:police@G1.org";

		// ######
		// PIXITS
		Geometry PX_G1;

		Geometry PX_CIRCLE_IN_G1;



		Mapping PX_POLICE_G1 containing
		geometry set to PX_G1,
		service set to POLICE,
		uri set to URI_POLICE_G1
		;

		URI PX_REDIRECT_TARGET;
		URI PX_ECRF;
		URI PX_LIS;
		URI PX_CALLER;
		URI PX_LOCATION_REFERENCE;

		StringList PX_CONFIGURED_SERVICES;

		}
		}
		No newline at end of file

test_purposes/esrp/esrp_tps.tplan2

+264 −12

Original line number	Diff line number	Diff line
		Package ESRP {
		Group 'FindService' {
		import all from esrp_commons;

		Test Purpose {
		TP Id TP_ESRP_FIND_SERVICE_BV_01
		Test objective
		"IUT fetches service URN from ECRF and forwards an incoming call with Geodetic Location"
		Reference
		"ETSI TS 103 479 [1], clause 5.2.2. LOST-1",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection PICS_ESRP_LOST

		Initial conditions
		with {
		the IUT entity isConfiguredWith an EcrfConfig containing
		uri set to PX_ECRF
		;
		and
		the ECRF entity reachable_by a (predefined) uri PX_ECRF
		and
		the DOWNSTREAM entity reachable_by a (predefined) uri URI_POLICE_G1
		}
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives
		a (typed) request SipInvite containing
		location corresponding to PX_CIRCLE_IN_G1,
		service set to "urn:service:sos.police",
		caller corresponding to PX_CALLER
		;
		}
		then {
		the IUT entity sends a (typed) request FindServiceRequest containing
		service corresponding to POLICE,
		location corresponding to PX_CIRCLE_IN_G1
		;
		to the ECRF entity
		and
		the ECRF entity sends a (typed) response FindServiceResponse containing
		service corresponding to POLICE,
		uri corresponding to URI_POLICE_G1
		;
		and
		the IUT entity forwards a (typed) request SipInvite containing
		location corresponding to PX_CIRCLE_IN_G1,
		service set to "urn:service:sos.police",
		caller corresponding to PX_CALLER
		;
		to the DOWNSTREAM entity
		}
		}
		}

		Test Purpose {
		TP Id TP_ESRP_FIND_SERVICE_BV_02
		Test objective
		"IUT fetches service URN from ECRF with redirect and forwards an incoming call with Geodetic Location"
		Reference
		"ETSI TS 103 479 [1], clause 5.2.2. LOST-1",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection PICS_ESRP_LOST and PICS_ESRP_LOST_REDIRECT

		Initial conditions
		with {
		the IUT entity isConfiguredWith an EcrfConfig containing
		uri set to PX_ECRF
		;
		and
		the ECRF entity reachable_by a (predefined) uri PX_ECRF
		and
		the ECRF_2 entity reachable_by a (predefined) uri PX_REDIRECT_TARGET
		and
		the DOWNSTREAM entity reachable_by a (predefined) uri URI_POLICE_G1
		}
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives
		a (typed) request SipInvite containing
		location corresponding to PX_CIRCLE_IN_G1,
		service set to "urn:service:sos.police",
		caller corresponding to PX_CALLER
		;
		}
		then {
		the IUT entity sends a (typed) request FindServiceRequest containing
		service corresponding to POLICE,
		location corresponding to PX_CIRCLE_IN_G1
		;
		to the ECRF entity
		and
		the ECRF entity sends a (typed) response RedirectResponse containing
		target corresponding to PX_REDIRECT_TARGET
		;
		and
		the IUT entity sends a (typed) request FindServiceRequest containing
		service corresponding to POLICE,
		location corresponding to PX_CIRCLE_IN_G1
		;
		to the ECRF_2 entity
		and
		the ECRF_2 entity sends a (typed) response FindServiceResponse containing
		service corresponding to POLICE,
		uri corresponding to URI_POLICE_G1
		;
		and
		the IUT entity forwards a (typed) request SipInvite containing
		location corresponding to PX_CIRCLE_IN_G1,
		service set to "urn:service:sos.police",
		caller corresponding to PX_CALLER
		;
		to the DOWNSTREAM entity
		}
		}
		}

		Test Purpose {
		TP Id TP_ESRP_FIND_SERVICE_BV_03
		Test objective
		"IUT gets location from LIS and fetches service URN from ECRF and forwards an incoming call without Location"
		Reference
		"ETSI TS 103 479 [1], clause 5.2.2. LOST-1",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection PICS_ESRP_HELD and PICS_ESRP_LOST

		Initial conditions
		with {
		the IUT entity isConfiguredWith an EcrfConfig containing
		uri set to PX_ECRF
		;
		and
		the IUT entity isConfiguredWith a LisConfig containing
		uri set to PX_LIS
		;
		and
		the ECRF entity reachable_by a (predefined) uri PX_ECRF
		and
		the DOWNSTREAM entity reachable_by a (predefined) uri URI_POLICE_G1
		}
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives
		a (typed) request SipInvite containing
		service set to "urn:service:sos.police",
		caller corresponding to PX_CALLER
		;
		}
		then {
		the IUT entity sends a LocationRequest containing
		uri corresponding to PX_CALLER
		;
		to the LIS entity
		and
		the IUT entity sends a LocationResponse containing
		presence containing
		"location-info" carrying PX_CIRCLE_IN_G1
		;
		;
		and
		the IUT entity sends a (typed) request FindServiceRequest containing
		service corresponding to POLICE,
		location corresponding to PX_CIRCLE_IN_G1
		;
		to the ECRF entity
		and
		the ECRF entity sends a (typed) response FindServiceResponse containing
		service corresponding to POLICE,
		uri corresponding to URI_POLICE_G1
		;
		and
		the IUT entity forwards a (typed) request SipInvite containing
		service set to "urn:service:sos.police",
		caller corresponding to PX_CALLER
		;
		to the DOWNSTREAM entity
		}
		}
		}

		Test Purpose {
		TP Id TP_ESRP_FIND_SERVICE_BV_04
		Test objective
		"IUT resolves location reference and fetches service URN from ECRF and forwards an incoming call without Location"
		Reference
		"ETSI TS 103 479 [1], clause 5.2.2. LOST-1",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection PICS_ESRP_HELD_LOCATION_REFERENCE and PICS_ESRP_LOST

		Initial conditions
		with {
		the IUT entity isConfiguredWith an EcrfConfig containing
		uri set to PX_ECRF
		;
		and
		the ECRF entity reachable_by a (predefined) uri PX_ECRF
		and
		the LSI entity reachable_by a (predefined) uri PX_LOCATION_REFERENCE
		and
		the DOWNSTREAM entity reachable_by a (predefined) uri URI_POLICE_G1
		}
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives
		a (typed) request SipInvite containing
		service set to "urn:service:sos.police",
		caller corresponding to PX_CALLER,
		locationReference corresponding to PX_LOCATION_REFERENCE
		;
		}
		then {
		the IUT entity sends a LocationDerefenceRequest
		to the LIS entity
		and
		the IUT entity sends a LocationResponse containing
		presence containing
		"location-info" carrying PX_CIRCLE_IN_G1
		;
		;
		and
		the IUT entity sends a (typed) request FindServiceRequest containing
		service corresponding to POLICE,
		location corresponding to PX_CIRCLE_IN_G1
		;
		to the ECRF entity
		and
		the ECRF entity sends a (typed) response FindServiceResponse containing
		service corresponding to POLICE,
		uri corresponding to URI_POLICE_G1
		;
		and
		the IUT entity forwards a (typed) request SipInvite containing
		service set to "urn:service:sos.police",
		caller corresponding to PX_CALLER
		;
		to the DOWNSTREAM entity
		}
		}
		}

		}


		Group 'Fixed Target' {
		import all from esrp_commons;
		@@ -19,7 +271,7 @@ Package ESRP {
		ensure that {
		when {
		the IUT entity receives
		a SIP_INVITE
		a SipInvite
		}
		then {
		the IUT entity forwards
		@@ -169,7 +421,7 @@ Package ESRP {

		PICS Selection PICS_ESRP_QUEUE_STATE_SUPPORT
		Initial conditions with {
		the DOWNSTREAM entity dequeue_registered to the IUT entity
		the DOWNSTREAM entity dequeueRegistered to the IUT entity
		}

		Expected behaviour
		@@ -196,7 +448,7 @@ Package ESRP {

		PICS Selection PICS_ESRP_QUEUE_STATE_SUPPORT
		Initial conditions with {
		the DOWNSTREAM entity dequeue_registered to the IUT entity
		the DOWNSTREAM entity dequeueRegistered to the IUT entity
		}

		Expected behaviour
		@@ -208,7 +460,7 @@ Package ESRP {
		;
		from the DOWNSTREAM entity
		and the IUT entity receives
		a SIP_INVITE
		a SipInvite
		}
		then {
		the IUT entity forwards
		@@ -229,7 +481,7 @@ Package ESRP {
		Initial conditions with {
		the IUT entity default_routes to the DIVERSION entity
		and
		the DOWNSTREAM entity dequeue_registered to the IUT entity
		the DOWNSTREAM entity dequeueRegistered to the IUT entity
		}

		Expected behaviour
		@@ -242,7 +494,7 @@ Package ESRP {
		from the DOWNSTREAM entity
		and
		the IUT entity receives
		a SIP_INVITE
		a SipInvite
		}
		then {
		the IUT entity forwards
		@@ -263,7 +515,7 @@ Package ESRP {
		Initial conditions with {
		the IUT entity default_routes to the DIVERSION entity
		and
		the DOWNSTREAM entity dequeue_registered to the IUT entity
		the DOWNSTREAM entity dequeueRegistered to the IUT entity
		}

		Expected behaviour
		@@ -276,7 +528,7 @@ Package ESRP {
		from the DOWNSTREAM entity
		and
		the IUT entity receives
		a SIP_INVITE
		a SipInvite
		}
		then {
		the IUT entity forwards
		@@ -297,7 +549,7 @@ Package ESRP {
		Initial conditions with {
		the IUT entity default_routes to the DIVERSION entity
		and
		the DOWNSTREAM entity dequeue_registered to the IUT entity
		the DOWNSTREAM entity dequeueRegistered to the IUT entity
		}

		Expected behaviour
		@@ -310,7 +562,7 @@ Package ESRP {
		from the DOWNSTREAM entity
		and
		the IUT entity receives
		a SIP_INVITE
		a SipInvite
		}
		then {
		the IUT entity forwards
		@@ -329,7 +581,7 @@ Package ESRP {

		PICS Selection PICS_ESRP_QUEUE_STATE_SUPPORT
		Initial conditions with {
		the DOWNSTREAM entity dequeue_registered to the IUT entity
		the DOWNSTREAM entity dequeueRegistered to the IUT entity
		}

		Expected behaviour
		@@ -342,7 +594,7 @@ Package ESRP {
		from the DOWNSTREAM entity
		and
		the IUT entity receives
		a SIP_INVITE
		a SipInvite
		}
		then {
		the IUT entity forwards