test_purposes/Gm/TP_GM.tplan2

@@ -18,5 +18,93 @@ Package TP_GM {
     
     import all from Sip_Common;
     
+    
+    
+    Test Purpose {
+        
+        TP Id TP_GM_PCSCF_ECO_REGISTER_01
+        
+        Test objective "Verify that the P-CSCF successfully processes initial emergency registration (Successful)."
+        
+        Reference 
+            "ETSI TS 124 229 [1], Clauses 5.1.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 isNotRegisteredTo the IMS_A
+        }
+        
+        Expected behaviour
+            ensure that {
+                when {
+                    the UE_A entity isTriggeredToStartEmergencyCall
+                }
+                then {
+                    the UE_A entity sends a REGISTER containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_UE_A_SIP_URI,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_UE_A_VIA,
+                        Contact indicating value "sos"
+                        ;
+                    to the IMS_P_CSCF_A entity
+                    and the UE_A entity receives an 200_Ok containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_UE_A_SIP_URI,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_UE_A_VIA;
+                    from the IMS_P_CSCF_A entity
+                }
+            }
+            
+    } // End of TP_GM_PCSCF_ECO_REGISTER_01
+    
+    Test Purpose {
+        
+        TP Id TP_GM_PCSCF_ECO_REGISTER_02
+        
+        Test objective "Verify that the emergency registration is rejected with 420 (Bad Extension) and emergency call shall continue without registration (Unsuccessful registration)."
+        
+        Reference 
+            "ETSI TS 124 229 [1], Clauses 5.1.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 isNotRegisteredTo the IMS_A
+        }
+        
+        Expected behaviour
+            ensure that {
+                when {
+                    the UE_A entity isTriggeredToStartEmergencyCall
+                }
+                then {
+                    the UE_A entity sends a REGISTER containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_UE_A_SIP_URI,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_UE_A_VIA,
+                        Contact indicating value "sos"
+                        ;
+                    to the IMS_P_CSCF_A entity
+                    and the UE_A entity receives an 420_BadExtension containing
+                        From indicating value PX_UE_A_SIP_URI,
+                        To indicating value PX_UE_A_SIP_URI,
+                        CallId indicating value PX_UE_A_CALLID,
+                        Via indicating value PX_UE_A_VIA;
+                    from the IMS_P_CSCF_A entity
+                }
+            }
+            
+    } // End of TP_GM_PCSCF_ECO_REGISTER_02
+    
 } // End of Package TP_GM
 

test_purposes/Sip_Common.tplan2

@@ -59,11 +59,13 @@ Package Sip_Common {
             - forwards
             // Initial conditions
             - isTriggeredToStart
+            - isTriggeredToStartEmergencyCall
             - isNotRegisteredTo
             - hasAchievedFirstRegistration
             - isRegisteredTo
             - isNotAttachedTo
             - isAttachedTo
+            - isEmergencyAttachedTo
             - isNotConfiguredForTopologyHiding
             - isConfiguredForTopologyHiding
             - isExistingIn