test_purposes/E_CSCF/TP_E_CSCF.tplan2

@@ -169,6 +169,7 @@ Package TP_E_CSCF {
                         Route indicating value PX_PSAP_SERVICE_ROUTE_IM_CN,
                         RecordRoute PX_E_CSCF_SERVICE_ROUTE,
                         PChargingVector,
+                        not PChargingFunctionAddresses,
                         MessageBody;
                      to the IM_CN entity
                 }
@@ -213,6 +214,7 @@ Package TP_E_CSCF {
                         Via indicating value PX_E_CSCF_VIA,
                         Route indicating value LRF_provided_SIP_URI,
                         RecordRoute PX_E_CSCF_SERVICE_ROUTE,
+                        not PChargingFunctionAddresses,
                         PChargingVector,
                         MessageBody;
                      to the IM_CN entity
@@ -368,7 +370,7 @@ Package TP_E_CSCF {
                            orig_ioi_parameter
                                indicating value "Operator Identifier Of ImsA";,
                         MessageBody;
-                     to the IMS_IBCF_A entity
+                     to the IMS_BGCF_A entity
                 }
             }
             
@@ -417,11 +419,275 @@ Package TP_E_CSCF {
                            orig_ioi_parameter
                                indicating value "Operator Identifier Of ImsA";,
                         MessageBody;
-                     to the IMS_IBCF_A entity
+                     to the IMS_BGCF_A entity
                 }
             }
             
     } // End of TP_MI_ECSCF_ECO_INVITE_02
 
+    Test Purpose {
+        
+        TP Id TP_MM_ECSCF_ECO_BYE_01
+        /* Mm interface at E-CSCF/IM CN subsystem of own network */
+
+        Test objective  "Verify that the E-CSCF successfully processes a BYE from the P-CSCF for an Emergency
+                         Call and routes the request to the PSAP in the IM CN subsystem of own network."
+        
+        Reference 
+            "ETSI TS 124 229 [1], Clauses 5.11.2"
+        
+        Config Id CF_VxLTE_INT
+        
+        PICS Selection NONE
+        
+        Initial conditions with {
+            the IMS_E_CSCF entity supportsRoutingTo the IM_CN and
+            the UE_A entity previouslyEstablishedEmergencyCallWith the PSAP
+        }
+        
+        Expected behaviour
+            ensure that {
+                when {
+                    the IMS_E_CSCF entity receives a BYE containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_UE_A_VIA,
+                        Route indicating value PX_UE_A_SERVICE_ROUTE;
+                    from the IMS_P_CSCF_A entity
+                }
+                then {
+                    the IMS_E_CSCF entity sends a BYE containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_UE_A_VIA,
+                        Route indicating value PX_UE_A_SERVICE_ROUTE;
+                     to the IM_CN entity
+                }
+            }
+            
+    } // End of TP_MM_ECSCF_ECO_BYE_01
+
+    Test Purpose {
+        
+        TP Id TP_MX_ECSCF_ECO_BYE_01
+        /* Mx interface at E-CSCF/IBCF */
+
+        Test objective  "Verify that the E-CSCF successfully processes a BYE from the P-CSCF for an Emergency
+                         Call and routes the request to the IBCF for a PSAP in another network."
+        
+        Reference 
+            "ETSI TS 124 229 [1], Clauses 5.11.2"
+        
+        Config Id CF_VxLTE_INT
+        
+        PICS Selection NONE
+        
+        Initial conditions with {
+            the IMS_E_CSCF entity supportsRoutingTo the IMS_IBCF_A and
+            the UE_A entity previouslyEstablishedEmergencyCallWith the PSA via IMS_IBCF_A
+        }
+        
+        Expected behaviour
+            ensure that {
+                when {
+                    the IMS_E_CSCF entity receives a BYE containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_UE_A_VIA,
+                        Route indicating value PX_UE_A_SERVICE_ROUTE;
+                    from the IMS_P_CSCF_A entity
+                }
+                then {
+                    the IMS_E_CSCF entity sends a BYE containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_UE_A_VIA,
+                        Route indicating value PX_UE_A_SERVICE_ROUTE;
+                     to the IMS_IBCF_A entity
+                }
+            }
+            
+    } // End of TP_MX_ECSCF_ECO_BYE_01
+
+    Test Purpose {
+        
+        TP Id TP_MI_ECSCF_ECO_BYE_01
+        /* Mx interface at E-CSCF/BGCF */
+
+        Test objective  "Verify that the E-CSCF successfully processes a BYE from the P-CSCF for an Emergency
+                         Call and routes the request to the BGCF for a PSAP in the PSTN."
+        
+        Reference 
+            "ETSI TS 124 229 [1], Clauses 5.11.2"
+        
+        Config Id CF_VxLTE_INT
+        
+        PICS Selection NONE
+        
+        Initial conditions with {
+            the IMS_E_CSCF entity supportsRoutingTo the BGCF and
+            the UE_A entity previouslyEstablishedEmergencyCallWith the PSAP via IMS_BGCF_A
+        }
+        
+        Expected behaviour
+            ensure that {
+                when {
+                    the IMS_E_CSCF entity receives a BYE containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_UE_A_VIA,
+                        Route indicating value PX_UE_A_SERVICE_ROUTE;
+                    from the IMS_P_CSCF_A entity
+                }
+                then {
+                    the IMS_E_CSCF entity sends a BYE containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_UE_A_VIA,
+                        Route indicating value PX_UE_A_SERVICE_ROUTE;
+                     to the IMS_BGCF_A entity
+                }
+            }
+            
+    } // End of TP_MI_ECSCF_ECO_BYE_01
+
+    Test Purpose {
+        
+        TP Id TP_MM_ECSCF_ECO_CANCEL_01
+        /* Mm interface at E-CSCF/IM CN subsystem of own network */
+
+        Test objective  "Verify that the E-CSCF successfully processes a CANCEL from the P-CSCF for an Emergency
+                         Call under establishment and routes the request to the PSAP in the IM CN subsystem of own network."
+        
+        Reference 
+            "ETSI TS 124 229 [1], Clauses 5.11.2"
+        
+        Config Id CF_VxLTE_INT
+        
+        PICS Selection NONE
+        
+        Initial conditions with {
+            the IMS_E_CSCF entity supportsRoutingTo the IM_CN and
+            the UE_A entity hasAchievedInitialEmergencyINVITE
+        }
+        
+        Expected behaviour
+            ensure that {
+                when {
+                    the IMS_E_CSCF entity receives a CANCEL containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_UE_A_VIA,
+                        Route indicating value PX_UE_A_SERVICE_ROUTE;
+                    from the IMS_P_CSCF_A entity
+                }
+                then {
+                    the IMS_E_CSCF entity sends a CANCEL containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_UE_A_VIA,
+                        Route indicating value PX_UE_A_SERVICE_ROUTE;
+                     to the IM_CN entity
+                }
+            }
+            
+    } // End of TP_MM_ECSCF_ECO_CANCEL_01
+
+    Test Purpose {
+        
+        TP Id TP_MX_ECSCF_ECO_CANCEL_01
+        /* Mx interface at E-CSCF/IBCF */
+
+        Test objective  "Verify that the E-CSCF successfully processes a CANCEL from the P-CSCF for an Emergency
+                         Call under establishment and routes the request to the IBCF for a PSAP in another network."
+        
+        Reference 
+            "ETSI TS 124 229 [1], Clauses 5.11.2"
+        
+        Config Id CF_VxLTE_INT
+        
+        PICS Selection NONE
+        
+        Initial conditions with {
+            the IMS_E_CSCF entity supportsRoutingTo the IMS_IBCF_A and
+            the UE_A entity hasAchievedInitialEmergencyINVITE via the IMS_IBCF_A
+        }
+        
+        Expected behaviour
+            ensure that {
+                when {
+                    the IMS_E_CSCF entity receives a CANCEL containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_UE_A_VIA,
+                        Route indicating value PX_UE_A_SERVICE_ROUTE;
+                    from the IMS_P_CSCF_A entity
+                }
+                then {
+                    the IMS_E_CSCF entity sends a CANCEL containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_UE_A_VIA,
+                        Route indicating value PX_UE_A_SERVICE_ROUTE;
+                     to the IMS_IBCF_A entity
+                }
+            }
+            
+    } // End of TP_MX_ECSCF_ECO_CANCEL_01
+
+    Test Purpose {
+        
+        TP Id TP_MI_ECSCF_ECO_CANCEL_01
+        /* Mx interface at E-CSCF/BGCF */
+
+        Test objective  "Verify that the E-CSCF successfully processes a CANCEL from the P-CSCF for an Emergency
+                         Call under establishment and routes the request to the BGCF for a PSAP in the PSTN."
+        
+        Reference 
+            "ETSI TS 124 229 [1], Clauses 5.11.2"
+        
+        Config Id CF_VxLTE_INT
+        
+        PICS Selection NONE
+        
+        Initial conditions with {
+            the IMS_E_CSCF entity supportsRoutingTo the BGCF and
+            the UE_A entity hasAchievedInitialEmergencyINVITE the PSAP via IMS_BGCF_A
+        }
+        
+        Expected behaviour
+            ensure that {
+                when {
+                    the IMS_E_CSCF entity receives a CANCEL containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_UE_A_VIA,
+                        Route indicating value PX_UE_A_SERVICE_ROUTE;
+                    from the IMS_P_CSCF_A entity
+                }
+                then {
+                    the IMS_E_CSCF entity sends a CANCEL containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_UE_A_VIA,
+                        Route indicating value PX_UE_A_SERVICE_ROUTE;
+                     to the IMS_BGCF_A entity
+                }
+            }
+            
+    } // End of TP_MI_ECSCF_ECO_CANCEL_01
+
 } // End of Package TP_E_CSCF
 

test_purposes/Gm/TP_GM.tplan2

@@ -422,5 +422,79 @@ Package TP_GM {
             }
     } // End of TP_GM_PCSCF_ECO_INVITE_04
 
+    Test Purpose {
+        
+        TP Id TP_GM_PCSCF_ECO_BYE_01
+        
+        Test objective  "Verify that the P-CSCF successfully processes a BYE for an emergency call."
+        
+        Reference 
+            "ETSI TS 124 229 [2] Clauses 5.1.6.9"
+        
+        Config Id CF_VxLTE_INT
+        
+        PICS Selection  NONE
+        
+        Initial conditions with {
+            the UE_A entity isEmergencyAttachedTo the EPC_A and
+            the UE_A entity isEmergencyRegisteredTo the IMS_A and
+            the UE_A entity previouslyEstablishedEmergencyCallWith the PSAP
+        }
+        
+        Expected behaviour
+            ensure that { 
+                when { 
+                    the UE_A entity isRequestedToSend a BYE
+                }
+                then {
+                    the IMS_P_CSCF_A entity receives a BYE containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_UE_A_VIA,
+                        Route indicating value PX_UE_A_SERVICE_ROUTE;
+                    from the UE_A entity
+                }
+            }
+        
+    } // End of TP_GM_PCSCF_ECO_BYE_01
+
+    Test Purpose {
+        
+        TP Id TP_GM_PCSCF_ECO_CANCEL_01
+        
+        Test objective  "Verify that the P-CSCF successfully processes a CANCEL during Emergency Call establishment."
+        
+        Reference 
+            "ETSI TS 124 229 [1], Clauses 5.1.3 and 6.1"
+        
+        Config Id CF_VxLTE_INT
+        
+        PICS Selection  NONE
+        
+        Initial conditions with {
+            the UE_A entity isEmergencyAttachedTo the EPC_A and
+            the UE_A entity isEmergencyRegisteredTo the IMS_A and
+            the UE_A entity hasAchievedInitialEmergencyINVITE
+        }
+        
+        Expected behaviour
+            ensure that { 
+                when { 
+                    the UE_A entity isRequestedToSend a CANCEL
+                }
+                then {
+                    the IMS_P_CSCF_A entity receives a CANCEL containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_UE_A_VIA,
+                        Route indicating value PX_UE_A_SERVICE_ROUTE;
+                    from the UE_A entity
+                }
+            }
+        
+    } // End of TP_GM_PCSCF_ECO_CANCEL_01
+
 } // End of Package TP_GM
 

test_purposes/Mw/TP_MW_PS.tplan2

@@ -345,5 +345,195 @@ Package TP_MW_PS {
             
     } // End of TP_MW_PCSCF_ECO_INVITE_03
 
+    Test Purpose {
+        
+        TP Id TP_MW_PCSCF_ECO_INVITE_04
+        
+        Test objective  "Verify that the P-CSCF  rejects an initial INVITE from a not emergency registered UE
+                         if the IM CN subsystem of the P-CSCF is not capable to handle emergency sessions."
+        
+        Reference 
+            "ETSI TS 124 229 [1], Clauses 5.2.10.5"
+        
+        Config Id CF_VxLTE_INT
+        
+        PICS Selection NONE
+        
+        Initial conditions with {
+            the UE_A entity isAttachedTo the EPC_A and
+            the UE_A entity not isRegisteredTo the IMS_A and
+            the UE_A entity not isEmergencyRegisteredTo the IMS_A
+        }
+        
+        Expected behaviour
+            ensure that {
+                when {
+                    the IMS_P_CSCF_A entity receives an INVITE containing
+                        From indicating value "Anonymous",
+                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_UE_A_VIA,
+                        Route indicating value PX_UE_A_SERVICE_ROUTE,
+                        MessageBody;
+                 from the UE_A entity
+                }
+                then {
+                    the IMS_P_CSCF_A entity sends a 380_AlternativeService containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_P_CSCF_A_VIA,
+                        PAssertedIdentity,
+                        MessageBody containing
+                            XML containing
+                                Version indicating value "1",
+                                Type_child indicating value "emergency",
+                                Reason_child,
+                                Action_child;;;
+                     to the UE_A entity
+                }
+            }
+            
+    } // End of TP_MW_PCSCF_ECO_INVITE_04
+
+    Test Purpose {
+        
+        TP Id TP_MW_PCSCF_ECO_480INVITE_01
+        
+        Test objective  "Verify that the P-CSCF  rejects an initial INVITE from an emergency registered UE
+                         if the E-CSCF informs the P-CSCF that Emergency Services are currently not available."
+        
+        Reference 
+            "ETSI TS 124 229 [1], Clauses 5.2.10.5"
+        
+        Config Id CF_VxLTE_INT
+        
+        PICS Selection NONE
+        
+        Initial conditions with {
+            the UE_A entity isAttachedTo the EPC_A and
+            the UE_A entity isRegisteredTo the IMS_A and
+            the UE_A entity isEmergencyRegisteredTo the IMS_A and
+            the UE_A entity hasAchievedInitialEmergencyINVITE
+        }
+        
+        Expected behaviour
+            ensure that {
+                when {
+                    the IMS_P_CSCF_A entity receives a 480_INVITE containing // Temporarily Unavailable
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_E_CSCF_VIA,
+                        Route indicating value PX_E_CSCF_SERVICE_ROUTE;
+                    from the IMS_E_CSCF entity
+                }
+                then {
+                    the IMS_P_CSCF_A entity sends a 380_AlternativeService containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_P_CSCF_A_VIA,
+                        PAssertedIdentity,
+                        MessageBody containing
+                            XML containing
+                                Version indicating value "1",
+                                Type_child indicating value "emergency",
+                                Reason_child,
+                                Action_child;;;
+                     to the UE_A entity
+                }
+            }
+            
+    } // End of TP_MW_PCSCF_ECO_480INVITE_01
+
+    Test Purpose {
+        
+        TP Id TP_MW_PCSCF_ECO_BYE_01
+        
+        Test objective  "Verify that the P-CSCF successfully processes a BYE for an emergency call."
+        
+        Reference 
+            "ETSI TS 124 229 [1], Clauses 5.1.6.9, 5.4.5.2 and 6.2"
+        
+        Config Id CF_VxLTE_INT
+        
+        PICS Selection  NONE
+        
+        Initial conditions with {
+            the UE_A entity isAttachedTo the EPC_A and
+            the UE_A entity isRegisteredTo the IMS_A and
+            the UE_A entity not isEmergencyRegisteredTo the IMS_A and
+            the UE_A entity previouslyEstablishedEmergencyCallWith the PSAP
+        }
+        
+        Expected behaviour
+            ensure that { 
+                when { 
+                    the IMS_P_CSCF_A entity receives an BYE containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_UE_A_VIA,
+                        Route indicating value PX_UE_A_SERVICE_ROUTE;
+                    from the UE_A entity
+                }
+                then {
+                    the IMS_P_CSCF_A entity sends an BYE containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_UE_A_VIA,
+                        Route indicating value PX_UE_A_SERVICE_ROUTE;
+                    to the IMS_E_CSCF entity
+                }
+            }
+        
+    } // End of TP_MW_PCSCF_ECO_BYE_01
+
+    Test Purpose {
+        
+        TP Id TP_MW_PCSCF_ECO_CANCEL_01
+        
+        Test objective  "Verify that the P-CSCF successfully processes a CANCEL during Emergency Call establishment."
+        
+        Reference 
+            "ETSI TS 124 229 [1], Clauses 5.1.3 and 6.2"
+        
+        Config Id CF_VxLTE_INT
+        
+        PICS Selection  NONE
+        
+        Initial conditions with {
+            the UE_A entity isEmergencyAttachedTo the EPC_A and
+            the UE_A entity isEmergencyRegisteredTo the IMS_A and
+            the UE_A entity hasAchievedInitialEmergencyINVITE and
+            the UE_A entity isRequestedToSend a CANCEL
+        }
+        
+        Expected behaviour
+            ensure that { 
+                when { 
+                    the IMS_P_CSCF_A entity receives an CANCEL containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_UE_A_VIA,
+                        Route indicating value PX_UE_A_SERVICE_ROUTE;
+                    from the UE_A entity
+                }
+                then {
+                    the IMS_P_CSCF_A entity sends an CANCEL containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_UE_A_VIA,
+                        Route indicating value PX_UE_A_SERVICE_ROUTE;
+                    to the IMS_E_CSCF entity
+                }
+            }
+        
+    } // End of TP_MW_PCSCF_ECO_CANCEL_01
+
 } // End of Package TP_MW_PS
 

test_purposes/Sip_Common.tplan2

@@ -47,6 +47,7 @@ Package Sip_Common {
             - IMS_P_CSCF_A
             - IMS_I_CSCF_A
             - IMS_S_CSCF_A
+            - IMS_BGCF_A
             - IMS_IBCF_A
             - IMS_AS_A
             - IMS_HSS_A
@@ -62,6 +63,8 @@ Package Sip_Common {
             - receives
             - sends
             - forwards
+            // to express route to PSAP
+            - via
             // Initial conditions
             - isTriggeredToStart
             - isTriggeredToStartEmergencyCall
@@ -88,6 +91,7 @@ Package Sip_Common {
             - registeredPublicIdsWithTelUriAndSipUri
             - hasReceivedSubsequentOrTargetRefreshRequestInDialog
             - previouslyEstablishedCallWith
+            - previouslyEstablishedEmergencyCallWith
             - isRequestedToSend
             - isRequestedToEstablishEmergencyCall
             - isRequestedToEstablisheCallTypeEmergencyCall
@@ -99,6 +103,7 @@ Package Sip_Common {
             - hasAchievedFirstREGISTER
             - hasResponded486INVITE
             - hasAchievedInitialINVITE
+            - hasAchievedInitialEmergencyINVITE
             - hasAchievedINVITE
             - hasSentINVITETo
             - supportsRoutingTo
@@ -151,6 +156,7 @@ Package Sip_Common {
         SipMessage r_200_Ok;
         SipMessage r_2xx_Any;
         SipMessage r_3xx_Any;
+        SipMessage r_380_AlternativeService;
         SipMessage r_401_Unauthorized;
         SipMessage r_403_Forbidden;
         SipMessage r_404_NotFound;