add ecrf test purposes (f67b16e0) · Commits · EMTEL - Emergency Communications / NG112 Conformance Test Suites

test_purposes/ecrf/ecrf_commons.tplan2

0 → 100644

+157 −0

Original line number	Diff line number	Diff line
		Package ecrf_commons {
		Domain {
		pics:
		- FIND_SERVICE
		- LIST_SERVICES
		- LIST_SERVICES_BY_LOCATION
		- SIP_SUBSCRIPTION_ELEMENT_STATE
		- SIP_SUBSCRIPTION_SECURITY_POSTURE
		- SIP_SUBSCRIPTION_SERVICE_STATE
		- GEOMETRY_POINT
		- GEOMETRY_CIRCLE
		- GEOMETRY_ELLIPSE
		- GEOMETRY_ARCBAND
		- GEOMETRY_POLYGON
		- TLS_AUTHENTICATION
		;
		entities:
		- IUT
		- CLIENT
		;
		events:
		- has
		- receives
		- sends
		;
		}

		Data {

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


		type Mapping
		with
		geometry of type Geometry,
		service of type URN,
		uri of type URI
		;

		type FindServiceRequest
		with
		location of type Geometry,
		service of type String,
		profile of type String,
		serviceBoundary of type String
		;

		type FindServiceResponse
		with
		uri of type URI,
		service of type String,
		optional geometry of type Geometry
		;

		type ListServicesRequest
		with
		optional service of type String
		;
		type ListServicesResponse
		with
		services of type StringList
		;


		type ListServicesByLocationRequest
		with
		location of type Geometry,
		optional service of type String
		;

		type ListServicesByLocationResponse
		with
		serviceList of type ServiceList
		;

		type ErrorResponse
		with
		errors of type String
		;


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

		type Area
		with
		geometry of type Geometry,
		m1 of type MappI,
		m2 of type MappI
		;

		Service FIRE; // urn:service:sos.fire
		Service POLICE; // urn:service:sos.police

		URI URI_FIRE_G1; // "sip:fire@G1.org";
		URI URI_FIRE_G2; // "sip:fire@G2.org";

		URI URI_POLICE_G1; // "sip:police@G1.org";
		URI URI_POLICE_G2; // "sip:police@G2.org";

		URI URI_AMBULANCE_G3;

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

		Geometry PX_POINT_IN_G1;
		Geometry PX_POINT_IN_G2;

		Geometry PX_CIRCLE_IN_G1;
		Geometry PX_CIRCLE_IN_G2;

		Geometry PX_ELLIPSE_IN_G1;
		Geometry PX_ARCBAND_IN_G1;
		Geometry PX_POLYGON_IN_G1;

		Geometry PX_CIRCLE_INTERSECT_ONLY_G1;
		Geometry PX_CIRCLE_INTERSECT_MAINLY_G1_AND_G2;

		Mapping PX_FIRE_G1 containing
		geometry set to PX_G1,
		service set to FIRE,
		uri set to URI_FIRE_G1
		;

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

		Mapping PX_FIRE_G2 containing
		geometry set to PX_G2,
		service set to FIRE,
		uri set to URI_FIRE_G2
		;

		Mapping PX_POLICE_G2 containing
		geometry set to PX_G2,
		service set to POLICE,
		uri set to URI_POLICE_G2
		;

		StringList PX_CONFIGURED_SERVICES;

		}
		}
		No newline at end of file

test_purposes/ecrf/ecrf_tps.tplan2

0 → 100644

+733 −0

Original line number	Diff line number	Diff line
		Package ECRF {
		Group "LoST" {
		import all from ecrf_commons;

		Test Purpose {
		TP Id TP_LOST_BV_01

		Test objective
		"IUT successfully responds with a service URI for a Point in the service boundary"

		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE and GEOMETRY_POINT

		Initial conditions
		with {
		the IUT entity has a (predefined) mapping PX_POLICE_G1
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a (typed) request FindServiceRequest containing
		service corresponding to POLICE,
		location corresponding to PX_POINT_IN_G1
		;
		}
		then {
		the IUT entity sends a (typed) response FindServiceResponse containing
		service corresponding to POLICE,
		uri corresponding to URI_POLICE_G1
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_LOST_BV_02

		Test objective
		"IUT successfully responds with a service URI for a Circle in the service boundary"

		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE and GEOMETRY_CIRCLE

		Initial conditions
		with {
		the IUT entity has a (predefined) mapping PX_POLICE_G1
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a (typed) request FindServiceRequest containing
		service corresponding to POLICE,
		location corresponding to PX_CIRCLE_IN_G1
		;
		}
		then {
		the IUT entity sends a (typed) response FindServiceResponse containing
		service corresponding to POLICE,
		uri corresponding to URI_POLICE_G1
		;
		}
		}
		}


		Test Purpose {
		TP Id TP_LOST_BV_03

		Test objective
		"IUT successfully responds with an error response for an unknown Service URN in the service boundary"

		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE

		Initial conditions
		with {
		the IUT entity has no Mapping containing
		service set to "urn:some:unknown:service"
		;
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a (typed) request FindServiceRequest containing
		service set to "urn:some:unknown:service"
		;
		}
		then {
		the IUT entity sends a (typed) response ErrorResponse containing
		errors indicating value "serviceNotImplemented"
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_LOST_BV_04

		Test objective
		"IUT successfully responds with an error response for an unrecognized location profile"

		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE

		Initial conditions
		with {
		the IUT entity has no Mapping containing
		service set to "urn:some:unknown:service"
		;
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a (typed) request FindServiceRequest containing
		profile set to "someUnknownProfile"
		;
		}
		then {
		the IUT entity sends a (typed) response ErrorResponse containing
		errors indicating value "locationProfileUnrecognized"
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_LOST_BV_05

		Test objective
		"IUT successfully includes the service boundary by value"

		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE and GEOMETRY_POINT

		Initial conditions
		with {
		the IUT entity has a (predefined) mapping PX_POLICE_G1
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a (typed) request FindServiceRequest containing
		service corresponding to POLICE,
		location corresponding to PX_POINT_IN_G1,
		serviceBoundary set to "value"
		;
		}
		then {
		the IUT entity sends a (typed) response FindServiceResponse containing
		service corresponding to POLICE,
		uri corresponding to URI_POLICE_G1,
		geometry corresponding to PX_G1
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_LOST_BV_06

		Test objective
		"IUT successfully responds with the service URI for intersecting Circle"

		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE and GEOMETRY_CIRCLE

		Initial conditions
		with {
		the IUT entity has a (predefined) mapping PX_POLICE_G1
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a (typed) request FindServiceRequest containing
		service corresponding to POLICE,
		location corresponding to PX_CIRCLE_INTERSECT_ONLY_G1
		;
		}
		then {
		the IUT entity sends a (typed) response FindServiceResponse containing
		service corresponding to POLICE,
		uri corresponding to URI_POLICE_G1

		;
		}
		}
		}

		Test Purpose {
		TP Id TP_LOST_BV_07

		Test objective
		"IUT successfully responds with the service URI for Circle intersecting multiple service boundaries"

		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE and GEOMETRY_CIRCLE

		Initial conditions
		with {
		the IUT entity has a (predefined) mapping PX_POLICE_G1
		and the IUT entity has a (predefined) mapping PX_POINT_IN_G2
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a (typed) request FindServiceRequest containing
		service corresponding to POLICE,
		location corresponding to PX_CIRCLE_INTERSECT_MAINLY_G1_AND_G2
		;
		}
		then {
		the IUT entity sends a (typed) response FindServiceResponse containing
		service corresponding to POLICE,
		uri corresponding to URI_POLICE_G1
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_LOST_BV_08

		Test objective
		"IUT successfully responds with the service URI for Circle a boundary with multiple services"

		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE and GEOMETRY_CIRCLE

		Initial conditions
		with {
		the IUT entity has a (predefined) mapping PX_POLICE_G1
		and the IUT entity has a (predefined) mapping PX_FIRE_G1
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a (typed) request FindServiceRequest containing
		service corresponding to FIRE,
		location corresponding to PX_CIRCLE_IN_G1
		;
		}
		then {
		the IUT entity sends a (typed) response FindServiceResponse containing
		service corresponding to FIRE,
		uri corresponding to URI_FIRE_G1
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_LOST_BV_09

		Test objective
		"IUT successfully responds with configured service types for a ListServices request"

		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection LIST_SERVICES

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a (typed) request ListServicesRequest containing
		service set to "urn:service:sos"
		;
		}
		then {
		the IUT entity sends a (typed) response ListServicesResponse containing
		services corresponding to PX_CONFIGURED_SERVICES
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_LOST_BV_10

		Test objective
		"IUT successfully responds with configured service types for a ListServicesByLocation request"

		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection LIST_SERVICES_BY_LOCATION

		Initial conditions
		with {
		the IUT entity has a (predefined) mapping PX_POLICE_G1
		and the IUT entity has a (predefined) mapping PX_FIRE_G1
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a (typed) request ListServicesByLocationRequest containing
		location corresponding to PX_POINT_IN_G1,
		service set to "urn:service:sos"
		;
		}
		then {
		the IUT entity sends a (typed) response ListServicesByLocationResponse containing
		serviceList carrying POLICE,
		serviceList carrying FIRE
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_LOST_BV_11

		Test objective
		"IUT successfully responds with configured service types for a ListServices request without service element"

		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection LIST_SERVICES

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a (typed) request ListServicesRequest
		}
		then {
		the IUT entity sends a (typed) response ListServicesResponse containing
		services corresponding to PX_CONFIGURED_SERVICES
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_LOST_BV_12

		Test objective
		"IUT successfully responds with configured service types for a ListServicesByLocation request without service"

		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection LIST_SERVICES_BY_LOCATION

		Initial conditions
		with {
		the IUT entity has a (predefined) mapping PX_POLICE_G1
		and the IUT entity has a (predefined) mapping PX_FIRE_G1
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a (typed) request ListServicesByLocationRequest containing
		location corresponding to PX_POINT_IN_G1,
		not service
		;
		}
		then {
		the IUT entity sends a (typed) response ListServicesByLocationResponse containing
		serviceList carrying POLICE,
		serviceList carrying FIRE
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_LOST_BV_13

		Test objective
		"IUT successfully responds with a service URI for an ellipse in the service boundary"

		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE and GEOMETRY_ELLIPSE

		Initial conditions
		with {
		the IUT entity has a (predefined) mapping PX_POLICE_G1
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a (typed) request FindServiceRequest containing
		service corresponding to POLICE,
		location corresponding to PX_ELLIPSE_IN_G1
		;
		}
		then {
		the IUT entity sends a (typed) response FindServiceResponse containing
		service corresponding to POLICE,
		uri corresponding to URI_POLICE_G1
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_LOST_BV_14

		Test objective
		"IUT successfully responds with a service URI for an arcband in the service boundary"

		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE and GEOMETRY_ARCBAND

		Initial conditions
		with {
		the IUT entity has a (predefined) mapping PX_POLICE_G1
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a (typed) request FindServiceRequest containing
		service corresponding to POLICE,
		location corresponding to PX_ARCBAND_IN_G1
		;
		}
		then {
		the IUT entity sends a (typed) response FindServiceResponse containing
		service corresponding to POLICE,
		uri corresponding to URI_POLICE_G1
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_LOST_BV_15

		Test objective
		"IUT successfully responds with a service URI for an polygon in the service boundary"

		Reference
		"ETSI TS 103 479 [1], clause XXXX",
		"EENA Next Generation 112 LTD [2], clause 4.4",
		"RFC5222 [5]"

		PICS Selection FIND_SERVICE and GEOMETRY_POLYGON

		Initial conditions
		with {
		the IUT entity has a (predefined) mapping PX_POLICE_G1
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a (typed) request FindServiceRequest containing
		service corresponding to POLICE,
		location corresponding to PX_POLYGON_IN_G1
		;
		}
		then {
		the IUT entity sends a (typed) response FindServiceResponse containing
		service corresponding to POLICE,
		uri corresponding to URI_POLICE_G1
		;
		}
		}
		}
		}


		Group "Subscriptions/Notifications" {
		import all from ecrf_commons;
		import all from sip_commons;

		Test Purpose {
		TP Id TP_SIP_BV_01

		Test objective
		"IUT responds to SIP Subscribe for Element State with an 200 OK"

		Reference
		"ETSI TS 103 479 [1], clause 5.3",
		"EENA Next Generation 112 LTD [2], Clause 4.10",
		"RFC5985 [3]"

		PICS Selection SIP_SUBSCRIPTION_ELEMENT_STATE

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a SubscribeRequest containing
		"event" set to "emergency-ElementState"
		;
		}
		then {
		the IUT entity sends an OkResponse
		and the IUT entity sends a Notify containing
		ElementState containing
		state corresponding to normal
		;
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_SIP_BV_02

		Test objective
		"IUT responds to SIP Unsubscribe with an 200 OK"

		Reference
		"ETSI TS 103 479 [1], clause 6.5.3.2",
		"EENA Next Generation 112 LTD [2], Clause 4.10",
		"RFC5985 [3]"

		PICS Selection SIP_SUBSCRIPTION_ELEMENT_STATE

		Initial conditions
		with {
		the IUT entity receives a UnsubscribeRequest containing
		"event" set to "emergency-ElementState"
		;
		and the IUT entity sends an OkResponse
		and the IUT entity sends a Notify
		}


		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a UnsubscribeRequest containing
		"event" set to "emergency-ElementState"
		;
		}
		then {
		the IUT entity sends an OkResponse
		}
		}
		}

		Test Purpose {
		TP Id TP_SIP_BV_03

		Test objective
		"IUT responds to SIP Subscribe for SecurityPosture with an 200 OK"

		Reference
		"ETSI TS 103 479 [1], clause 5.3",
		"EENA Next Generation 112 LTD [2], Clause 4.10",
		"RFC5985 [3]"

		PICS Selection SIP_SUBSCRIPTION_SECURITY_POSTURE

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a SubscribeRequest containing
		"event" set to "emergency-SecurityPosture"
		;
		}
		then {
		the IUT entity sends an OkResponse
		and the IUT entity sends a Notify containing
		SecurityPosture containing
		posture corresponding to green
		;
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_SIP_BV_04

		Test objective
		"IUT responds to SIP Unsubscribe with an 200 OK"

		Reference
		"ETSI TS 103 479 [1], clause 6.5.3.2",
		"EENA Next Generation 112 LTD [2], Clause 4.10",
		"RFC5985 [3]"

		PICS Selection SIP_SUBSCRIPTION_SECURITY_POSTURE

		Initial conditions
		with {
		the IUT entity receives a UnsubscribeRequest containing
		"event" set to "emergency-SecurityPosture"
		;
		and the IUT entity sends an OkResponse
		and the IUT entity sends a Notify
		}


		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a UnsubscribeRequest containing
		"event" set to "emergency-SecurityPosture"
		;
		}
		then {
		the IUT entity sends an OkResponse
		}
		}
		}

		Test Purpose {
		TP Id TP_SIP_BV_05

		Test objective
		"IUT responds to SIP Subscribe for ServiceState with an 200 OK"

		Reference
		"ETSI TS 103 479 [1], clause 5.3",
		"EENA Next Generation 112 LTD [2], Clause 4.10",
		"RFC5985 [3]"

		PICS Selection SIP_SUBSCRIPTION_SERVICE_STATE

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a SubscribeRequest containing
		"event" set to "emergency-ServiceState"
		;
		}
		then {
		the IUT entity sends an OkResponse
		and the IUT entity sends a Notify containing
		ServiceState containing
		state corresponding to normal
		;
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_SIP_BV_06

		Test objective
		"IUT responds to SIP Unsubscribe with an 200 OK"

		Reference
		"ETSI TS 103 479 [1], clause 6.5.3.2",
		"EENA Next Generation 112 LTD [2], Clause 4.10",
		"RFC5985 [3]"

		PICS Selection SIP_SUBSCRIPTION_SERVICE_STATE

		Initial conditions
		with {
		the IUT entity receives a UnsubscribeRequest containing
		"event" set to "emergency-ServiceState"
		;
		and the IUT entity sends an OkResponse
		and the IUT entity sends a Notify
		}


		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a UnsubscribeRequest containing
		"event" set to "emergency-ServiceState"
		;
		}
		then {
		the IUT entity sends an OkResponse
		}
		}
		}
		}

		Group "Security" {

		}
		}
		No newline at end of file

test_purposes/ecrf/sip_commons.tplan2

0 → 100644

+79 −0

File added.

Preview size limit exceeded, changes collapsed.

test_purposes/lis/sip_commons.tplan2

+1 −3

Original line number	Diff line number	Diff line
		@@ -12,8 +12,6 @@ Package sip_commons {
		optional certificate of type Certificate
		;

		type UnsubscribeRequest;

		type OkResponse;

		type Notify;