Update PSAP Test Purposes (TPLAN2) (ed03a2d4) · Commits · EMTEL - Emergency Communications / NG112 Conformance Test Suites

test_purposes/psap/psap.tplan2

+621 −296

Original line number	Diff line number	Diff line
		@@ -14,7 +14,7 @@
		* all rights reserved.
		* The present ETSI Source Code license shall be included in all copies of whole or part of this source code
		* and shall not imply any sub-license right.
		* (c) ETSI 2018
		* (c) ETSI 2018-2020
		*/


		@@ -32,17 +32,32 @@ Package NG112_PSAP {
		- S_SIP_BYE1 //BYE handled
		- M_SIP_URN1 //SIP message with geolocation (value)
		- S_SIP_OPT1 //receive SIP OPTIONS - respond OK
		- S_SIP_NO_REGISTRATION // PSAP does not register to the ESRP
		- S_SIP_REGISTRATION // PSAP is registered to the ESRP
		- S_HTTP_DEQUEUE_REGISTRATION // PRF is used and PSAP shall register to an ESRP Dequeue
		- S_HTTP_HELD // Support of HELD
		- S_HTTP_LOST // Support of LOST
		;
		entities:
		- IUT
		- CALLER
		- ESRP
		- LIS
		- ECRF
		;
		events:
		- isRegistered // The PSAP is registered to an ESRP via SIP registration of Dequeue registration
		- isDisconnected // The PSAP is not connected yet to the ESInet
		- isConnected // The PSAP is connected yet to the ESInet
		- isRequestedtoConnect // The PSAP is connecting yet to the ESInet
		- isRequestedtoDisconnect // The PSAP is disconnecting from the ESInet
		- acceptingIncomingCalls // PSAP ready to receive incoming calls
		- receives // for packets coming from the network to the IUT
		- sends // for packets sent by the IUT to the network
		- establishesIncomingCall // [ref psap.txt:establishesIncomingCall] The IUT establishes the incoming call
		- inAnActiveIncomingCall // [ref psap.txt:inAnActiveIncomingCall] An incoming call is established
		- isRequestedToGetLocationInfo // PSAP is requested to send a request for location information
		- isRequestedToGetRouteEmergencyCalls // PSAP is requested to send a request for route emergency call
		;
		}

		@@ -64,19 +79,41 @@ Package NG112_PSAP {
		Tester component CALLER of type NG112Comp
		SUT component IUT of type NG112Comp
		connection between CALLER.g and IUT.g;
		Test Configuration CFG_PSAP_02
		containing
		Tester component CALLER of type NG112Comp
		Tester component ESRP_QUEUE of type NG112Comp
		SUT component IUT of type NG112Comp
		connection between CALLER.g and IUT.g
		connection between ESRP_QUEUE.g and IUT.g;
		Test Configuration CFG_PSAP_03
		containing
		Tester component HTTP_CLIENT of type NG112Comp
		SUT component IUT of type NG112Comp
		connection between HTTP_CLIENT.g and IUT.g;
		Test Configuration CFG_PSAP_04
		containing
		Tester component CALLER of type NG112Comp
		Tester component ESRP_QUEUE of type NG112Comp
		Tester component HTTP_CLIENT of type NG112Comp
		SUT component IUT of type NG112Comp
		connection between CALLER.g and IUT.g
		connection between ESRP_QUEUE.g and IUT.g
		connection between HTTP_CLIENT.g and IUT.g;
		}

		Test Purpose {
		TP Id TP_PSAP_SIP_INVITE_BV_01
		TP Id TP_PSAP_SIP_INVITE_BV_01_01
		Test objective
		"IUT successfully handles SIP INVITE with service urn and ULAW via UDP"
		"IUT successfully handles SIP INVITE with service urn and ULAW via UDP, with no SIP registration"
		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"ETSI TS 103 479 [1], clause 5.4 and clause 6.1.1",
		"ETSI TS 103 698",
		"Next Generation 112 LTD [2], clause 4.7",
		"RFC3261 [6]",
		"RFC5301 [7]"
		Config Id CFG_PSAP_01
		PICS Selection S_SIP_UDP1 and E_SIP_URN3 and B_SDP_ULA1
		PICS Selection S_SIP_UDP1 and E_SIP_URN3 and B_SDP_ULA1 and S_SIP_NO_REGISTRATION
		Initial conditions with {
		the IUT entity acceptingIncomingCalls
		}
		@@ -84,7 +121,7 @@ Expected behaviour
		ensure that {
		when {
		the IUT entity receives a UDP SIP_INVITE containing
		Request_URI indicating value "urn:service:sos.police",
		Request_URI indicating value "urn:service:sos.police", // TODO Use PIXIT
		Content_Type indicating value "application/sdp",
		body containing
		SDP_ULAW
		@@ -95,27 +132,94 @@ Expected behaviour
		the IUT entity establishesIncomingCall
		}
		}
		} //End of TP_PSAP_SIP_INVITE_BV_01
		} // End of TP_PSAP_SIP_INVITE_BV_01_01

		Test Purpose {
		TP Id TP_PSAP_SIP_INVITE_BV_01_02
		Test objective
		"IUT successfully handles SIP INVITE with service urn and ULAW via UDP, with SIP registration"
		Reference
		"ETSI TS 103 479 [1], clause 5.4 and clause 6.1.1",
		"ETSI TS 103 698",
		"Next Generation 112 LTD [2], clause 4.7",
		"RFC3261 [6]",
		"RFC5301 [7]"
		Config Id CFG_PSAP_01
		PICS Selection S_SIP_UDP1 and E_SIP_URN3 and B_SDP_ULA1 and S_SIP_REGISTRATION
		Initial conditions with {
		the IUT entity isRegistered to the ESRP entity and
		the IUT entity acceptingIncomingCalls
		}
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a UDP SIP_INVITE containing
		Request_URI indicating value "urn:service:sos.police", // TODO Use PIXIT
		Content_Type indicating value "application/sdp",
		body containing
		SDP_ULAW
		;
		;
		}
		then {
		the IUT entity establishesIncomingCall
		}
		}
		} // End of TP_PSAP_SIP_INVITE_BV_01_02

		Test Purpose {
		TP Id TP_PSAP_SIP_INVITE_BV_02_01
		Test objective
		"IUT successfully handles SIP INVITE with service urn and ALAW via UDP, with no SIP registration"
		Reference
		"ETSI TS 103 479 [1], clause 5.4 and clause 6.1.1",
		"ETSI TS 103 698",
		"Next Generation 112 LTD [2], clause 4.7",
		"RFC3261 [6]",
		"RFC5301 [7]"
		Config Id CFG_PSAP_01
		PICS Selection S_SIP_UDP1 and E_SIP_URN3 and B_SDP_ALA1 and S_SIP_NO_REGISTRATION
		Initial conditions with {
		the IUT entity acceptingIncomingCalls
		}
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a UDP SIP_INVITE containing
		Request_URI indicating value "urn:service:sos.police", // TODO Use PIXIT
		Content_Type indicating value "application/sdp",
		body containing
		SDP_ALAW
		;
		;
		}
		then {
		the IUT entity establishesIncomingCall
		}
		}
		} // End of TP_PSAP_SIP_INVITE_BV_02_01

		Test Purpose {
		TP Id TP_PSAP_SIP_INVITE_BV_02
		TP Id TP_PSAP_SIP_INVITE_BV_02_02
		Test objective
		"IUT successfully handles SIP INVITE with service urn and ALAW via UDP"
		"IUT successfully handles SIP INVITE with service urn and ALAW via UDP, with SIP registration"
		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"ETSI TS 103 479 [1], clause 5.4 and clause 6.1.1",
		"ETSI TS 103 698",
		"Next Generation 112 LTD [2], clause 4.7",
		"RFC3261 [6]",
		"RFC5301 [7]"
		Config Id CFG_PSAP_01
		PICS Selection S_SIP_UDP1 and E_SIP_URN3 and B_SDP_ALA1
		PICS Selection S_SIP_UDP1 and E_SIP_URN3 and B_SDP_ALA1 and S_SIP_REGISTRATION
		Initial conditions with {
		the IUT entity isRegistered to the ESRP entity and
		the IUT entity acceptingIncomingCalls
		}
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a UDP SIP_INVITE containing
		Request_URI indicating value "urn:service:sos.police",
		Request_URI indicating value "urn:service:sos.police", // TODO Use PIXIT
		Content_Type indicating value "application/sdp",
		body containing
		SDP_ALAW
		@@ -126,19 +230,20 @@ Expected behaviour
		the IUT entity establishesIncomingCall
		}
		}
		} //End of TP_PSAP_SIP_INVITE_BV_02
		} // End of TP_PSAP_SIP_INVITE_BV_02_02

		Test Purpose {
		TP Id TP_PSAP_SIP_INVITE_BV_03
		Test objective
		"IUT successfully handles SIP INVITE with service urn via TCP"
		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"ETSI TS 103 479 [1], clause 5.4 and clause 6.1.1",
		"ETSI TS 103 698",
		"Next Generation 112 LTD [2], clause 4.7",
		"RFC3261 [6]",
		"RFC5301 [7]"
		Config Id CFG_PSAP_01
		PICS Selection S_SIP_TCP1 and E_SIP_URN3 and B_SDP_ULA1
		PICS Selection S_SIP_TCP1 and E_SIP_URN3 and B_SDP_ULA1 and S_SIP_NO_REGISTRATION
		Initial conditions with {
		the IUT entity acceptingIncomingCalls
		}
		@@ -146,7 +251,7 @@ Expected behaviour
		ensure that {
		when {
		the IUT entity receives a TCP SIP_INVITE containing
		Request_URI indicating value "urn:service:sos.police",
		Request_URI indicating value "urn:service:sos.police", // TODO Use PIXIT
		Content_Type indicating value "application/sdp",
		body containing
		SDP_ULAW
		@@ -164,12 +269,13 @@ TP Id TP_PSAP_SIP_INVITE_BV_04
		Test objective
		"IUT successfully handles SIP INVITE with SDP and PIDF-LO content"
		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"ETSI TS 103 479 [1], clause 5.4 and clause 6.1.1",
		"ETSI TS 103 698",
		"Next Generation 112 LTD [2], clause 4.7",
		"RFC3261 [6]",
		"RFC5301 [7]"
		Config Id CFG_PSAP_01
		PICS Selection S_SIP_TCP1 and E_SIP_URN1 and B_SDP_ULA1
		PICS Selection S_SIP_TCP1 and E_SIP_URN1 and B_SDP_ULA1 and S_SIP_NO_REGISTRATION
		Initial conditions with {
		the IUT entity acceptingIncomingCalls
		}
		@@ -177,7 +283,7 @@ Expected behaviour
		ensure that {
		when {
		the IUT entity receives a TCP SIP_INVITE containing
		Request_URI indicating value "urn:service:sos.police",
		Request_URI indicating value "urn:service:sos.police", // TODO Use PIXIT
		Content_Type indicating value "multipart/mixed",
		body containing
		SDP_AND_PIDF_MULTIPART
		@@ -195,11 +301,12 @@ TP Id TP_PSAP_SIP_INVITE_BV_05
		Test objective
		"IUT successfully handles SIP INVITE without service URN"
		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"ETSI TS 103 479 [1], clause 5.4",
		"ETSI TS 103 698",
		"Next Generation 112 LTD [2], clause 4.7",
		"RFC3261 [6]"
		Config Id CFG_PSAP_01
		PICS Selection S_SIP_UDP1 and A_SIP_BSC1 and B_SDP_ULA1
		PICS Selection S_SIP_UDP1 and A_SIP_BSC1 and B_SDP_ULA1 and S_SIP_NO_REGISTRATION
		Initial conditions with {
		the IUT entity acceptingIncomingCalls
		}
		@@ -221,16 +328,17 @@ Expected behaviour
		} // End of TP_PSAP_SIP_INVITE_BV_05

		Test Purpose {
		TP Id TP_PSAP_SIP_INVITE_BV_06
		TP Id TP_PSAP_SIP_BYE_BV_01
		Test objective
		"IUT successfully handles an incoming SIP BYE"
		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"ETSI TS 103 479 [1], clause 5.4",
		"ETSI TS 103 698",
		"Next Generation 112 LTD [2], clause 4.7",
		"RFC3261 [6]",
		"RFC5301 [7]"
		Config Id CFG_PSAP_01
		PICS Selection S_SIP_TCP1 and E_SIP_URN1 and B_SDP_ULA1
		PICS Selection S_SIP_TCP1 and E_SIP_URN1 and B_SDP_ULA1 and S_SIP_NO_REGISTRATION
		Initial conditions with {
		the IUT entity inAnActiveIncomingCall
		}
		@@ -243,18 +351,19 @@ Expected behaviour
		the IUT entity sends a SIP_OK
		}
		}
		} //End of TP_PSAP_SIP_INVITE_BV_06
		} // End of TP_PSAP_SIP_BYE_BV_01

		Test Purpose {
		TP Id TP_PSAP_SIP_INVITE_BV_07
		TP Id TP_PSAP_SIP_MESSAGE_BV_01
		Test objective
		"IUT successfully handles an incoming SIP MESSAGE"
		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"ETSI TS 103 479 [1], clause 5.4",
		"ETSI TS 103 698",
		"Next Generation 112 LTD [2], clause 4.7",
		"RFC3261 [6]"
		Config Id CFG_PSAP_01
		PICS Selection M_SIP_URN1
		PICS Selection M_SIP_URN1 and S_SIP_NO_REGISTRATION
		Initial conditions with {
		the IUT entity acceptingIncomingCalls
		}
		@@ -267,18 +376,19 @@ Expected behaviour
		the IUT entity sends a SIP_OK
		}
		}
		} //End of TP_PSAP_SIP_INVITE_BV_07
		} // End of TP_PSAP_SIP_MESSAGE_BV_01

		Test Purpose {
		TP Id TP_PSAP_SIP_INVITE_BV_08
		TP Id TP_PSAP_SIP_OPTION_BV_01
		Test objective
		"IUT successfully handles an incoming SIP OPTIONS"
		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"ETSI TS 103 479 [1], clause 5.4",
		"ETSI TS 103 698",
		"Next Generation 112 LTD [2], clause 4.7",
		"RFC3261 [6]"
		Config Id CFG_PSAP_01
		PICS Selection S_SIP_OPT1
		PICS Selection S_SIP_OPT1 and S_SIP_NO_REGISTRATION
		Initial conditions with {
		the IUT entity acceptingIncomingCalls
		}
		@@ -291,6 +401,221 @@ Expected behaviour
		the IUT entity sends a SIP_OK
		}
		}
		} //End of TP_PSAP_SIP_INVITE_BV_08
		} // End of TP_PSAP_SIP_OPTION_BV_01

		Test Purpose {
		TP Id TP_PSAP_HTTP_DEQUEUE_BV_01
		Test objective
		"Check that the IUT registers properly to an ESRP Dequeue"
		Reference
		"ETSI TS 103 479 [1], clause 5.2.4 and clause 6.2.1",
		"ETSI TS 103 698",
		"Next Generation 112 LTD [2], clause 4.7",
		"RFC3261 [6]",
		"RFC5301 [7]"
		Config Id CFG_PSAP_03
		PICS Selection S_HTTP_DEQUEUE_REGISTRATION
		Initial conditions with {
		the IUT entity isDisconnected
		}
		Expected behaviour
		ensure that {
		when {
		the IUT entity isRequestedtoConnect
		}
		then {
		the IUT entity sends a GET containing
		Uri indicating value "/dqregrequest",
		Content_type indicating value "application/json",
		body containing
		jsonMessage containing
		DequeueRegistrationQueueUri indicating value "{DQ_SIP_URL}",
		DequeueRegistrationDequeuer indicating value "{PSAP_SIP_URL}",
		DequeueRegistrationExpirationTime indicating value "{DQ_EXPIRY_TIME}" // {DQ_EXPIRY_TIME} is not 0
		;
		;
		;
		to a ESRP entity and
		the IUT entity receives a SIP_SUBSCRIBE containing
		"To" indicating value "{PSAP SIP URI}",
		"From" indicating value "{ESRP SIP URI}",
		body containing
		jsonMessage containing
		// TODO
		;
		;
		;
		to a ESRP entity and
		the IUT entity sends a SIP_NOTIFY containing
		"To" indicating value "{ESRP SIP URI}",
		"From" indicating value "{PSAP SIP URI}",
		body containing
		jsonMessage containing
		// TODO
		;
		;
		;
		to the ESRP entity
		} // TODO Add Subscribe (ESRP sends its queue state) & Notify (psap sends queue state) at registration
		}
		} // End of TP_PSAP_HTTP_DEQUEUE_BV_01

		Test Purpose {
		TP Id TP_PSAP_HTTP_DEQUEUE_BV_02
		Test objective
		"Check that the IUT accepts incoming calls after having registered to an ESRP Dequeue"
		Reference
		"ETSI TS 103 479 [1], clause 5.2.4 and clause 6.2.1",
		"ETSI TS 103 698",
		"Next Generation 112 LTD [2], clause 4.7",
		"RFC3261 [6]",
		"RFC5301 [7]"
		Config Id CFG_PSAP_02
		PICS Selection S_HTTP_DEQUEUE_REGISTRATION
		Initial conditions with {
		the IUT entity isConnected and
		the IUT entity isRegistered
		}
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a UDP SIP_INVITE containing
		Request_URI indicating value "urn:service:sos.police", // TODO Use PIXIT
		Content_Type indicating value "application/sdp"
		;
		}
		then {
		the IUT entity establishesIncomingCall
		}
		}
		} // End of TP_PSAP_HTTP_DEQUEUE_BV_02

		Test Purpose {
		TP Id TP_PSAP_HTTP_DEQUEUE_BV_03
		Test objective
		"Check that the IUT deregisters properly from an ESRP Dequeue"
		Reference
		"ETSI TS 103 479 [1], clause 5.2.4 and clause 6.2.1.2",
		"ETSI TS 103 698",
		"Next Generation 112 LTD [2], clause 4.7",
		"RFC3261 [6]",
		"RFC5301 [7]"
		Config Id CFG_PSAP_03
		PICS Selection S_HTTP_DEQUEUE_REGISTRATION
		Initial conditions with {
		the IUT entity isConnected
		}
		Expected behaviour
		ensure that {
		when {
		the IUT entity isRequestedtoDisconnect
		}
		then {
		the IUT entity sends a GET containing
		Uri indicating value "/dqregrequest",
		Content_type indicating value "application/json",
		body containing
		jsonMessage containing
		DequeueRegistrationQueueUri indicating value "{DQ_SIP_URL}",
		DequeueRegistrationDequeuer indicating value "{PSAP_SIP_URL}",
		DequeueRegistrationExpirationTime indicating value "0" // 0 for deregister
		;
		;
		;
		to the ESRP entity
		}
		}
		} // End of TP_PSAP_HTTP_DEQUEUE_BV_03

		Test Purpose {
		TP Id TP_PSAP_HELD_BV_01
		Test objective
		"Check that the IUT sends an HTTP/HELD request when the IUT is requested to get location information"
		Reference
		"ETSI TS 103 479 [1], clause 6.5",
		"ETSI TS 103 698",
		"Next Generation 112 LTD [2], clause 4.7.3",
		"RFC3261 [6]",
		"RFC5301 [7]"
		Config Id CFG_PSAP_03
		PICS Selection S_HTTP_HELD
		Initial conditions with {
		the IUT entity isConnected and
		the IUT entity isRegistered
		}
		Expected behaviour
		ensure that {
		when {
		the IUT entity isRequestedToGetLocationInfo
		}
		then {
		the IUT entity sends an POST containing
		Uri indicating value "/location",
		Host,
		not Accept,
		Content_type indicating value "application/held+xml;charset=utf-8",
		body containing
		xmlMessage containing
		version indicating value "1.0",
		element "locationRequest" inNamespace "urn:ietf:params:xml:ns:geopriv:held" containing
		element "device" inNamespace "urn:ietf:params:xml:ns:geopriv:held:id" containing
		element "uri" inNamespace "urn:ietf:params:xml:ns:geopriv:held:id" indicating value DEVICE_NUMBER_POINT
		;
		;
		;
		;
		;
		to the LIS entity
		}
		}
		} // End of TP_PSAP_HELD_BV_01

		Test Purpose {
		TP Id TP_PSAP_LOST_BV_01
		Test objective
		"Check that the IUT sends an HTTP/LOST request when the IUT is requested to get route emergency call"
		Reference
		"ETSI TS 103 479 [1], clause 6.4",
		"ETSI TS 103 698",
		"Next Generation 112 LTD [2], clause 4.7.2",
		"RFC3261 [6]",
		"RFC5301 [7]"
		Config Id CFG_PSAP_03
		PICS Selection S_HTTP_LOST
		Initial conditions with {
		the IUT entity isConnected and
		the IUT entity isRegistered
		}
		Expected behaviour
		ensure that {
		when {
		the IUT entity isRequestedToGetRouteEmergencyCalls
		}
		then {
		the IUT entity sends an POST containing
		Uri indicating value "/service",
		Host,
		not Accept,
		Content_type indicating value "application/lost+xml;charset=utf-8",
		body containing
		xmlMessage containing
		version indicating value "1.0",
		element "findService" inNamespace "urn:ietf:params:xml:ns:lost1" containing
		element "location" containing
		"profile" indicating value "geodetic-2d",
		"id" indicating value LOCATION_ID,
		element "Point" inNamespace "http://www.opengis.net/gml" containing
		"srsName" indicating value "urn:ogc:def:crs:EPSG::4326",
		element "pos" indicating value POINT_IN_E_POLICE_SERVICE_BOUNDARY;
		,
		element "service" indicating value E_POLICE_SERVICE_URN;
		;
		;
		;
		;
		to the ECRF entity
		}
		}
		} // End of TP_PSAP_LOST_BV_01

		} // End of package NG112_PSAP
		No newline at end of file