Commit 2f0dc84a authored by Garcia's avatar Garcia
Browse files

Add TP Id TP_LIS_HTTP_GET_BV_02

parent de8ad6f5

test_purposes/lis.tplan2

+78 −36
Original line number Diff line number Diff line
@@ -22,6 +22,8 @@ Package NG112_LIS { 
        Domain {

            pics:

                - PICS_HTTP_POST_REQUEST

                - PICS_HTTP_GET_REQUEST

                - NOT_PICS_HTTP_GET_REQUEST

                - PICS_LOCATION_HELD

                ;

            entities:
@@ -70,9 +72,9 @@ Test objective 
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"

    "https://tools.ietf.org/html/rfc5985 - HTTP-Enabled Location Delivery (HELD)"

//Config Id CFG_LIS_01

PICS Selection PICS_HTTP_POST_REQUEST PICS_LOCATION_HELD

PICS Selection PICS_HTTP_POST_REQUEST and PICS_LOCATION_HELD

Initial conditions with {

    the IUT entity havingLocationMappingFor the DEVICE_NUMBER containing

        "point" containing
@@ -140,9 +142,9 @@ Test objective 
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"

    "https://tools.ietf.org/html/rfc5985 - HTTP-Enabled Location Delivery (HELD)"

//Config Id CFG_LIS_01

PICS Selection PICS_HTTP_POST_REQUEST PICS_LOCATION_HELD

PICS Selection PICS_HTTP_POST_REQUEST and PICS_LOCATION_HELD

Initial conditions with {

    the IUT entity havingLocationMappingFor the DEVICE_NUMBER_CIRCLE containing

        "circle" containing
@@ -214,9 +216,9 @@ Test objective 
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"

    "https://tools.ietf.org/html/rfc5985 - HTTP-Enabled Location Delivery (HELD)"

//Config Id CFG_LIS_01

PICS Selection PICS_HTTP_POST_REQUEST PICS_LOCATION_HELD

PICS Selection PICS_HTTP_POST_REQUEST and PICS_LOCATION_HELD

Initial conditions with {

    the IUT entity havingLocationMappingFor the DEVICE_NUMBER_CIRCLE containing

        "circle" containing
@@ -276,9 +278,9 @@ Test objective 
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"

    "https://tools.ietf.org/html/rfc5985 - HTTP-Enabled Location Delivery (HELD)"

//Config Id CFG_LIS_01

PICS Selection PICS_HTTP_POST_REQUEST PICS_LOCATION_HELD

PICS Selection PICS_HTTP_POST_REQUEST and PICS_LOCATION_HELD

Initial conditions with {

    the IUT entity havingLocationMappingFor the DEVICE_NUMBER_CIRCLE containing

        "circle" containing
@@ -357,9 +359,9 @@ Test objective 
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"

    "https://tools.ietf.org/html/rfc5985 - HTTP-Enabled Location Delivery (HELD)"

//Config Id CFG_LIS_01

PICS Selection PICS_HTTP_POST_REQUEST PICS_LOCATION_HELD

PICS Selection PICS_HTTP_POST_REQUEST and PICS_LOCATION_HELD

Initial conditions with {

    the IUT entity not havingLocationMappingFor the DEVICE_NUMBER

}
@@ -409,9 +411,9 @@ Test objective 
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"

    "https://tools.ietf.org/html/rfc5985 - HTTP-Enabled Location Delivery (HELD)"

//Config Id CFG_LIS_01

PICS Selection PICS_HTTP_POST_REQUEST PICS_LOCATION_HELD

PICS Selection PICS_HTTP_POST_REQUEST and PICS_LOCATION_HELD

Initial conditions with {

    the IUT entity havingLocationMappingFor the DEVICE_NUMBER_CIVIC containing

        CIVIC_ADDRESS
@@ -486,9 +488,10 @@ Test objective 
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"

    "https://tools.ietf.org/html/rfc5985 - HTTP-Enabled Location Delivery (HELD): Clause 8. HTTP Binding",

    "https://tools.ietf.org/html/rfc6753 - A Location Dereference Protocol Using HTTP-Enabled Location Delivery (HELD)"

//Config Id CFG_LIS_01

PICS Selection PICS_HTTP_POST_REQUEST PICS_LOCATION_HELD

PICS Selection PICS_HTTP_GET_REQUEST PICS_LOCATION_HELD

Initial conditions with {

    the IUT entity havingLocationMappingFor the DEVICE_NUMBER_CIRCLE containing

        "circle" containing
@@ -539,4 +542,43 @@ Expected behaviour 
        }

    }

} //End of TP_LIS_HTTP_GET_BV_01





Test Purpose {

TP Id TP_LIS_HTTP_GET_BV_02

Test objective 

    "IUT returns HTTP error 404 if it does not support HTTP GET method" 

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 - HTTP-Enabled Location Delivery (HELD): Clause 8. HTTP Binding",

    "https://tools.ietf.org/html/rfc6753 - A Location Dereference Protocol Using HTTP-Enabled Location Delivery (HELD)"

//Config Id CFG_LIS_01

PICS Selection NOT_PICS_HTTP_GET_REQUEST and PICS_LOCATION_HELD

Initial conditions with {

    the IUT entity havingLocationMappingFor the DEVICE_NUMBER_CIRCLE containing

        "circle" containing

            "position" indicating value CIRCLE_POS,

            "radius"    indicating value CIRCLE_RADIUS

        ;

    ; and the IUT entity havingReturnedLocationUriFor the DEVICE_NUMBER_CIRCLE 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 "404 not found",

                version indicating value "1.0",

                Content_type indicating value "application/pidf+xml;charset=utf-8"

            ;

        }

    }

} //End of TP_LIS_HTTP_GET_BV_02

}
 
 No newline at end of file