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

Add ECRF test purposes

parent ede104d3
Loading
Loading
Loading
Loading
+290 −175
Original line number Diff line number Diff line
@@ -26,20 +26,27 @@ Package NG112_ESRP {
            entities:
                - IUT
                - ECRF
                - LIS
                - PSAP
                ;
            events:
                - receives //for packets coming from the network to the IUT
                - sends //for packets sent by the IUT to the network
                - forwards //forwards the previously received message to the next hop
                - isConfiguredWith //IUT is configured to use the ECRF
                - isConfiguredWith //IUT is configured to use the specified service
                - isReachableWith // the PSAP is reachable via the specified URI
                - receivedInitialInviteRequestAndSentLostQueryToEcrf // [ref esrp.txt:RECEIVED_INITITAL_INVITE_AND_SENT_LOST_REQUEST]
                - receivesLostResponseFor // IUT receives a LoST response for the give target URI [ref esrp.txt:RECEIVES_LOST_RESPONSE_FOR]
                - receivedInitialInviteRequestWithoutLocationAndSentHeldRequestToLisFor // [ref esrp.txt:RECEIVED_INITITAL_INVITE_WITHOUT_LOCATION_AND_SENT_HELD_REQUEST_FOR]
                - receivedInitialInviteRequestWithLocationReferenceAndSentGetRequestToLisFor // [ref esrp.txt:RECEIVED_INITITAL_INVITE_WITH_LOCATIONREFERENCE_AND_SENT_GET_REQUEST_FOR]
                - sendsLostQueryToEcrfFor // IUT sends a LoST request to the LIs with the given LOCATION [ref esrp.txt:SENDS_LOST_REQUEST_FOR]
								- receivesHeldResponseWith // IUT receives a HELD response with the give LOCATION [ref esrp.txt:RECEIVES_HELD_RESPONSE_WITH]
                - receivesLostResponseWith // IUT receives a LoST response with the give URN [ref esrp.txt:RECEIVES_LOST_RESPONSE_WITH]
                - receivesLocationResponseWith // IUT receives a Location response with the give LOCATION [ref esrp.txt:RECEIVES_LOCATION_RESPONSE_WITH]
                ;
        }

//			Const {
//        DEVICE_NUMBER: "+33123456789";
//        SDP_AND_PIDF_MULTIPART [ref esrp.txt:SDP_AND_PIDF_MULTIPART];
//        SERVICE_URN_1: "urn:service:sos.police";
//        SIP_URI_1: "sip:police@city.com";
@@ -76,7 +83,7 @@ Initial conditions with {
Expected behaviour
    ensure that {
        when {
            the IUT entity receives a SIP_INVITE containing
            the IUT entity receives a TCP SIP_INVITE containing
            	Request_URI indicating value SERVICE_URN_1,
                Content_Type indicating value "multipart/mixed",
                body containing
@@ -85,7 +92,7 @@ Expected behaviour
             ;
             and the IUT entity sends a POST containing
             Content_type indicating value "application/lost+xml;charset=utf-8",
                body containing
                body containingreceivedInitialInviteRequestWithLocationReferenceAndSentGetRequestToLisFor
                    xmlMessage containing
                        version indicating value "1.0",
                        element "findService" inNamespace "urn:ietf:params:xml:ns:lost1" containing
@@ -151,7 +158,7 @@ Initial conditions with {
Expected behaviour
    ensure that {
        when {
            the IUT entity receivesLostResponseFor the SIP_URI_1 from the ECRF entity
            the IUT entity receivesLostResponseWith the SIP_URI_1 from the ECRF entity
        }
        then {
            the IUT entity forwards the SIP_INVITE containing
@@ -173,4 +180,112 @@ Expected behaviour
        }
    }
}  //End of TP_ESRP_SIP_INVITE_BV_02

Test Purpose {
TP Id TP_ESRP_SIP_INVITE_BV_03
Test objective 
    "IUT uses HELD request to query location when INVITE does not contain the location" 
Reference 
    "Next Generation 112 Long Term Definition http://www.eena.org/uploads/gallery/files/pdf/2013-03-15-eena_ng_longtermdefinitionupdated.pdf Clause 4.3",
    "https://tools.ietf.org/html/rfc5222"
Config Id CFG_ESRP_01
PICS Selection PICS_SERVICE_ESRP
Initial conditions with {
    the IUT entity isConfiguredWith the ECRF
    and the IUT entity isConfiguredWith the LIS
    and the PSAP entity isReachableWith the SIP_URI_1
    and the IUT entity receivedInitialInviteRequestWithoutLocationAndSentHeldRequestToLisFor the DEVICE_NUMBER
    and the IUT entity receivesHeldResponseWith the LOCATION_1 from the LIS entity 
		and the IUT entity sendsLostQueryToEcrfFor the LOCATION_1 to the ECRF entity
}
Expected behaviour
    ensure that {
        when {
            the IUT entity receivesLostResponseWith the SIP_URI_1 from the ECRF entity
        }
        then {
            the IUT entity forwards the SIP_INVITE containing
                Request_URI indicating value SERVICE_URN_1,
                Content_Type indicating value "multipart/mixed",
                Route indicating value SIP_URI_1,
                Call_Info containing 
                	uri indicating value valid "Incident Tracking Identifier",
                	purpose "EES-IncidentId"
                ;,
                Call_Info containing 
                	uri indicating value valid "Call Identifier",
                	purpose "EES-CallId"
                ;,
                body containing
                    SDP_AND_PIDF_MULTIPART
                ;
            ; to the PSAP entity
        }
    }
}  //End of TP_ESRP_SIP_INVITE_BV_03

Test Purpose {
TP Id TP_ESRP_SIP_INVITE_BV_04
Test objective 
    "IUT uses HELD request to query location when INVITE contains location by reference" 
Reference 
    "Next Generation 112 Long Term Definition http://www.eena.org/uploads/gallery/files/pdf/2013-03-15-eena_ng_longtermdefinitionupdated.pdf Clause 4.3",
    "https://tools.ietf.org/html/rfc5222"
    "https://tools.ietf.org/html/rfc6442"
Config Id CFG_ESRP_01
PICS Selection PICS_SERVICE_ESRP
Initial conditions with {
    the IUT entity isConfiguredWith the ECRF
    and the IUT entity isConfiguredWith the LIS
    and the PSAP entity isReachableWith the SIP_URI_1
    and the IUT entity receivedInitialInviteRequestWithLocationReferenceAndSentGetRequestToLisFor the DEVICE_NUMBER
    and the IUT entity receivesLocationResponseWith the LOCATION_1 from the LIS entity 
		and the IUT entity sendsLostQueryToEcrfFor the LOCATION_1 to the ECRF entity
}
Expected behaviour
    ensure that {
        when {
            the IUT entity receivesLostResponseWith the SIP_URI_1 from the ECRF entity
        }
        then {
            the IUT entity forwards the SIP_INVITE containing
                Request_URI indicating value SERVICE_URN_1,
                Content_Type indicating value "multipart/mixed",
                Route indicating value SIP_URI_1,
                Call_Info containing 
                	uri indicating value valid "Incident Tracking Identifier",
                	purpose "EES-IncidentId"
                ;,
                Call_Info containing 
                	uri indicating value valid "Call Identifier",
                	purpose "EES-CallId"
                ;,
                body containing
                    SDP_AND_PIDF_MULTIPART
                ;
            ; to the PSAP entity
        }
    }
}  //End of TP_ESRP_SIP_INVITE_BV_04

Test Purpose {
TP Id TP_ESRP_SIP_INVITE_BV_05
Test objective 
    "IUT responds to OPTIONS requests" 
Reference 
    "https://tools.ietf.org/html/rfc3261"
Config Id CFG_ESRP_01
PICS Selection PICS_SERVICE_ESRP
Expected behaviour
    ensure that {
        when {
            the IUT entity receives a SIP_OPTIONS
        }
        then {
            the IUT entity sends a SIP_RESPONSE containing
              Status_Code indicating value "200 OK"
        }
    }
}  //End of TP_ESRP_SIP_INVITE_BV_05

}
 No newline at end of file
+116 −3
Original line number Diff line number Diff line
@@ -54,7 +54,7 @@ a=rtpmap:31 H261/90000


*** RECEIVED_INITITAL_INVITE_AND_SENT_LOST_REQUEST
the IUT entity receives a SIP_INVITE containing
the IUT entity receives a TCP SIP_INVITE containing
	Request_URI indicating value SERVICE_URN_1,
    Content_Type indicating value "multipart/mixed",
    body containing
@@ -78,7 +78,7 @@ the IUT entity receives a SIP_INVITE containing
    ;
 	; to the ECRF entity
 
 *** RECEIVES_LOST_RESPONSE_FOR [TARGET_URI]
 *** RECEIVES_LOST_RESPONSE_WITH [TARGET_URI]
 the IUT entity receives a httpResponse containing
    Status_Code indicating value "200 OK",
    version indicating value "1.0",
@@ -100,3 +100,116 @@ the IUT entity receives a SIP_INVITE containing
        ;
    ;
  ; from the ECRF entity
  
  
*** RECEIVED_INITITAL_INVITE_WITHOUT_LOCATION_AND_SENT_HELD_REQUEST_FOR [DEVICE_NUMBER]
the IUT entity receives a UDP SIP_INVITE containing
	Request_URI indicating value SERVICE_URN_1,
    Content_Type indicating value "application/sdp",
    P-Asserted-Identity indicating value tel:DEVICE_NUMBER,
    body containing
        SDP
    ;
 ;
 and the IUT entity sends a POST containing
 Content_type indicating value "application/lost+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 "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
            ;
          ;
        ;
    ;
 	; to the LIS entity
 	
*** RECEIVES_HELD_RESPONSE_FOR [LOCATION]
the IUT entity receives 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 LOCATION
                    ;
                  ;
                ;
              ;
            ;
          ;
        ;
      ;
    ;
  ; from the LIS entity
 
 *** SENDS_LOST_REQUEST_FOR [LOCATION]
the IUT entity sends a POST containing
 Content_type indicating value "application/lost+xml;charset=utf-8",
    body containing
        xmlMessage containing
            version indicating value "1.0",
            element "findService" inNamespace "urn:ietf:params:xml:ns:lost1" containing
                element "location" containing
                    element "Point" inNamespace "http://www.opengis.net/gml" containing
                        attribute "srsName" indicating value "urn:ogc:def:crs:EPSG::4326",
                        element "pos" indicating value LOCATION;
                ,
                element "service" indicating value SERVICE_URN_1;
            ;
        ;
    ;
 	; to the ECRF entity
 	
*** RECEIVED_INITITAL_INVITE_WITH_LOCATIONREFERENCE_AND_SENT_GET_REQUEST_FOR [DEVICE_NUMBER]
the IUT entity receives a UDP SIP_INVITE containing
	Request_URI indicating value SERVICE_URN_1,
    Content_Type indicating value "application/sdp",
    Geolocation indicating value LOCATION_URI 
    body containing
        SDP
    ;
 ;
 and the IUT entity sends a GET to the LOCATION_URI
 
*** RECEIVES_LOCATION_RESPONSE_WITH [LOCATION]
the IUT entity receives 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 "Point" inNamespace "http://www.opengis.net/gml" containing
                attribute "srsName" indicating value "urn:ogc:def:crs:EPSG::4326",
                element "pos" indicating value LOCATION
                ;
              ;
            ;
          ;
        ;
      ;
    ;
  ; from the LIS entity