Commit d485edde authored by Andreas Liebig's avatar Andreas Liebig
Browse files

Fix lat / lon

parent cbad344a

test_purposes/lis.tplan2

+10 −14
Original line number Diff line number Diff line
@@ -37,9 +37,10 @@ Package NG112_LIS { 
        }



//			Const {

//        DEVICE_NUMBER: "+331234567890";

//        POINT_POS:  "7.053179, 43.616891"; // lat: 43.616891, lon: 7.053179

//        CIRCLE_POS: "7.052750, 43.617174"; // lat: 43.617174, lon: 7.052750

//        DEVICE_NUMBER_POINT: "+331234567890";

//        POINT_POS:  "43.616891, 7.053179"; // lat: 43.616891, lon: 

//        DEVICE_NUMBER_CIRCLE: "+331234567891";

//        CIRCLE_POS: "43.617174, 7.052750"; // lat: 43.617174, lon: 7.052750

//        CIRCLE_RADIUS: "15";

//			}
@@ -141,7 +142,7 @@ Reference 
//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

    the IUT entity havingLocationMappingFor the DEVICE_NUMBER_CIRCLE containing

        "circle" containing

            "position" indicating value CIRCLE_POS,

            "radius"	indicating value CIRCLE_RADIUS
@@ -215,7 +216,7 @@ Reference 
//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

    the IUT entity havingLocationMappingFor the DEVICE_NUMBER_CIRCLE containing

        "circle" containing

            "position" indicating value CIRCLE_POS,

            "radius"	indicating value CIRCLE_RADIUS
@@ -277,7 +278,7 @@ Reference 
//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

    the IUT entity havingLocationMappingFor the DEVICE_NUMBER_CIRCLE containing

        "circle" containing

            "position" indicating value CIRCLE_POS,

            "radius"	indicating value CIRCLE_RADIUS
@@ -358,12 +359,7 @@ Reference 
//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

            ;

        ;

    the IUT entity not havingLocationMappingFor the DEVICE_NUMBER

}

Expected behaviour

    ensure that {
@@ -414,12 +410,12 @@ Reference 
//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

    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 containing

    ; and the IUT entity havingReturnedLocationUriFor the DEVICE_NUMBER_CIRCLE containing

    	    element "locationURI" indicating value LOCATION_URI

    	    ;

}