Commit 1be49eb3 authored by Andreas Liebig's avatar Andreas Liebig
Browse files

Add LIS test purposes for geodetic by reference

parent 9e5de772
Loading
Loading
Loading
Loading
+206 −3
Original line number Diff line number Diff line
@@ -32,8 +32,7 @@ Package NG112_LIS {
                - 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
                - havingReturnedLocationUriFor //[ref lis.txt:havingReturnedLocationUriFor] IUT returned a locationURI for the relevant location data after a HELD request
                ;
        }

@@ -207,6 +206,149 @@ Expected behaviour

Test Purpose {
TP Id TP_LIS_HTTP_POST_BV_03
Test objective 
    "IUT successfully responds with a reference when it receives a HTTP POST location request with location type locationURI and exact attribute" 
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 "locationType" indicating value "locationURI" containing
                                attribute "exact" indicating value "true"
                            ;,
                            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 "locationUriSet" containing
                            	attribute "expires",
                            	element "locationURI" indicating value valid urn
                            ;
                        ;
                    ;
                ;
            ;
        }
    }
} //End of TP_LIS_HTTP_POST_BV_03

Test Purpose {
TP Id TP_LIS_HTTP_POST_BV_04
Test objective 
    "IUT successfully responds with a reference and geodetic location when it receives a HTTP POST location request with location types locationURI and geodetic and exact attribute" 
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 "locationType" indicating value "locationURI geodetic" containing
                                attribute "exact" indicating value "true"
                            ;,
                            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 "locationUriSet" containing
                            	attribute "expires",
                            	element "locationURI" indicating value valid urn
                            ;
                        ;,
                        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"
                                                ;
                                            ;
                                        ;
                                    ;
                                ;
                            ;
                        ;
                    ;
                ;
            ;
        }
    }
} //End of TP_LIS_HTTP_POST_BV_04

Test Purpose {
TP Id TP_LIS_HTTP_POST_BV_05
Test objective 
    "IUT successfully responds with an error response when it receives a HTTP POST location request for an unknown device" 
Reference 
@@ -259,5 +401,66 @@ Expected behaviour
            ;
      	}
	}
} //End of TP_LIS_HTTP_POST_BV_03
} //End of TP_LIS_HTTP_POST_BV_05

Test Purpose {
TP Id TP_LIS_HTTP_GET_BV_01
Test objective 
    "IUT successfully returns the location when a locationURI is dereferenced" 
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
        ;
    ; and the IUT entity havingReturnedLocationUriFor the DEVICE_NUMBER containing
    	    element "locationURI" indicating value LOCATION_URI
    	    ;
}
Expected behaviour
    ensure that {
        when {
            the IUT entity receives a GET containing
                Uri indicating value LOCATION_URI
            ;
        }
        then {
            the IUT entity sends a httpResponse containing
                Status_Code indicating value "200 OK",
                version indicating value "1.0",
                Content_type indicating value "application/pidf+xml;charset=utf-8",
                body containing
                    xmlMessage containing	
                        version indicating value "1.0",
                        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"
                                                ;
                                            ;
                                        ;
                                    ;
                                ;
                            ;
                        ;
                    ;
                ;
            ;
        }
    }
} //End of TP_LIS_HTTP_GET_BV_01
}
 No newline at end of file

test_purposes/lis.txt

0 → 100644
+42 −0
Original line number Diff line number Diff line
*** havingReturnedLocationUriFor [DEVICE_NUMBER]

 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 "locationType" indicating value "locationURI" containing
                                attribute "exact" indicating value "true"
                            ;,
                            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 "locationUriSet" containing
                            	attribute "expires",
                            	element "locationURI" indicating value valid urn
                            ;
                        ;
                    ;
                ;
            ;
        }
    }
 No newline at end of file