Loading ttcn/AtsImsIot/AtsImsIot_TD_ATT.ttcn +10 −9 Original line number Original line Diff line number Diff line Loading @@ -125,14 +125,14 @@ module AtsImsIot_TD_ATT{ // Check that user A can register to IMS A // Check that user A can register to IMS A //f_mtc_userRegistration ( v_ueA, v_userInfoA ); // Send REGISTER request message //f_mtc_userRegistration ( v_ueA, v_userInfoA ); // Send REGISTER request message //f_mtc_check_TP_EPC_6002_01 ( vc_vxlte_monitor_components.gmA, false ); // Check //f_mtc_check_TP_EPC_6002_01 ( vc_vxlte_monitor_components.gmA, false ); // Check //f_mtc_check_TP_S6A_MME_AIR_02 ( vc_vxlte_monitor_components.s6a, false ); // Check (ULR – Event 2) f_mtc_check_TP_S6A_MME_AIR_01 ( vc_vxlte_monitor_components.s6a, false ); // Check (AIR – Event 2) //f_mtc_check_TP_S6A_HSS_AIA_02 ( vc_vxlte_monitor_components.s6a, false ); // Check (ULR – Event 2) f_mtc_check_TP_S6A_HSS_AIA_01 ( vc_vxlte_monitor_components.s6a, false ); // Check (AIA – Event 3) f_mtc_check_TP_S6A_MME_ULR_02 ( vc_vxlte_monitor_components.s6a, false ); // Check (ULR – Event 2) f_mtc_check_TP_S6A_MME_ULR_02 ( vc_vxlte_monitor_components.s6a, false ); // Check (ULR – Event 4) f_mtc_check_TP_S6A_HSS_ULA_02 ( vc_vxlte_monitor_components.s6a, false ); // Check (ULA – Event 3) f_mtc_check_TP_S6A_HSS_ULA_02 ( vc_vxlte_monitor_components.s6a, false ); // Check (ULA – Event 5) f_mtc_check_TP_GX_PGW_CCR_01 ( vc_vxlte_monitor_components.gx, false ); f_mtc_check_TP_GX_PGW_CCR_01 ( vc_vxlte_monitor_components.gx, false ); // Check (CCR - Event 6) f_mtc_check_TP_S9_PCRF_CCR_01 ( vc_vxlte_monitor_components.s9, false ); // Check (CCR, CCA – Events 4, 5) f_mtc_check_TP_S9_PCRF_CCR_01 ( vc_vxlte_monitor_components.s9, false ); // Check (CCA – Event 7) f_mtc_check_TP_S9_PCRF_CCA_01 ( vc_vxlte_monitor_components.s9, false ); f_mtc_check_TP_S9_PCRF_CCA_01 ( vc_vxlte_monitor_components.s9, false ); // Check (CCA - Event 8) f_mtc_check_TP_GX_PCRF_CCA_01 ( vc_vxlte_monitor_components.gx, false ); f_mtc_check_TP_GX_PCRF_CCA_01 ( vc_vxlte_monitor_components.gx, false ); // Check (CCA - Event 9) //f_mtc_userCheckRegistration ( v_ueA, f_getAnyValidUser ( PX_EUT_A ) ); //f_mtc_userCheckRegistration ( v_ueA, f_getAnyValidUser ( PX_EUT_A ) ); //f_mtc_check_TP_EPC_6003_01 ( v_ueA, c_vxlte_monitor_components.gmA, v_ueB, c_vxlte_monitor_components.gmB ); // Test sequence #4-5 //f_mtc_check_TP_EPC_6003_01 ( v_ueA, c_vxlte_monitor_components.gmA, v_ueB, c_vxlte_monitor_components.gmB ); // Test sequence #4-5 Loading Loading @@ -185,7 +185,8 @@ module AtsImsIot_TD_ATT{ //f_mtc_check_TP_EPC_6002_01 ( vc_vxlte_monitor_components.gmA, false ); // Check //f_mtc_check_TP_EPC_6002_01 ( vc_vxlte_monitor_components.gmA, false ); // Check f_mtc_check_TP_S6A_MME_ULR_01 ( vc_vxlte_monitor_components.s6a, false ); // Check (ULR – Event 2) f_mtc_check_TP_S6A_MME_ULR_01 ( vc_vxlte_monitor_components.s6a, false ); // Check (ULR – Event 2) f_mtc_check_TP_S6A_HSS_ULA_01 ( vc_vxlte_monitor_components.s6a, false ); // Check (ULA – Event 3) f_mtc_check_TP_S6A_HSS_ULA_01 ( vc_vxlte_monitor_components.s6a, false ); // Check (ULA – Event 3) //?f_mtc_check_TP_GX_PCRF_CCA_01 ( vc_vxlte_monitor_components.gx, false ); // Check (CCR, CCA – Events 4, 5) f_mtc_check_TP_GX_PGW_CCR_01 ( vc_vxlte_monitor_components.gx, false ); // Check (CCR - Event 4) f_mtc_check_TP_GX_PCRF_CCA_01 ( vc_vxlte_monitor_components.gx, false ); // Check (CCA – Event 5) //f_mtc_userCheckRegistration ( v_ueA, f_getAnyValidUser ( PX_EUT_A ) ); //f_mtc_userCheckRegistration ( v_ueA, f_getAnyValidUser ( PX_EUT_A ) ); //f_mtc_check_TP_EPC_6003_01 ( v_ueA, c_vxlte_monitor_components.gmA, v_ueB, c_vxlte_monitor_components.gmB ); // Test sequence #4-5 //f_mtc_check_TP_EPC_6003_01 ( v_ueA, c_vxlte_monitor_components.gmA, v_ueB, c_vxlte_monitor_components.gmB ); // Test sequence #4-5 Loading Loading
ttcn/AtsImsIot/AtsImsIot_TD_ATT.ttcn +10 −9 Original line number Original line Diff line number Diff line Loading @@ -125,14 +125,14 @@ module AtsImsIot_TD_ATT{ // Check that user A can register to IMS A // Check that user A can register to IMS A //f_mtc_userRegistration ( v_ueA, v_userInfoA ); // Send REGISTER request message //f_mtc_userRegistration ( v_ueA, v_userInfoA ); // Send REGISTER request message //f_mtc_check_TP_EPC_6002_01 ( vc_vxlte_monitor_components.gmA, false ); // Check //f_mtc_check_TP_EPC_6002_01 ( vc_vxlte_monitor_components.gmA, false ); // Check //f_mtc_check_TP_S6A_MME_AIR_02 ( vc_vxlte_monitor_components.s6a, false ); // Check (ULR – Event 2) f_mtc_check_TP_S6A_MME_AIR_01 ( vc_vxlte_monitor_components.s6a, false ); // Check (AIR – Event 2) //f_mtc_check_TP_S6A_HSS_AIA_02 ( vc_vxlte_monitor_components.s6a, false ); // Check (ULR – Event 2) f_mtc_check_TP_S6A_HSS_AIA_01 ( vc_vxlte_monitor_components.s6a, false ); // Check (AIA – Event 3) f_mtc_check_TP_S6A_MME_ULR_02 ( vc_vxlte_monitor_components.s6a, false ); // Check (ULR – Event 2) f_mtc_check_TP_S6A_MME_ULR_02 ( vc_vxlte_monitor_components.s6a, false ); // Check (ULR – Event 4) f_mtc_check_TP_S6A_HSS_ULA_02 ( vc_vxlte_monitor_components.s6a, false ); // Check (ULA – Event 3) f_mtc_check_TP_S6A_HSS_ULA_02 ( vc_vxlte_monitor_components.s6a, false ); // Check (ULA – Event 5) f_mtc_check_TP_GX_PGW_CCR_01 ( vc_vxlte_monitor_components.gx, false ); f_mtc_check_TP_GX_PGW_CCR_01 ( vc_vxlte_monitor_components.gx, false ); // Check (CCR - Event 6) f_mtc_check_TP_S9_PCRF_CCR_01 ( vc_vxlte_monitor_components.s9, false ); // Check (CCR, CCA – Events 4, 5) f_mtc_check_TP_S9_PCRF_CCR_01 ( vc_vxlte_monitor_components.s9, false ); // Check (CCA – Event 7) f_mtc_check_TP_S9_PCRF_CCA_01 ( vc_vxlte_monitor_components.s9, false ); f_mtc_check_TP_S9_PCRF_CCA_01 ( vc_vxlte_monitor_components.s9, false ); // Check (CCA - Event 8) f_mtc_check_TP_GX_PCRF_CCA_01 ( vc_vxlte_monitor_components.gx, false ); f_mtc_check_TP_GX_PCRF_CCA_01 ( vc_vxlte_monitor_components.gx, false ); // Check (CCA - Event 9) //f_mtc_userCheckRegistration ( v_ueA, f_getAnyValidUser ( PX_EUT_A ) ); //f_mtc_userCheckRegistration ( v_ueA, f_getAnyValidUser ( PX_EUT_A ) ); //f_mtc_check_TP_EPC_6003_01 ( v_ueA, c_vxlte_monitor_components.gmA, v_ueB, c_vxlte_monitor_components.gmB ); // Test sequence #4-5 //f_mtc_check_TP_EPC_6003_01 ( v_ueA, c_vxlte_monitor_components.gmA, v_ueB, c_vxlte_monitor_components.gmB ); // Test sequence #4-5 Loading Loading @@ -185,7 +185,8 @@ module AtsImsIot_TD_ATT{ //f_mtc_check_TP_EPC_6002_01 ( vc_vxlte_monitor_components.gmA, false ); // Check //f_mtc_check_TP_EPC_6002_01 ( vc_vxlte_monitor_components.gmA, false ); // Check f_mtc_check_TP_S6A_MME_ULR_01 ( vc_vxlte_monitor_components.s6a, false ); // Check (ULR – Event 2) f_mtc_check_TP_S6A_MME_ULR_01 ( vc_vxlte_monitor_components.s6a, false ); // Check (ULR – Event 2) f_mtc_check_TP_S6A_HSS_ULA_01 ( vc_vxlte_monitor_components.s6a, false ); // Check (ULA – Event 3) f_mtc_check_TP_S6A_HSS_ULA_01 ( vc_vxlte_monitor_components.s6a, false ); // Check (ULA – Event 3) //?f_mtc_check_TP_GX_PCRF_CCA_01 ( vc_vxlte_monitor_components.gx, false ); // Check (CCR, CCA – Events 4, 5) f_mtc_check_TP_GX_PGW_CCR_01 ( vc_vxlte_monitor_components.gx, false ); // Check (CCR - Event 4) f_mtc_check_TP_GX_PCRF_CCA_01 ( vc_vxlte_monitor_components.gx, false ); // Check (CCA – Event 5) //f_mtc_userCheckRegistration ( v_ueA, f_getAnyValidUser ( PX_EUT_A ) ); //f_mtc_userCheckRegistration ( v_ueA, f_getAnyValidUser ( PX_EUT_A ) ); //f_mtc_check_TP_EPC_6003_01 ( v_ueA, c_vxlte_monitor_components.gmA, v_ueB, c_vxlte_monitor_components.gmB ); // Test sequence #4-5 //f_mtc_check_TP_EPC_6003_01 ( v_ueA, c_vxlte_monitor_components.gmA, v_ueB, c_vxlte_monitor_components.gmB ); // Test sequence #4-5 Loading