add basic testcases (fb48f131) · Commits · EMTEL - Emergency Communications / NG112 Conformance Test Suites

test_purposes/lis/lis_commons.tplan2

+21 −8

Original line number	Diff line number	Diff line
		@@ -5,6 +5,7 @@ Package lis_commons {
		- HELD_BY_REFERENCE
		- GEOMETRY_POINT
		- GEOMETRY_CIRCLE
		- CIVIC
		;
		entities:
		- IUT
		@@ -21,7 +22,7 @@ Package lis_commons {
		type LocationType
		with
		optional exact of type Boolean,
		optional list of type String
		optional values of type StringArray
		;

		type LocationRequest
		@@ -30,27 +31,38 @@ Package lis_commons {
		uri of type URI
		;

		type DereferenceRequest
		with
		uri of type URI
		;

		type LocationResponse
		with
		optional locationUri of type URI,
		optional presence of type PresenceDocument

		;

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

		type Geometry;

		Geometry Point;
		Geometry Circle;

		type Address;

		type LocationInfo;

		type Mapping
		with
		location of type Geometry,
		optional location of type Geometry,
		optional address of type Address,
		uri of type URI
		;

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

		@@ -62,5 +74,6 @@ Package lis_commons {
		URI PX_URI;
		Geometry PX_POINT;
		Geometry PX_CIRCLE;
		Address PX_ADDRESS;
		}
		}
		No newline at end of file

test_purposes/lis/lis_tps.tplan2

+175 −4

Original line number	Diff line number	Diff line
		@@ -19,7 +19,7 @@ Package LIS {
		with {
		the IUT entity has a Mapping containing
		uri indicating value PX_URI,
		location indicating value PX_Point
		location indicating value PX_POINT
		;
		}

		@@ -32,8 +32,10 @@ Package LIS {
		}
		then {
		the IUT entity sends a LocationResponse containing
		presence containing
		"location-info" carrying PX_POINT
		;
		;
		}
		}
		}
		@@ -68,6 +70,175 @@ Package LIS {
		}
		then {
		the IUT entity sends a LocationResponse containing
		presence containing
		"location-info" carrying PX_CIRCLE
		;
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_LIS_BV_03

		Test objective
		"IUT successfully responds with a Reference when it receives a location request with location type locationURI and exact attribute"

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

		PICS Selection HELD_BY_REFERENCE and GEOMETRY_CIRCLE

		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,
		locationType containing
		exact indicating value True,
		values indicating value "locationURI"
		;
		;
		}
		then {
		the IUT entity sends a LocationResponse containing
		"locationUri" carrying any URI
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_LIS_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"

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

		PICS Selection HELD_BY_REFERENCE and GEOMETRY_CIRCLE

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

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives an LocationRequest containing
		uri corresponding to PX_URI,
		locationType containing
		exact set to True,
		values set to "locationURI,geodetic"
		;
		;
		}
		then {
		the IUT entity sends a LocationResponse containing
		locationUri carrying any URI,
		presence containing
		"location-info" carrying PX_CIRCLE
		;
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_LIS_BV_05

		Test objective
		"IUT successfully responds with a Civic 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 CIVIC

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

		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
		presence containing
		"location-info" carrying PX_ADDRESS
		;
		;
		}
		}
		}

		Test Purpose {
		TP Id TP_LIS_BV_06

		Test objective
		"IUT successfully responds with a Circle whenthe locationURI is dereferenced"

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

		PICS Selection HELD_BY_REFERENCE and GEOMETRY_CIRCLE

		Initial conditions
		with {
		the IUT entity has a Mapping containing
		uri set to PX_URI,
		address set to PX_CIRCLE
		;
		and the IUT entity receives an LocationRequest containing
		uri corresponding to PX_URI,
		locationType containing
		exact indicating value True,
		values indicating value "locationURI"
		;
		;
		and the IUT entity sends a LocationResponse containing
		"locationUri" carrying any URI
		;
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives an DereferenceRequest containing
		uri indicating value "from LocationResponse"
		;
		}
		then {
		the IUT entity sends a PresenceDocument containing
		"location-info" carrying PX_CIRCLE
		;
		}