Commit 38478926 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 4a1b3a56

test_purposes/Gm/TP_GM.tplan2

+5 −5
Original line number Original line Diff line number Diff line
@@ -54,7 +54,7 @@ Package TP_GM { 
                            not term_ioi,

                            not term_ioi,

                        not SecurityClient,

                        not SecurityClient,

                        Contact indicating value "sos";;

                        Contact indicating value "sos";;

                    to the UE_A entity

                    from the UE_A entity

                }

                }

                then {

                then {

                    the IMS_P_CSCF_A entity sends a 401_Unauthorized containing

                    the IMS_P_CSCF_A entity sends a 401_Unauthorized containing
@@ -163,7 +163,7 @@ Package TP_GM { 
                        Via indicating value PX_UE_A_VIA,

                        Via indicating value PX_UE_A_VIA,

                        Authorization indicating value "Invalid credentials",

                        Authorization indicating value "Invalid credentials",

                        Contact indicating value "sos";

                        Contact indicating value "sos";

                    to the UE_A entity

                    from the UE_A entity

                }

                }

                then {

                then {

                	the IMS_P_CSCF_A entity sends a 403_Forbiden containing

                	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,

                        To indicating value PX_UE_A_SIP_URI,

                        CallId indicating value PX_UE_A_CALLID,

                        CallId indicating value PX_UE_A_CALLID,

                        Via indicating value PX_UE_A_VIA;

                        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

    } // End of TP_GM_PCSCF_ECO_REGISTER_03
@@ -204,7 +204,7 @@ Package TP_GM { 
                        Via indicating value PX_UE_A_VIA,

                        Via indicating value PX_UE_A_VIA,

                        Authorization not indicating value GPRS_IMS_Bundled_authentication,

                        Authorization not indicating value GPRS_IMS_Bundled_authentication,

                        Contact indicating value "sos";

                        Contact indicating value "sos";

                    to the UE_A entity

                    from the UE_A entity

                }

                }

                then {

                then {

                	the IMS_P_CSCF_B entity sends a 403_Forbidden containing

                	the IMS_P_CSCF_B entity sends a 403_Forbidden containing
@@ -215,7 +215,7 @@ Package TP_GM { 
                        MessageBody containing

                        MessageBody containing

                           XML containing

                           XML containing

                               ims_3gpp_element indicating value anonymous_emergencycall;;;

                               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

    } // End of TP_GM_PCSCF_ECO_REGISTER_04

ttcn/AtsImsIot/AtsImsIot_Emergency.ttcn

+31 −9
Original line number Original line Diff line number Diff line
@@ -256,7 +256,7 @@ module AtsImsIot_Emergency { 
                    f_mtc_check_TP_MW_PCSCF_ECO_REGISTER_03(vc_vxlte_monitor_components.mwPI); // Events 14, 21

                    f_mtc_check_TP_MW_PCSCF_ECO_REGISTER_03(vc_vxlte_monitor_components.mwPI); // Events 14, 21

                    f_mtc_check_TP_MW_ICSCF_REGISTER_03(vc_vxlte_monitor_components.mwIS, true); // Event 17, 20

                    f_mtc_check_TP_MW_ICSCF_REGISTER_03(vc_vxlte_monitor_components.mwIS, true); // Event 17, 20





                    f_mtc_check_TP_CX_HSS_ECO_ECO_UAA_02(f_getCxInterface(PX_DIAMETER_CX_SINGLE_INTERFACE));// Event 15, 16

                    f_mtc_check_TP_CX_HSS_ECO_UAA_02(f_getCxInterface(PX_DIAMETER_CX_SINGLE_INTERFACE));// Event 15, 16

                    f_mtc_check_TP_CX_HSS_SAA_01(vc_vxlte_monitor_components.cxSH);// Event 18, 19

                    f_mtc_check_TP_CX_HSS_SAA_01(vc_vxlte_monitor_components.cxSH);// Event 18, 19





                    // postamble

                    // postamble
@@ -323,7 +323,11 @@ module AtsImsIot_Emergency { 
                        f_mtc_check_precond_TD_VoLTE_ECO_INT_INI_01();

                        f_mtc_check_precond_TD_VoLTE_ECO_INT_INI_01();





                        // Test body

                        // Test body

                        if (not PX_ECALL) {

                            f_mtc_check_TP_GM_PCSCF_ECO_INVITE_02(vc_vxlte_monitor_components.gmA, -, v_sip); // INVITE Event 1

                            f_mtc_check_TP_GM_PCSCF_ECO_INVITE_02(vc_vxlte_monitor_components.gmA, -, v_sip); // INVITE Event 1

                        } else {

                            f_mtc_check_TP_GM_PCSCF_ECO_INVITE_04(vc_vxlte_monitor_components.gmA, -, v_sip); // INVITE Event 1

                        }

                        f_mtc_check_TP_GM_PCSCF_ECO_100Trying_01(vc_vxlte_monitor_components.gmA, -, v_sip);

                        f_mtc_check_TP_GM_PCSCF_ECO_100Trying_01(vc_vxlte_monitor_components.gmA, -, v_sip);





                        //Rx/Gx exchange after INVITE (SDP) was received at P-CSCF

                        //Rx/Gx exchange after INVITE (SDP) was received at P-CSCF
@@ -669,9 +673,11 @@ module AtsImsIot_Emergency { 
                        f_mtc_userInitiateCall (v_ueA, v_infoPsap); // Event 1

                        f_mtc_userInitiateCall (v_ueA, v_infoPsap); // Event 1





                        // Test body

                        // Test body

                        //f_mtc_userInitiateCall (v_ueA, v_userTelInfoB);

                        if (not(PX_ECALL)) {



                            f_mtc_check_TP_GM_PCSCF_ECO_INVITE_02(vc_vxlte_monitor_components.gmA, -, v_sip); // INVITE Event 1

                            f_mtc_check_TP_GM_PCSCF_ECO_INVITE_02(vc_vxlte_monitor_components.gmA, -, v_sip); // INVITE Event 1

                        } else {

                            f_mtc_check_TP_GM_PCSCF_ECO_INVITE_04(vc_vxlte_monitor_components.gmA, -, v_sip); // INVITE Event 1

                        }

                        f_mtc_check_TP_GM_PCSCF_ECO_100Trying_01(vc_vxlte_monitor_components.gmA, -, v_sip);

                        f_mtc_check_TP_GM_PCSCF_ECO_100Trying_01(vc_vxlte_monitor_components.gmA, -, v_sip);





                        //Rx/Gx exchange after INVITE (SDP) was received at P-CSCF

                        //Rx/Gx exchange after INVITE (SDP) was received at P-CSCF
@@ -792,7 +798,11 @@ module AtsImsIot_Emergency { 
                        // Test body

                        // Test body

                        //f_mtc_userInitiateCall (v_ueA, v_userTelInfoB);

                        //f_mtc_userInitiateCall (v_ueA, v_userTelInfoB);





                        f_mtc_check_TP_GM_PCSCF_ECO_INVITE_02(vc_vxlte_monitor_components.gmA, -, v_sip); // Event 1

                        if (not(PX_ECALL)) {

                            f_mtc_check_TP_GM_PCSCF_ECO_INVITE_02(vc_vxlte_monitor_components.gmA, -, v_sip); // INVITE Event 1

                        } else {

                            f_mtc_check_TP_GM_PCSCF_ECO_INVITE_04(vc_vxlte_monitor_components.gmA, -, v_sip); // INVITE Event 1

                        }

                        f_mtc_check_TP_GM_PCSCF_ECO_100Trying_01(vc_vxlte_monitor_components.gmA, -, v_sip);

                        f_mtc_check_TP_GM_PCSCF_ECO_100Trying_01(vc_vxlte_monitor_components.gmA, -, v_sip);





                        //Rx/Gx exchange after INVITE (SDP) was received at P-CSCF

                        //Rx/Gx exchange after INVITE (SDP) was received at P-CSCF
@@ -922,7 +932,11 @@ module AtsImsIot_Emergency { 
                        // Test body

                        // Test body

                        //f_mtc_userInitiateCall (v_ueA, v_userTelInfoB);

                        //f_mtc_userInitiateCall (v_ueA, v_userTelInfoB);





                        f_mtc_check_TP_GM_PCSCF_ECO_INVITE_02(vc_vxlte_monitor_components.gmA, -, v_sip); // Event 1

                        if (not(PX_ECALL)) {

                            f_mtc_check_TP_GM_PCSCF_ECO_INVITE_02(vc_vxlte_monitor_components.gmA, -, v_sip); // INVITE Event 1

                        } else {

                            f_mtc_check_TP_GM_PCSCF_ECO_INVITE_04(vc_vxlte_monitor_components.gmA, -, v_sip); // INVITE Event 1

                        }

                        f_mtc_check_TP_GM_PCSCF_ECO_100Trying_01(vc_vxlte_monitor_components.gmA, -, v_sip);

                        f_mtc_check_TP_GM_PCSCF_ECO_100Trying_01(vc_vxlte_monitor_components.gmA, -, v_sip);





                        //Rx/Gx exchange after INVITE (SDP) was received at P-CSCF

                        //Rx/Gx exchange after INVITE (SDP) was received at P-CSCF
@@ -1054,7 +1068,11 @@ module AtsImsIot_Emergency { 
                        f_mtc_userInitiateCall (v_ueA, v_infoPsap); // Event 1

                        f_mtc_userInitiateCall (v_ueA, v_infoPsap); // Event 1





                        // Test body

                        // Test body

                        f_mtc_check_TP_GM_PCSCF_INVITE_02(vc_vxlte_monitor_components.gmA, -, v_sip); // Event 1

                        if (not(PX_ECALL)) {

                            f_mtc_check_TP_GM_PCSCF_ECO_INVITE_02(vc_vxlte_monitor_components.gmA, -, v_sip); // INVITE Event 1

                        } else {

                            f_mtc_check_TP_GM_PCSCF_ECO_INVITE_04(vc_vxlte_monitor_components.gmA, -, v_sip); // INVITE Event 1

                        }

                        f_mtc_check_TP_GM_PCSCF_ECO_100Trying_01(vc_vxlte_monitor_components.gmA, -, v_sip);

                        f_mtc_check_TP_GM_PCSCF_ECO_100Trying_01(vc_vxlte_monitor_components.gmA, -, v_sip);





                        //Rx/Gx exchange after INVITE (SDP) was received at P-CSCF

                        //Rx/Gx exchange after INVITE (SDP) was received at P-CSCF
@@ -1176,7 +1194,11 @@ module AtsImsIot_Emergency { 




                        // Test body

                        // Test body





                        f_mtc_check_TP_GM_PCSCF_INVITE_02(vc_vxlte_monitor_components.gmA, -, v_sip); // Event 1

                        if (not(PX_ECALL)) {

                            f_mtc_check_TP_GM_PCSCF_ECO_INVITE_02(vc_vxlte_monitor_components.gmA, -, v_sip); // INVITE Event 1

                        } else {

                            f_mtc_check_TP_GM_PCSCF_ECO_INVITE_04(vc_vxlte_monitor_components.gmA, -, v_sip); // INVITE Event 1

                        }

                        f_mtc_check_TP_GM_PCSCF_ECO_100Trying_01(vc_vxlte_monitor_components.gmA, -, v_sip);

                        f_mtc_check_TP_GM_PCSCF_ECO_100Trying_01(vc_vxlte_monitor_components.gmA, -, v_sip);





                        //Rx/Gx exchange after INVITE (SDP) was received at P-CSCF

                        //Rx/Gx exchange after INVITE (SDP) was received at P-CSCF

ttcn/AtsImsIot/AtsImsIot_PIXITS.ttcn

+5 −0
Original line number Original line Diff line number Diff line
@@ -28,6 +28,11 @@ group SUT_CONF { 
		 */

		 */

		modulepar boolean PX_PSAP_REGISTERED := true;

		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_CONF





} // end group SUT

} // end group SUT

ttcn/AtsImsIot/AtsImsIot_TP_behavior_GM.ttcn

+534 −81

File changed.

Preview size limit exceeded, changes collapsed.

ttcn/AtsImsIot/AtsImsIot_TP_behavior_MW_PS.ttcn

+2 −4
Original line number Original line Diff line number Diff line
@@ -260,10 +260,8 @@ module AtsImsIot_TP_behavior_MW_PS { 
         *                     Realm indicating value PX_UE_A_REALM,

         *                     Realm indicating value PX_UE_A_REALM,

         *                     Algorithm indicating value PX_UE_A_AUTH_ALG,

         *                     Algorithm indicating value PX_UE_A_AUTH_ALG,

         *                     Nonce indicating value "not empty",

         *                     Nonce indicating value "not empty",

         *                     qop indicating value "auth"

         *                     qop indicating value "auth";,

         *                 ;,

         *                 Contact indicating value "sos";

         *                 Contact indicating value "sos"

         *                 ;

         *             to the UE_A entity

         *             to the UE_A entity

         *         }

         *         }

         *     }

         *     }