diff --git a/test_purposes/lis.tplan2 b/test_purposes/lis.tplan2 index 76701c36e6beb57493f95f4d63d3f31f424b3076..29cde8b48e43062875f15faf45961d2aa53072fd 100644 --- a/test_purposes/lis.tplan2 +++ b/test_purposes/lis.tplan2 @@ -1,270 +1,263 @@ -/* ETSI Software License -* As long as the hereunder conditions are respected, non-exclusive permission is hereby granted, -* free of charge, to use, reproduce and modify this software source code, under the following conditions: -* This source code is provided ���AS IS��� with no warranties, express or implied, including but not limited to, -* the warranties of merchantability, fitness for a particular purpose and warranties for non-infringement -* of intellectual property rights. -* ETSI shall not be held liable in any event for any direct or indirect damages whatsoever (including, without -* limitation, damages for loss of profits, business interruption, loss of information, or any other pecuniary -* loss) arising out of or related to the use of or inability to use the source code. -* This permission is granted to facilitate the implementation of the related ETSI standard, provided that -* ETSI is given the right to use, reproduce and amend the modified source code under the same conditions -* as the present permission. -* This permission does not apply to any documentation associated with this source code for which ETSI keeps -* all rights reserved. -* The present ETSI Source Code license shall be included in all copies of whole or part of this source code -* and shall not imply any sub-license right. -* (c) ETSI 2018 -*/ - - -Package NG112_LIS { - Domain { - pics: - - PICS_HTTP_POST_REQUEST - - PICS_LOCATION_HELD - ; - entities: - - IUT - - MTC - ; - events: - - receives //for packets coming from the network to the IUT - - sends //for packets sent by the IUT to the network - - havingLocationMappingFor //IUT is provisioned with the relevant location data - - isRequestedToSend //an upper layer requests the IUT to send a packet - - generates //for internal event generation - ; - } - -// Const { -// DEVICE_NUMBER: "+331234567890" -// POINT_POS: "-34.400 134.4000"; -// CIRCLE_POS: "-35.500 135.5000"; -// CIRCLE_RADIUS: "15"; -// } - -// Data { -// type PDU; -// } -// Configuration { -// Interface Type defaultGT accepts PDU; -// Component Type NG112Comp with gate g of type defaultGT; -// Test Configuration CFG_ESRP_01 -// containing -// Tester component BCF of type NG112Comp -// Tester component LIS of type NG112Comp -// Tester component ECRF of type NG112Comp -// SUT component IUT of type NG112Comp -// connection between BCF.g and IUT.g -// connection between LIS.g and IUT.g -// connection between ECRF.g and IUT.g; -// } - - Test Purpose { - TP Id TP_LIS_HTTP_POST_BV_01 - - Test objective - "IUT successfully responds with a Point when it receives a HTTP POST location request without location type" - Reference - "ETSI TS 103 479 Vm.t.e (yyyy-mm) Clause 5.5 Location Information Server (LIS)", - "Next Generation 112 Long Term Definition http://www.eena.org/uploads/gallery/files/pdf/2013-03-15-eena_ng_longtermdefinitionupdated.pdf Clause 4.10", - "https://tools.ietf.org/html/rfc5985" - - //Config Id CFG_LIS_01 - - PICS Selection PICS_HTTP_POST_REQUEST PICS_LOCATION_HELD - Initial conditions with { - the IUT entity havingLocationMappingFor the DEVICE_NUMBER containing - "point" containing - "position" indicating value POINT_POS - ; - ; - } - Expected behaviour - ensure that { - when { - the IUT entity receives a POST containing - Uri indicating value "/location", - Host, - not Accept, - Content_type indicating value "application/held+xml;charset=utf-8", - 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 - ; - ; - ; - ; - ; - } - then { - the IUT entity sends a httpResponse containing - Status_Code indicating value "200 OK", - version indicating value "1.0", - Content_type indicating value "application/held+xml;charset=utf-8", - body containing - xmlMessage containing - version indicating value "1.0", - element "locationResponse" inNamespace "urn:ietf:params:xml:ns:geopriv:held" containing - element "presence" inNamespace "urn:ietf:params:xml:ns:pidf" containing - attribute "entity" indicating value valid "pres:" uri, - element "tuple" containing - attribute "id", - element "status" containing - element "geopriv" inNamespace "urn:ietf:params:xml:ns:pidf:geopriv10" containing - element "location-info" containing - element "Point" inNamespace "http://www.opengis.net/gml" containing - attribute "srsName" indicating value "urn:ogc:def:crs:EPSG::4326", - element "pos" indicating value POINT_POS - ; - ; - ; - ; - ; - ; - ; - ; - ; - ; - } - } - } - - Test Purpose { - TP Id TP_LIS_HTTP_POST_BV_02 - - Test objective - "IUT successfully responds with a Circle when it receives a HTTP POST location request without location type" - Reference - "ETSI TS 103 479 Vm.t.e (yyyy-mm) Clause 5.5 Location Information Server (LIS)", - "Next Generation 112 Long Term Definition http://www.eena.org/uploads/gallery/files/pdf/2013-03-15-eena_ng_longtermdefinitionupdated.pdf Clause 4.10", - "https://tools.ietf.org/html/rfc5985" - - //Config Id CFG_LIS_01 - - PICS Selection PICS_HTTP_POST_REQUEST PICS_LOCATION_HELD - Initial conditions with { - the IUT entity havingLocationMappingFor the DEVICE_NUMBER containing - "circle" containing - "position" indicating value CIRCLE_POS, - "radius" indicating value CIRCLE_RADIUS - ; - ; - } - Expected behaviour - ensure that { - when { - the IUT entity receives a POST containing - Uri indicating value "/location", - Host, - not Accept, - Content_type indicating value "application/held+xml;charset=utf-8", - 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 - ; - ; - ; - ; - ; - } - then { - the IUT entity sends a httpResponse containing - Status_Code indicating value "200 OK", - version indicating value "1.0", - Content_type indicating value "application/held+xml;charset=utf-8", - body containing - xmlMessage containing - version indicating value "1.0", - element "locationResponse" inNamespace "urn:ietf:params:xml:ns:geopriv:held" containing - element "presence" inNamespace "urn:ietf:params:xml:ns:pidf" containing - attribute "entity" indicating value valid "pres:" uri, - element "tuple" containing - attribute "id", - element "status" containing - element "geopriv" inNamespace "urn:ietf:params:xml:ns:pidf:geopriv10" containing - element "location-info" containing - element "Circle" inNamespace "http://www.opengis.net/pidflo/1.0" containing - attribute "srsName" indicating value "urn:ogc:def:crs:EPSG::4326", - element "pos" inNamespace "http://www.opengis.net/gml" indicating value CIRCLE_POS, - element "radius" indicating value CIRCLE_RADIUS containing - attribute "uom" indicating value "urn:ogc:def:uom:EPSG::9001"; - ; - ; - ; - ; - ; - ; - ; - ; - ; - ; - } - } - } - - Test Purpose { - TP Id TP_LIS_HTTP_POST_BV_03 - - Test objective - "IUT successfully responds with an error response when it receives a HTTP POST location request for an unknown device" - Reference - "ETSI TS 103 479 Vm.t.e (yyyy-mm) Clause 5.5 Location Information Server (LIS)", - "Next Generation 112 Long Term Definition http://www.eena.org/uploads/gallery/files/pdf/2013-03-15-eena_ng_longtermdefinitionupdated.pdf Clause 4.10", - "https://tools.ietf.org/html/rfc5985" - - //Config Id CFG_LIS_01 - - PICS Selection PICS_HTTP_POST_REQUEST PICS_LOCATION_HELD - Initial conditions with { - the IUT entity havingLocationMappingFor the "deviceNumber" containing - "circle" containing - "position" indicating value CIRCLE_POS, - "radius" indicating value CIRCLE_RADIUS - ; - ; - } - Expected behaviour - ensure that { - when { - the IUT entity receives a POST containing - Uri indicating value "/location", - Host, - not Accept, - Content_type indicating value "application/held+xml;charset=utf-8", - 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 - ; - ; - ; - ; - ; - } - then { - the IUT entity sends a httpResponse containing - Status_Code indicating value "200 OK", - version indicating value "1.0", - Content_type indicating value "application/held+xml;charset=utf-8", - body containing - xmlMessage containing - version indicating value "1.0", - element "error" inNamespace "urn:ietf:params:xml:ns:geopriv:held" containing - attribute "code" indicating value "locationUnknown"; - ; - ; - ; - } - } - } +/* ETSI Software License +* As long as the hereunder conditions are respected, non-exclusive permission is hereby granted, +* free of charge, to use, reproduce and modify this software source code, under the following conditions: +* This source code is provided AS IS with no warranties, express or implied, including but not limited to, +* the warranties of merchantability, fitness for a particular purpose and warranties for non-infringement +* of intellectual property rights. +* ETSI shall not be held liable in any event for any direct or indirect damages whatsoever (including, without +* limitation, damages for loss of profits, business interruption, loss of information, or any other pecuniary +* loss) arising out of or related to the use of or inability to use the source code. +* This permission is granted to facilitate the implementation of the related ETSI standard, provided that +* ETSI is given the right to use, reproduce and amend the modified source code under the same conditions +* as the present permission. +* This permission does not apply to any documentation associated with this source code for which ETSI keeps +* all rights reserved. +* The present ETSI Source Code license shall be included in all copies of whole or part of this source code +* and shall not imply any sub-license right. +* (c) ETSI 2018 +*/ + + +Package NG112_LIS { + Domain { + pics: + - PICS_HTTP_POST_REQUEST + - PICS_LOCATION_HELD + ; + entities: + - IUT + - MTC + ; + events: + - receives //for packets coming from the network to the IUT + - sends //for packets sent by the IUT to the network + - havingLocationMappingFor //IUT is provisioned with the relevant location data + - isRequestedToSend //an upper layer requests the IUT to send a packet + - generates //for internal event generation + ; + } + +// Const { +// DEVICE_NUMBER: "+331234567890" +// POINT_POS: "-34.400 134.4000"; +// CIRCLE_POS: "-35.500 135.5000"; +// CIRCLE_RADIUS: "15"; +// } + +// Data { +// type PDU; +// } +// Configuration { +// Interface Type defaultGT accepts PDU; +// Component Type NG112Comp with gate g of type defaultGT; +// Test Configuration CFG_ESRP_01 +// containing +// Tester component BCF of type NG112Comp +// Tester component LIS of type NG112Comp +// Tester component ECRF of type NG112Comp +// SUT component IUT of type NG112Comp +// connection between BCF.g and IUT.g +// connection between LIS.g and IUT.g +// connection between ECRF.g and IUT.g; +// } + +Test Purpose { +TP Id TP_LIS_HTTP_POST_BV_01 +Test objective + "IUT successfully responds with a Point when it receives a HTTP POST location request without location type" +Reference + "ETSI TS 103 479 Vm.t.e (yyyy-mm) Clause 5.5 Location Information Server (LIS)", + "Next Generation 112 Long Term Definition http://www.eena.org/uploads/gallery/files/pdf/2013-03-15-eena_ng_longtermdefinitionupdated.pdf Clause 4.10", + "https://tools.ietf.org/html/rfc5985" +//Config Id CFG_LIS_01 +PICS Selection PICS_HTTP_POST_REQUEST PICS_LOCATION_HELD +Initial conditions with { + the IUT entity havingLocationMappingFor the DEVICE_NUMBER containing + "point" containing + "position" indicating value POINT_POS + ; + ; +} +Expected behaviour + ensure that { + when { + the IUT entity receives a POST containing + Uri indicating value "/location", + Host, + not Accept, + Content_type indicating value "application/held+xml;charset=utf-8", + 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 + ; + ; + ; + ; + ; + } + then { + the IUT entity sends a httpResponse containing + Status_Code indicating value "200 OK", + version indicating value "1.0", + Content_type indicating value "application/held+xml;charset=utf-8", + body containing + xmlMessage containing + version indicating value "1.0", + element "locationResponse" inNamespace "urn:ietf:params:xml:ns:geopriv:held" containing + element "presence" inNamespace "urn:ietf:params:xml:ns:pidf" containing + attribute "entity" indicating value valid "pres:" uri, + element "tuple" containing + attribute "id", + element "status" containing + element "geopriv" inNamespace "urn:ietf:params:xml:ns:pidf:geopriv10" containing + element "location-info" containing + element "Point" inNamespace "http://www.opengis.net/gml" containing + attribute "srsName" indicating value "urn:ogc:def:crs:EPSG::4326", + element "pos" indicating value POINT_POS + ; + ; + ; + ; + ; + ; + ; + ; + ; + ; + } + } +} + +Test Purpose { +TP Id TP_LIS_HTTP_POST_BV_02 +Test objective + "IUT successfully responds with a Circle when it receives a HTTP POST location request without location type" +Reference + "ETSI TS 103 479 Vm.t.e (yyyy-mm) Clause 5.5 Location Information Server (LIS)", + "Next Generation 112 Long Term Definition http://www.eena.org/uploads/gallery/files/pdf/2013-03-15-eena_ng_longtermdefinitionupdated.pdf Clause 4.10", + "https://tools.ietf.org/html/rfc5985" +//Config Id CFG_LIS_01 +PICS Selection PICS_HTTP_POST_REQUEST PICS_LOCATION_HELD +Initial conditions with { + the IUT entity havingLocationMappingFor the DEVICE_NUMBER containing + "circle" containing + "position" indicating value CIRCLE_POS, + "radius" indicating value CIRCLE_RADIUS + ; + ; +} +Expected behaviour + ensure that { + when { + the IUT entity receives a POST containing + Uri indicating value "/location", + Host, + not Accept, + Content_type indicating value "application/held+xml;charset=utf-8", + 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 + ; + ; + ; + ; + ; + } + then { + the IUT entity sends a httpResponse containing + Status_Code indicating value "200 OK", + version indicating value "1.0", + Content_type indicating value "application/held+xml;charset=utf-8", + body containing + xmlMessage containing + version indicating value "1.0", + element "locationResponse" inNamespace "urn:ietf:params:xml:ns:geopriv:held" containing + element "presence" inNamespace "urn:ietf:params:xml:ns:pidf" containing + attribute "entity" indicating value valid "pres:" uri, + element "tuple" containing + attribute "id", + element "status" containing + element "geopriv" inNamespace "urn:ietf:params:xml:ns:pidf:geopriv10" containing + element "location-info" containing + element "Circle" inNamespace "http://www.opengis.net/pidflo/1.0" containing + attribute "srsName" indicating value "urn:ogc:def:crs:EPSG::4326", + element "pos" inNamespace "http://www.opengis.net/gml" indicating value CIRCLE_POS, + element "radius" indicating value CIRCLE_RADIUS containing + attribute "uom" indicating value "urn:ogc:def:uom:EPSG::9001" + ; + ; + ; + ; + ; + ; + ; + ; + ; + ; + ; + } + } +} + +Test Purpose { +TP Id TP_LIS_HTTP_POST_BV_03 +Test objective + "IUT successfully responds with an error response when it receives a HTTP POST location request for an unknown device" +Reference + "ETSI TS 103 479 Vm.t.e (yyyy-mm) Clause 5.5 Location Information Server (LIS)", + "Next Generation 112 Long Term Definition http://www.eena.org/uploads/gallery/files/pdf/2013-03-15-eena_ng_longtermdefinitionupdated.pdf Clause 4.10", + "https://tools.ietf.org/html/rfc5985" +//Config Id CFG_LIS_01 +PICS Selection PICS_HTTP_POST_REQUEST PICS_LOCATION_HELD +Initial conditions with { + the IUT entity havingLocationMappingFor the "deviceNumber" containing + "circle" containing + "position" indicating value CIRCLE_POS, + "radius" indicating value CIRCLE_RADIUS + ; + ; +} +Expected behaviour + ensure that { + when { + the IUT entity receives a POST containing + Uri indicating value "/location", + Host, + not Accept, + Content_type indicating value "application/held+xml;charset=utf-8", + 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 + ; + ; + ; + ; + ; + } + then { + the IUT entity sends a httpResponse containing + Status_Code indicating value "200 OK", + version indicating value "1.0", + Content_type indicating value "application/held+xml;charset=utf-8", + body containing + xmlMessage containing + version indicating value "1.0", + element "error" inNamespace "urn:ietf:params:xml:ns:geopriv:held" containing + attribute "code" indicating value "locationUnknown" + ; + ; + ; + ; + } + } +} } \ No newline at end of file