Reorganize PSAP TDL typing and TPs (d3e94d8a) · Commits · EMTEL - Emergency Communications / NG112 Conformance Test Suites

test_purposes/psap/psap.tplan2

+62 −135

Original line number	Diff line number	Diff line
		@@ -19,89 +19,8 @@


		Package NG112_PSAP {
		Domain {
		pics:
		- A_SIP_BSC1 //admin call
		- E_SIP_URN1 //em call with geolocation (value)
		- E_SIP_URN2 //em call with geolocation (token)
		- E_SIP_URN3 //em call without geolocation (id)
		- B_SDP_ULA1 //SDP with uLaw
		- B_SDP_ALA1 //SDP with uLaw
		- S_SIP_UDP1 //call via UDP
		- S_SIP_TCP1 //call via TCP
		- 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
		- acceptingIM // PSAP ready to receive IM(Instant messaging)
		- 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
		;
		}

		// Const {
		// SDP_ULAW: [ref psap.txt:SDP_ULAW];
		// SDP_ALAW: [ref psap.txt:SDP_ALAW];
		// SDP_AND_PIDF_MULTIPART [ref psap.txt:SDP_AND_PIDF_MULTIPART];
		// }


		Data {
		type PDU;
		}
		Configuration {
		Interface Type defaultGT accepts PDU;
		Component Type NG112Comp with gate g of type defaultGT;
		Test Configuration CFG_PSAP_01
		containing
		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;
		}
		import all from psap_commons;

		Test Purpose {
		TP Id TP_PSAP_SIP_INVITE_BV_01
		@@ -120,10 +39,10 @@ Package NG112_PSAP {
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a UDP SIP_INVITE containing
		the IUT entity receives a SIP_INVITE containing
		Request_URI indicating value PX_SERVICE_URN,//"urn:service:sos.police",
		Content_Type indicating value "application/sdp",
		body containing
		Body containing
		SDP_ULAW
		;
		;
		@@ -152,10 +71,10 @@ Package NG112_PSAP {
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a UDP SIP_INVITE containing
		the IUT entity receives a SIP_INVITE containing
		Request_URI indicating value PX_SERVICE_URN, //"urn:service:sos.police",
		Content_Type indicating value "application/sdp",
		body containing
		Body containing
		SDP_ULAW
		;
		;
		@@ -183,10 +102,10 @@ Package NG112_PSAP {
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a UDP SIP_INVITE containing
		the IUT entity receives a SIP_INVITE containing
		Request_URI indicating value PX_SERVICE_URN, //"urn:service:sos.police",
		Content_Type indicating value "application/sdp",
		body containing
		Body containing
		SDP_ALAW
		;
		;
		@@ -215,10 +134,10 @@ Package NG112_PSAP {
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a UDP SIP_INVITE containing
		the IUT entity receives a SIP_INVITE containing
		Request_URI indicating value PX_SERVICE_URN, //"urn:service:sos.police",
		Content_Type indicating value "application/sdp",
		body containing
		Body containing
		SDP_ALAW
		;
		;
		@@ -246,10 +165,10 @@ Package NG112_PSAP {
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a TCP SIP_INVITE containing
		the IUT entity receives a SIP_INVITE containing
		Request_URI indicating value PX_SERVICE_URN, //"urn:service:sos.police",
		Content_Type indicating value "application/sdp",
		body containing
		Body containing
		SDP_ULAW
		;
		;
		@@ -277,10 +196,10 @@ Package NG112_PSAP {
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a TCP SIP_INVITE containing
		the IUT entity receives a SIP_INVITE containing
		Request_URI indicating value PX_SERVICE_URN, //"urn:service:sos.police",
		Content_Type indicating value "multipart/mixed",
		body containing
		Body containing
		SDP_AND_PIDF_MULTIPART
		;
		;
		@@ -307,10 +226,10 @@ Package NG112_PSAP {
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a UDP SIP_INVITE containing
		the IUT entity receives a SIP_INVITE containing
		Request_URI indicating value "sip:psap@city.com",
		Content_Type indicating value "application/sdp",
		body containing
		Body containing
		SDP_ULAW
		;
		;
		@@ -340,13 +259,12 @@ Package NG112_PSAP {
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a UDP SIP_INVITE containing
		the IUT entity receives a SIP_INVITE containing
		Request_URI indicating value PX_SERVICE_URN, //"urn:service:sos.police",
		Geolocation indicating value PX_GEOLOCATION, //"cid:target@example.com"
		Content_Type indicating value "multipart/mixed",
		body containing
		SDP_ULAW,
		XML_PIDF //TODO define XML like in RFC6442
		Body containing
		SDP_AND_PIDF_MULTIPART
		;
		;
		}
		@@ -377,7 +295,7 @@ Package NG112_PSAP {
		the IUT entity sends a SIP_200OK_INVITE
		}
		then {
		the IUT entity receives a UDP SIP_ACK and
		the IUT entity receives a SIP_ACK and
		the IUT entity establishesIncomingCall
		}
		}
		@@ -450,7 +368,7 @@ Expected behaviour
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a UDP SIP_MESSAGE containing
		the IUT entity receives a SIP_MESSAGE containing
		Request_URI indicating value PX_SERVICE_URN ; //"urn:service:sos.police",
		}
		then {
		@@ -475,7 +393,7 @@ Expected behaviour
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a UDP SIP_MESSAGE containing
		the IUT entity receives a SIP_MESSAGE containing
		Request_URI indicating value PX_SERVICE_URN, //"urn:service:sos.police",
		Geolocation indicating value PX_GEOLOCATION, //"cid:target@example.com"
		Call_Info indicating value PX_CALL_INFO; //"urn:emergency:uid:callid:..."
		@@ -583,8 +501,8 @@ Expected behaviour
		the IUT entity sends a GET containing
		Uri indicating value "/dqregrequest",
		Content_type indicating value "application/json",
		body containing
		jsonMessage containing
		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
		@@ -593,21 +511,25 @@ Expected behaviour
		;
		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"// TODO
		To indicating value "{PSAP SIP URI}",
		From indicating value "{ESRP SIP URI}",
		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
		;
		;
		;
		from 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"// TODO
		To indicating value "{ESRP SIP URI}",
		From indicating value "{PSAP SIP URI}",
		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
		;
		;
		;
		@@ -635,7 +557,7 @@ Expected behaviour
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a UDP SIP_INVITE containing
		the IUT entity receives a SIP_INVITE containing
		Request_URI indicating value PX_SERVICE_URN, //"urn:service:sos.police",
		Content_Type indicating value "application/sdp"
		;
		@@ -670,8 +592,8 @@ Expected behaviour
		the IUT entity sends a GET containing
		Uri indicating value "/dqregrequest",
		Content_type indicating value "application/json",
		body containing
		jsonMessage containing
		Body containing
		JsonMessage containing
		DequeueRegistrationQueueUri indicating value "{DQ_SIP_URL}",
		DequeueRegistrationDequeuer indicating value "{PSAP_SIP_URL}",
		DequeueRegistrationExpirationTime indicating value "0" // 0 for deregister
		@@ -710,12 +632,13 @@ Expected behaviour
		Host,
		not Accept,
		Content_type indicating value "application/held+xml;charset=utf-8",
		body containing
		xmlMessage containing
		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
		locationRequest containing
		namespace indicating value "urn:ietf:params:xml:ns:geopriv:held"
		device containing
		uri indicating value DEVICE_NUMBER_POINT
		;
		;
		;
		@@ -753,18 +676,22 @@ Expected behaviour
		Host,
		not Accept,
		Content_type indicating value "application/lost+xml;charset=utf-8",
		body containing
		xmlMessage containing
		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;
		findService containing
		namespace indicating value "urn:ietf:params:xml:ns:lost1",
		location containing
		profile indicating value "geodetic-2d",
		id indicating value LOCATION_ID,
		Point containing
		namespace indicating value "http://www.opengis.net/gml",
		srsName indicating value "urn:ogc:def:crs:EPSG::4326",
		pos indicating value POINT_IN_E_POLICE_SERVICE_BOUNDARY
		;
		,
		element "service" indicating value E_POLICE_SERVICE_URN;
		service indicating value E_POLICE_SERVICE_URN
		;
		;
		;
		;

test_purposes/psap/psap_commons.tplan2

0 → 100644

+166 −0

Original line number	Diff line number	Diff line
		Package psap_commons {
		Domain {
		pics:
		- A_SIP_BSC1 //admin call
		- E_SIP_URN1 //em call with geolocation (value)
		- E_SIP_URN2 //em call with geolocation (token)
		- E_SIP_URN3 //em call without geolocation (id)
		- B_SDP_ULA1 //SDP with uLaw
		- B_SDP_ALA1 //SDP with uLaw
		- S_SIP_UDP1 //call via UDP
		- S_SIP_TCP1 //call via TCP
		- 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
		- acceptingIM // PSAP ready to receive IM(Instant messaging)
		- 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
		;
		}

		Data {
		type String;
		type Number;
		type URI;
		type SDP;
		type Position;
		type Point
		with
		srsName of type String,
		pos of type Position
		;
		type LocationType
		with
		profile of type String,
		id of type String,
		Point of type Point
		;
		type LocationRequest
		with
		namespace of type String,
		device of type String,
		uri of type URI
		;
		type FindService
		with
		namespace of type String,
		location of type LocationType,
		service of type String
		;
		type XmlMessage
		with
		version of type String,
		optional locationRequest of type LocationRequest,
		optional findService of type FindService
		;
		type DequeueRegistration
		with
		DequeueRegistrationQueueUri of type URI,
		DequeueRegistrationDequeuer of type URI,
		DequeueRegistrationExpirationTime of type Number
		;
		type Body
		with
		optional SDP of type SDP,
		optional XmlMessage of type XmlMessage,
		optional JsonMessage of type DequeueRegistration
		;
		type Geolocation;
		type SIP_REGISTER
		with
		To of type String,
		From of type String,
		Request_URI of type URI,
		Content_Type of type String,
		optional Geolocation of type Geolocation,
		optional Call_Info of type String,
		optional Body of type Body
		;
		type SIP_INVITE;
		type SIP_ACK;
		type SIP_CANCEL;
		type SIP_BYE;
		type SIP_INFO;
		type SIP_OPTIONS;
		type SIP_MESSAGE;
		type SIP_200OK_INVITE
		with
		"STATUS" of type Number
		;
		type SIP_487_INVITE
		with
		"STATUS" of type Number
		;
		type SIP_200OK_BYE
		with
		"STATUS" of type Number
		;
		type SIP_200OK_MESSAGE
		with
		"STATUS" of type Number
		;
		type SIP_200OK_OPTIONS
		with
		"STATUS" of type Number
		;
		type SIP_200OK_INFO
		with
		"STATUS" of type Number
		;
		}
		Configuration {
		Interface Type defaultGT accepts SIP_INVITE, SIP_REGISTER, SIP_200OK_INVITE, SIP_200OK_BYE;
		Component Type NG112Comp with gate g of type defaultGT;
		Test Configuration CFG_PSAP_01
		containing
		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;
		}

		}