Commit 43216367 authored by Sebastian Müller's avatar Sebastian Müller
Browse files

Delete test-ersp.tplan2

parent bf97b06a
Loading
Loading
Loading
Loading

test_purposes/test-ersp.tplan2

deleted100644 → 0
+0 −466
Original line number Diff line number Diff line
/* 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_ESRP {
        Domain {
            pics:
//                - A_SIP_BSC1 //admin call
                - E_SIP_URN1 //em call with geolocation (value)
                - E_SIP_URN2 //em call with geolocation (token)
                - E_SIP_URN3 //em call without geolocation (id)
                - M_SIP_URN1 //SIP message with geolocation (value)
                - H_QRY_GEO1 //query LIS (id) - return point
                - H_DER_TOK1 //query LIS (token) - return geolocation
//                - H_DER_TOK2 //query LIS (id) - return civic
                - E_SIP_HDR1 //em call - add callinfo and incident header
                - S_SIP_OPT1 //receive SIP OPTIONS - respond OK
                - S_SIP_BUS1 //respond busy when downstream not reachable
                - L_FIS_GEO1 //findService LOST - point
                - L_FIS_CIV1 //findService LOST - civic
                ;
            entities:
                - CALLER
                - 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 specified service
                - isReachableWith // the PSAP is reachable via the specified URI
                - isNotReachable // the PSAP is not reachable
                - receivedInitialInviteRequestAndSentLostQueryToEcrf // [ref esrp.txt:RECEIVED_INITITAL_INVITE_AND_SENT_LOST_REQUEST]
                - 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";
//        PIDF [ref esrp.txt:PIDF];
//        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";
//        LOCATION_1: "12.00, 53.00"
//     }
        
		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 CALLER of type NG112Comp
	        		Tester component ECRF of type NG112Comp
	        		Tester component LIS of type NG112Comp
	        		Tester component PSAP of type NG112Comp
	        		
	        		SUT component IUT of type NG112Comp
	        		connection between CALLER.g and IUT.g
	        		connection between IUT.g and ESRP.g
	        		connection between IUT.g and LIS.g
	        		connection between IUT.g and PSAP.g
	    }

Test Purpose {
TP Id TP_ESRP_SIP_INVITE_BV_01
Test objective 
    "IUT successfully forwards an incoming SIP INVITE to the correct downstream element, based on the ECRF response" 
Reference 
		"ETSI TS 103 479 [1], clause XXXX",
    "Next Generation 112 LTD [2], clause 4.3",
    "RFC5222 [6]"
Config Id CFG_ESRP_01
PICS Selection E_SIP_URN1 and L_FIS_GEO1
Initial conditions with {
    the IUT entity isConfiguredWith the ECRF
    and the PSAP entity isReachableWith the SIP_URI_1
    and the IUT entity receivedInitialInviteRequestAndSentLostQueryToEcrf
}
Expected behaviour
    ensure that {
        when {
            the IUT entity receives a TCP SIP_INVITE containing
            	Request_URI indicating value SERVICE_URN_1,
                Content_Type indicating value "multipart/mixed",
                body containing
                    SDP_AND_PIDF_MULTIPART
                ;
             ;
             and the IUT entity sends a POST containing
             Content_type indicating value "application/lost+xml;charset=utf-8",
                body containingreceivedInitialInviteRequestWithLocationReferenceAndSentGetRequestToLisFor
                    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_1;
                            ,
                            element "service" indicating value SERVICE_URN_1;
                        ;
                    ;
                ;
             	; to the ECRF entity
             	and the IUT entity receives a httpResponse containing
                Status_Code indicating value "200 OK",
                version indicating value "1.0",
                Content_type indicating value "application/lost+xml;charset=utf-8",
                body containing
                    xmlMessage containing
                        version indicating value "1.0",
                        element "findServiceResponse" inNamespace "urn:ietf:params:xml:ns:lost1" containing
                            element "mapping" containing
                                attribute "source",
                                attribute "sourceId",
                                attribute "lastUpdated",
                                attribute "expires",
                                element "service" indicating value SERVICE_URN_1,
                                element "uri" indicating value SIP_URI_1;
                            ,
                            element "locationUsed"
                        ;
                    ;
                ;
              ; from the ECRF entity
        }
        then {
            the IUT entity forwards a SIP_INVITE containing
                Request_URI indicating value SERVICE_URN_1,
                Content_Type indicating value "multipart/mixed",
                Route_Header indicating value SIP_URI_1
                body containing
                    SDP_AND_PIDF_MULTIPART
                ;
            ; to the PSAP entity
        }
    }
}  //End of TP_ESRP_SIP_INVITE_BV_01

Test Purpose {
TP Id TP_ESRP_SIP_INVITE_BV_02
Test objective 
    "IUT adds Incident-ID and Call-ID INFO headers" 
Reference 
    "ETSI TS 103 479 [1], clause XXXX",
    "Next Generation 112 LTD [2], clause 4.3",
    "RFC5222 [6]"
Config Id CFG_ESRP_01
PICS Selection E_SIP_URN1 and L_FIS_GEO1 and E_SIP_HDR1
Initial conditions with {
    the IUT entity isConfiguredWith the ECRF
    and the PSAP entity isReachableWith the SIP_URI_1
    and the IUT entity receivedInitialInviteRequestAndSentLostQueryToEcrf
}
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_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 
    "ETSI TS 103 479 [1], clause XXXX",
    "Next Generation 112 LTD [2], clause 4.3",
    "RFC5985 [3]"
    "RFC5222 [6]"
Config Id CFG_ESRP_01
PICS Selection E_SIP_URN3 and H_QRY_GEO1 and L_FIS_GEO1
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 
    "ETSI TS 103 479 [1], clause XXXX",
    "Next Generation 112 LTD [2], clause 4.3",
    "RFC6753 [4]"
    "RFC5222 [6]"
Config Id CFG_ESRP_01
PICS Selection E_SIP_URN2 and H_DER_TOK1 and L_FIS_GEO1
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 
    "RFC3261 [6]"
Config Id CFG_ESRP_01
PICS Selection S_SIP_OPT1
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

Test Purpose {
TP Id TP_ESRP_SIP_INVITE_BV_06
Test objective 
    "IUT successfully forwards an incoming SIP MESSAGE to the correct downstream element, based on the ECRF response" 
Reference 
    "ETSI TS 103 479 [1], clause XXXX",
    "Next Generation 112 LTD [2], clause 4.3",
    "RFC5222 [6]"
Config Id CFG_ESRP_01
PICS Selection M_SIP_URN1 and L_FIS_GEO1
Initial conditions with {
    the IUT entity isConfiguredWith the ECRF
    and the PSAP entity isReachableWith the SIP_URI_1
    and the IUT entity receivedInitialInviteRequestAndSentLostQueryToEcrf
}
Expected behaviour
    ensure that {
        when {
            the IUT entity receives a TCP SIP_MESSAGE containing
            	Request_URI indicating value SERVICE_URN_1,
                Content_Type indicating value "application/pidf+xml",
                body containing
                    PIDF
                ;
             ;
             and the IUT entity sends a POST containing
             Content_type indicating value "application/lost+xml;charset=utf-8",
                body containingreceivedInitialInviteRequestWithLocationReferenceAndSentGetRequestToLisFor
                    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_1;
                            ,
                            element "service" indicating value SERVICE_URN_1;
                        ;
                    ;
                ;
             	; to the ECRF entity
             	and the IUT entity receives a httpResponse containing
                Status_Code indicating value "200 OK",
                version indicating value "1.0",
                Content_type indicating value "application/lost+xml;charset=utf-8",
                body containing
                    xmlMessage containing
                        version indicating value "1.0",
                        element "findServiceResponse" inNamespace "urn:ietf:params:xml:ns:lost1" containing
                            element "mapping" containing
                                attribute "source",
                                attribute "sourceId",
                                attribute "lastUpdated",
                                attribute "expires",
                                element "service" indicating value SERVICE_URN_1,
                                element "uri" indicating value SIP_URI_1;
                            ,
                            element "locationUsed"
                        ;
                    ;
                ;
              ; from the ECRF entity
        }
        then {
            the IUT entity forwards a SIP_MESSAGE containing
                Request_URI indicating value SERVICE_URN_1,
                Content_Type indicating value "application/pidf+xml",
                Route_Header indicating value SIP_URI_1
                body containing
                    PIDF
                ;
            ; to the PSAP entity
        }
    }
}  //End of TP_ESRP_SIP_INVITE_BV_06


Test Purpose {
TP Id TP_ESRP_SIP_INVITE_BV_07
Test objective 
    "IUT responds BUSY for an incoming SIP INVITE when downstream element is not reachable" 
Reference 
    "ETSI TS 103 479 [1], clause XXXX",
    "Next Generation 112 LTD [2], clause 4.3",
		"RFC5222 [5]",
    "RFC3261 [6]",
Config Id CFG_ESRP_01
PICS Selection E_SIP_URN1 and S_SIP_BUS1
Initial conditions with {
    the IUT entity isConfiguredWith the ECRF
    and the PSAP entity isNotReachable
    and the IUT entity receivedInitialInviteRequestAndSentLostQueryToEcrf
}
Expected behaviour
    ensure that {
        when {
            the IUT entity receives a TCP SIP_INVITE containing
            	Request_URI indicating value SERVICE_URN_1,
                Content_Type indicating value "application/pidf+xml",
                body containing
                    PIDF
                ;
             ;
             and the IUT entity sends a POST containing
             Content_type indicating value "application/lost+xml;charset=utf-8",
                body containingreceivedInitialInviteRequestWithLocationReferenceAndSentGetRequestToLisFor
                    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_1;
                            ,
                            element "service" indicating value SERVICE_URN_1;
                        ;
                    ;
                ;
             	; to the ECRF entity
             	and the IUT entity receives a httpResponse containing
                Status_Code indicating value "200 OK",
                version indicating value "1.0",
                Content_type indicating value "application/lost+xml;charset=utf-8",
                body containing
                    xmlMessage containing
                        version indicating value "1.0",
                        element "findServiceResponse" inNamespace "urn:ietf:params:xml:ns:lost1" containing
                            element "mapping" containing
                                attribute "source",
                                attribute "sourceId",
                                attribute "lastUpdated",
                                attribute "expires",
                                element "service" indicating value SERVICE_URN_1,
                                element "uri" indicating value SIP_URI_1;
                            ,
                            element "locationUsed"
                        ;
                    ;
                ;
              ; from the ECRF entity
        }
        then {
            the IUT entity sends a SIP_RESPONSE containing
              Status_Code indicating value "486 BUSY HERE"
        }
    }
}  //End of TP_ESRP_SIP_INVITE_BV_07
}
}
 No newline at end of file