Commit 27f55d8c authored by Yann Garcia's avatar Yann Garcia
Browse files

Review of TTCN-3 implementation & templates of all emergency TPs for the SIP part

parent f446e7cb
Loading
Loading
Loading
Loading
+94 −22
Original line number Diff line number Diff line
@@ -54,7 +54,7 @@ Package TP_GM {
                            not term_ioi,
                        not SecurityClient,
                        Contact indicating value "sos";;
                    to the UE_A entity
                    from the UE_A entity
                }
                then {
                    the IMS_P_CSCF_A entity sends a 401_Unauthorized containing
@@ -71,7 +71,7 @@ Package TP_GM {
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth";;
                    from the UE_A entity
                    to the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_ECO_REGISTER_01
@@ -163,7 +163,7 @@ Package TP_GM {
                        Via indicating value PX_UE_A_VIA,
                        Authorization indicating value "Invalid credentials",
                        Contact indicating value "sos";
                    to the UE_A entity
                    from the UE_A entity
                }
                then {
                	the IMS_P_CSCF_A entity sends a 403_Forbiden containing
@@ -171,7 +171,7 @@ Package TP_GM {
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA;
                    from the UE_A entity
                    to the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_ECO_REGISTER_03
@@ -204,7 +204,7 @@ Package TP_GM {
                        Via indicating value PX_UE_A_VIA,
                        Authorization not indicating value GPRS_IMS_Bundled_authentication,
                        Contact indicating value "sos";
                    to the UE_A entity
                    from the UE_A entity
                }
                then {
                	the IMS_P_CSCF_B entity sends a 403_Forbidden containing
@@ -215,7 +215,7 @@ Package TP_GM {
                        MessageBody containing
                           XML containing
                               ims_3gpp_element indicating value anonymous_emergencycall;;;
                    from the UE_A entity
                    to the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_ECO_REGISTER_04
@@ -248,7 +248,7 @@ Package TP_GM {
                        Via indicating value PX_UE_A_VIA,
                        Authorization not indicating value GPRS_IMS_Bundled_authentication,
                        Contact indicating value "sos";
                    to the UE_A entity
                    from the UE_A entity
                }
                then {
                	the IMS_P_CSCF_B entity sends a 420_BadExtension containing
@@ -260,7 +260,7 @@ Package TP_GM {
                        MessageBody containing
                           XML containing
                               ims_3gpp_element indicating value anonymous_emergencycall;;;
                    from the UE_A entity
                    to the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_ECO_REGISTER_05
@@ -294,7 +294,7 @@ Package TP_GM {
                        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)
                        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
@@ -461,7 +461,7 @@ Package TP_GM {

    Test Purpose {
        
        TP Id TP_GM_PCSCF_ECO_CANCEL_01
        TP Id TP_GM_PCSCF_EMC_CANCEL_01
        
        Test objective  "Verify that the P-CSCF successfully processes a CANCEL during Emergency Call establishment."
        
@@ -494,7 +494,7 @@ Package TP_GM {
                }
            }
        
    } // End of TP_GM_PCSCF_ECO_CANCEL_01
    } // End of TP_GM_PCSCF_EMC_CANCEL_01
    
    Test Purpose {
        
@@ -518,20 +518,20 @@ Package TP_GM {
            ensure that { 
                when { 
                    the IMS_P_CSCF_A entity sends a 200_Ok containing
                        From indicating value PX_UE_B_SIP_URI,
                        From indicating value PX_PSAP_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE;
                    from the IMS_E_CSCF entity
                        CallId indicating value PX_PSAP_CALLID,
                        Via indicating value PX_PSAP_VIA,
                        Route indicating value PX_PSAP_SERVICE_ROUTE;
                    to the IMS_E_CSCF entity
                }
                then {
                    the IMS_P_CSCF_A entity sends a 200_Ok containing
                        From indicating value PX_UE_B_SIP_URI,
                        From indicating value PX_PSAP_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE,
                        CallId indicating value PX_PSAP_CALLID,
                        Via indicating value PX_PSAP_VIA,
                        Route indicating value PX_PSAP_SERVICE_ROUTE,
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity;
@@ -564,7 +564,7 @@ Package TP_GM {
                when { 
                    the IMS_P_CSCF_A entity receives a 200_Ok containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_PSAP_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
@@ -576,7 +576,7 @@ Package TP_GM {
                then {
                    the IMS_P_CSCF_A entity sends a 200_Ok containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_PSAP_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE;
@@ -586,5 +586,77 @@ Package TP_GM {
        
    } // End of TP_GM_PCSCF_ECO_200OK_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_EMS_200OK_CANCEL_01
        // TP_GM_PCSCF_200OK_CANCEL_01 from ETSI TS 103 653-1 
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) CANCEL (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.3 and 6.1"
        
        Config Id CF_VoLTE_INT_ES
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isRequestedToSend a CANCEL
                }
                then {
                    the IMS_P_CSCF_A entity receives a 200_Ok containing
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity;
                    from the IMS_E_CSCF entity
                }
            }
        
    } // End of TP_GM_PCSCF_EMS_200OK_CANCEL_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_EMC_487INVITE_01
        // TP_GM_PCSCF_487INVITE_01 from ETSI TS 103 653-1
        
        Test objective  "Verify that the P-CSCF successfully processes a 487 INVITE (Request Terminated) (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.3 and 6.1"
        
        Config Id CF_VoLTE_INT_ES
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isRequestedToSend an CANCEL
                }
                then {
                    the IMS_P_CSCF_A entity sends a 487_INVITE containing
                        From indicating value PX_PSAP_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_PSAP_CALLID,
                        Via indicating value PX_PSAP_VIA,
                        Route indicating value PX_PSAP_SERVICE_ROUTE;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_EMC_487INVITE_01

} // End of Package TP_GM
+2 −0
Original line number Diff line number Diff line
@@ -109,6 +109,8 @@ Package Sip_Common {
            - hasAchievedINVITE
            - hasSentINVITETo
            - supportsRoutingTo
            - supportsCallbackTo

        ;
    } // End of Domain section

Original line number Diff line number Diff line
Subproject commit 524df4ef9a2fed2c32c1d9166ebebdb51fa666ba
Subproject commit c38a2f267cb659c8180548bc82721d34dc71ef85
+76 −54

File changed.

Preview size limit exceeded, changes collapsed.

+5 −0
Original line number Diff line number Diff line
@@ -28,6 +28,11 @@ group SUT_CONF {
		 */
		modulepar boolean PX_PSAP_REGISTERED := true;

		/**
		 * @desc Set to true if the emergency call is an issued by an eCall 
		 */
		modulepar boolean PX_ECALL := false;
		
} // end group SUT_CONF

} // end group SUT
Loading