lis: add advanced test purposes (b75c5f2a) · Commits · EMTEL - Emergency Communications / NG112 Conformance Test Suites

test_purposes/lis/lis_commons.tplan2

+39 −4

Original line number	Diff line number	Diff line
		@@ -6,6 +6,11 @@ Package lis_commons {
		- GEOMETRY_POINT
		- GEOMETRY_CIRCLE
		- CIVIC
		- SIP_SUBSCRIPTION
		- AML_HTTP
		- AML_SMS_DATA
		- AML_SMS_TEXT
		- TLS_AUTHENTICATION
		;
		entities:
		- IUT
		@@ -15,6 +20,9 @@ Package lis_commons {
		- has
		- receives
		- sends
		- detects
		- expires
		- rejects
		;
		}

		@@ -28,7 +36,8 @@ Package lis_commons {
		type LocationRequest
		with
		locationType of type LocationType,
		uri of type URI
		uri of type URI,
		optional certificate of type Certificate
		;

		type DereferenceRequest
		@@ -40,7 +49,11 @@ Package lis_commons {
		with
		optional locationUri of type URI,
		optional presence of type PresenceDocument
		;

		type ErrorResponse
		with
		code of type String
		;

		type PresenceDocument
		@@ -48,6 +61,26 @@ Package lis_commons {
		"location-info" of type LocationInfo
		;

		type AML_HTTP_Message
		with
		device_number of type String,
		location of type Geometry
		;

		type AML_HTTP_MessageResponse;

		type AML_SMS_Data_Message
		with
		number of type String,
		location of type Geometry
		;

		type AML_SMS_Text_Message
		with
		number of type String,
		location of type Geometry
		;

		type Geometry;
		type Address;

		@@ -60,6 +93,7 @@ Package lis_commons {
		uri of type URI
		;

		type Certificate;
		type Number;
		type String;
		type StringArray;
		@@ -75,5 +109,6 @@ Package lis_commons {
		Geometry PX_POINT;
		Geometry PX_CIRCLE;
		Address PX_ADDRESS;
		String PX_AML_DEVICE_NUMBER;
		}
		}
		No newline at end of file

test_purposes/lis/lis_tps.tplan2

+405 −14

Original line number	Diff line number	Diff line
		@@ -3,7 +3,7 @@ Package LIS {
		import all from lis_commons;

		Test Purpose {
		TP Id TP_LIS_BV_01
		TP Id TP_HELD_BV_01

		Test objective
		"IUT successfully responds with a Point when it receives a location request without location type"
		@@ -41,7 +41,7 @@ Package LIS {
		}

		Test Purpose {
		TP Id TP_LIS_BV_02
		TP Id TP_HELD_BV_02

		Test objective
		"IUT successfully responds with a Circle when it receives a location request without location type"
		@@ -79,7 +79,7 @@ Package LIS {
		}

		Test Purpose {
		TP Id TP_LIS_BV_03
		TP Id TP_HELD_BV_03

		Test objective
		"IUT successfully responds with a Reference when it receives a location request with location type locationURI and exact attribute"
		@@ -119,7 +119,7 @@ Package LIS {
		}

		Test Purpose {
		TP Id TP_LIS_BV_04
		TP Id TP_HELD_BV_04

		Test objective
		"IUT successfully responds with a Reference and Circle when it receives a location request with location types locationURI and geodetic and exact attribute"
		@@ -162,7 +162,7 @@ Package LIS {
		}

		Test Purpose {
		TP Id TP_LIS_BV_05
		TP Id TP_HELD_BV_05

		Test objective
		"IUT successfully responds with a Civic when it receives a location request without location type"
		@@ -200,7 +200,7 @@ Package LIS {
		}

		Test Purpose {
		TP Id TP_LIS_BV_06
		TP Id TP_HELD_BV_06

		Test objective
		"IUT successfully responds with a Circle whenthe locationURI is dereferenced"
		@@ -246,22 +246,413 @@ Package LIS {
		}
		}

		Group 'Notification' {
		Group 'Error' {
		import all from lis_commons;

		Test Purpose {
		TP Id TP_HELD_BI_01

		Test objective
		"IUT responds with an error response when it receives a location request for an unknown device"

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


		Initial conditions
		with {
		the IUT entity has no Mapping containing
		uri set to PX_URI
		;
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives an LocationRequest containing
		uri corresponding to PX_URI
		;
		}
		then {
		the IUT entity sends an ErrorResponse containing
		code set to "locationUnknown"
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_HELD_BI_02

		Test objective
		"IUT responds with an error response when it receives a location request with an unmatched location type"

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


		Initial conditions
		with {
		the IUT entity has a Mapping containing
		uri set to PX_URI,
		address set to PX_CIRCLE
		;
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives an LocationRequest containing
		uri corresponding to PX_URI,
		locationType containing
		exact indicating value True,
		values indicating value "civic"
		;
		;
		}
		then {
		the IUT entity sends an ErrorResponse containing
		code set to "cannotProvideLiType"
		;
		}
		}
		}
		}

		Group 'Subscription/Notifications' {
		import all from lis_commons;
		import all from sip_commons;

		Test Purpose {
		TP Id TP_SIP_BV_01

		Test objective
		"IUT responds to SIP Subscribe 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


		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a SubscribeRequest containing
		"event" set to "presence"
		;
		}
		then {
		the IUT entity sends an OkResponse
		and the IUT entity sends a Notify
		}
		}
		}

		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

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


		Expected behaviour
		ensure that {
		when {
		the IUT entity receives an UnsubscribeRequest
		}
		then {
		the IUT entity sends an OkResponse
		}
		}
		}

		Test Purpose {
		TP Id TP_SIP_BV_03

		Test objective
		"IUT sends SIP Notify when location changes"

		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

		Initial conditions
		with {
		the IUT entity receives a SubscribeRequest containing
		"event" set to "presence"
		;
		and the IUT entity sends an OkResponse
		and the IUT entity sends a Notify
		}


		Expected behaviour
		ensure that {
		when {
		the IUT entity detects a LocationChange
		}
		then {
		the IUT entity sends an Notify containing
		Presence
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_SIP_BV_04

		Test objective
		"IUT does not send SIP Notify when location changes but the subscription expired"

		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

		Initial conditions
		with {
		the IUT entity receives a SubscribeRequest containing
		"event" set to "presence"
		;
		and the IUT entity sends an OkResponse
		and the IUT entity sends a Notify
		}


		Expected behaviour
		ensure that {
		when {
		the IUT entity expires the SubscribeRequest
		and the IUT entity detects a LocationChange
		}
		then {
		the IUT entity sends no Notify containing
		Presence
		;
		}
		}
		}

		}

		Group 'Advanced Mobile Location' {
		import all from lis_commons;

		Test Purpose {
		TP Id TP_AML_BV_01

		Test objective
		"IUT successfully accepts AML HTTP Data"

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

		PICS Selection AML_HTTP

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives an AML_HTTP_Message
		}
		then {
		the IUT entity sends an AML_HTTP_MessageResponse
		}
		}
		}

		Test Purpose {
		TP Id TP_AML_BV_02

		Test objective
		"IUT successfully provides received AML HTTP Data via HELD"

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

		PICS Selection AML_HTTP and GEOMETRY_CIRCLE

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives an AML_HTTP_Message containing
		device_number corresponding to PX_AML_DEVICE_NUMBER,
		location corresponding to PX_CIRCLE
		;
		and the IUT entity sends an AML_HTTP_MessageResponse
		and the IUT entity receives an LocationRequest containing
		uri corresponding to PX_AML_DEVICE_NUMBER
		;
		}
		then {
		the IUT entity sends a LocationResponse containing
		presence containing
		"location-info" corresponding to PX_CIRCLE
		;
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_AML_BV_03

		Test objective
		"IUT successfully provides received AML SMS Text via HELD"

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

		PICS Selection AML_SMS_TEXT and GEOMETRY_CIRCLE

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives an AML_SMS_Text_Message containing
		device_number corresponding to PX_AML_DEVICE_NUMBER,
		location corresponding to PX_CIRCLE
		;
		and the IUT entity receives an LocationRequest containing
		uri corresponding to PX_AML_DEVICE_NUMBER
		;
		}
		then {
		the IUT entity sends a LocationResponse containing
		presence containing
		"location-info" corresponding to PX_CIRCLE
		;
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_AML_BV_04

		Test objective
		"IUT successfully provides received AML SMS Data via HELD"

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

		PICS Selection AML_SMS_DATA and GEOMETRY_CIRCLE

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives an AML_SMS_Data_Message containing
		device_number corresponding to PX_AML_DEVICE_NUMBER,
		location corresponding to PX_CIRCLE
		;
		and the IUT entity receives an LocationRequest containing
		uri corresponding to PX_AML_DEVICE_NUMBER
		;
		}
		then {
		the IUT entity sends a LocationResponse containing
		presence containing
		"location-info" corresponding to PX_CIRCLE
		;
		;
		}
		}
		}

		}

		Group 'Security' {
		import all from lis_commons;

		Test Purpose {
		TP Id TP_TLS_BI_01

		Test objective
		"IUT rejects HELD requests without a certificate"

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

		PICS Selection TLS_AUTHENTICATION

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives any LocationRequest containing
		not certificate
		;
		}
		then {
		the IUT entity rejects the Connection
		}
		}
		}

		Group 'Error Handling' {
		Test Purpose {
		TP Id TP_TLS_BI_02

		Test objective
		"IUT rejects SIP requests without a certificate"

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

		PICS Selection TLS_AUTHENTICATION

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives any SubscribeRequest containing
		not certificate
		;
		}
		then {
		the IUT entity rejects the Connection
		}
		}
		}
		}

		}

test_purposes/lis/sip_commons.tplan2

0 → 100644

+28 −0

Original line number	Diff line number	Diff line
		Package sip_commons {
		Data {

		type String;
		type Number;


		type SubscribeRequest
		with
		"event" of type String,
		expires of type Number,
		optional certificate of type Certificate
		;

		type UnsubscribeRequest;

		type OkResponse;

		type Notify;
		type Certificate;

		Number 0;

		SubscribeRequest UnsubscribeRequest containing
		expires indicating value 0
		;
		}
		}
		No newline at end of file