Commit 4b3d2d2c authored by Peter Schmitting's avatar Peter Schmitting
Browse files

INVIT TPs added

parent ef0c5baa
Loading
Loading
Loading
Loading
+120 −8
Original line number Diff line number Diff line
@@ -18,8 +18,6 @@ Package TP_GM {
    
    import all from Sip_Common;
    
    
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_ECO_REGISTER_01
@@ -35,7 +33,7 @@ Package TP_GM {
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_A
            the UE_A entity not isRegisteredTo the IMS_A
        }
        
        Expected behaviour
@@ -60,7 +58,6 @@ Package TP_GM {
                    from the UE_A entity
                }
            }
            
    } // End of TP_GM_PCSCF_ECO_REGISTER_01

    Test Purpose {
@@ -78,7 +75,7 @@ Package TP_GM {
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_A
            the UE_A entity not isRegisteredTo the IMS_A
        }
        
        Expected behaviour
@@ -102,8 +99,123 @@ Package TP_GM {
                    from the UE_A entity
                }
            }
            
    } // End of TP_GM_PCSCF_ECO_REGISTER_02

    Test Purpose {
        
        TP Id TP_GM_PCSCF_ECO_INVITE_01
        
        Test objective  "Verify that the P-CSCF successfully receives an initial emergency INVITE from an unregistered UE."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.6.8.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 not isRegisteredTo the IMS_A and
            the UE_A entity not isEmergencyRegisteredTo the IMS_A
         }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isRequestedToEstablishEmergencyCall
                }
                then {
                    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, // see 5.1.6.8.2 7)
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        MessageBody;
                    from the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_ECO_INVITE_01

    Test Purpose {
        
        TP Id TP_GM_PCSCF_ECO_INVITE_02
        
        Test objective  "Verify that the P-CSCF successfully receives an initial emergency INVITE from an emergency registered UE."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.6.8.3"
        
        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
         }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isRequestedToEstablishEmergencyCall
                }
                then {
                    the IMS_P_CSCF_A entity receives an INVITE 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,
                        PPreferredIdentity, // one or two instances
                        // TODO Geolocation header amybe added later, check!
                        MessageBody;
                    from the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_ECO_INVITE_02

    Test Purpose {
        
        TP Id TP_GM_PCSCF_ECO_INVITE_03
        
        Test objective  "Verify that the P-CSCF successfully receives an initial emergency INVITE from a registered but not emergency registered UE."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.6.8.4"
        
        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
            /* This implies that the UE is currently attached and registered 
               to its home operator's network and the IP-CAN does not define emergency bearers
               see 5.1.6.1 3rd paragraph */
         }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isRequestedToEstablishEmergencyCall
                }
                then {
                    the IMS_P_CSCF_A entity receives an INVITE 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,
                        PPreferredIdentity, // one or two instances
                        MessageBody;
                    from the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_ECO_INVITE_03

} // End of Package TP_GM