add new lis tplans (f880c572) · Commits · EMTEL - Emergency Communications / NG112 Conformance Test Suites

test_purposes/lis/lis_commons.tplan2

0 → 100644

+66 −0

Original line number	Diff line number	Diff line
		Package lis_commons {
		Domain {
		pics:
		- HELD_BY_VALUE
		- HELD_BY_REFERENCE
		- GEOMETRY_POINT
		- GEOMETRY_CIRCLE
		;
		entities:
		- IUT
		- CLIENT
		;
		events:
		- has
		- receives
		- sends
		;
		}

		Data {
		type LocationType
		with
		optional exact of type Boolean,
		optional list of type String
		;

		type LocationRequest
		with
		locationType of type LocationType,
		uri of type URI
		;

		type LocationResponse
		with
		"location-info" of type LocationInfo
		;

		type Geometry;

		Geometry Point;
		Geometry Circle;


		type LocationInfo;

		type Mapping
		with
		location of type Geometry,
		uri of type URI
		;

		type Number;
		type String;
		type Boolean;
		type URI;




		// ######
		// PIXITS
		URI PX_URI;
		Geometry PX_POINT;
		Geometry PX_CIRCLE;
		}
		}
		No newline at end of file

0 → 100644

+97 −0

Original line number	Diff line number	Diff line
		Package LIS {
		Group 'HELD' {
		import all from lis_commons;

		Test Purpose {
		TP Id TP_LIS_BV_01

		Test objective
		"IUT successfully responds with a Point when it receives a location request without location type"

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

		PICS Selection HELD_BY_VALUE and GEOMETRY_POINT

		Initial conditions
		with {
		the IUT entity has a Mapping containing
		uri indicating value PX_URI,
		location indicating value PX_Point
		;
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives an LocationRequest containing
		uri corresponding to PX_URI
		;
		}
		then {
		the IUT entity sends a LocationResponse containing
		"location-info" carrying PX_POINT
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_LIS_BV_02

		Test objective
		"IUT successfully responds with a Circle when it receives a location request without location type"

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

		PICS Selection HELD_BY_VALUE and GEOMETRY_POINT

		Initial conditions
		with {
		the IUT entity has a Mapping containing
		uri indicating value PX_URI,
		location indicating value PX_CIRCLE
		;
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives an LocationRequest containing
		uri corresponding to PX_URI
		;
		}
		then {
		the IUT entity sends a LocationResponse containing
		"location-info" carrying PX_CIRCLE
		;
		}
		}
		}
		}

		Group 'Notification' {

		}

		Group 'Advanced Mobile Location' {

		}

		Group 'Security' {

		}

		Group 'Error Handling' {

		}
		}