Commit fb3affd1 authored by Yann Garcia's avatar Yann Garcia
Browse files

Update GM & MW check functions with new API

parent 701ca445
Loading
Loading
Loading
Loading
+1 −1
Original line number Original line Diff line number Diff line
@@ -686,7 +686,7 @@ module AtsImsIot_TD_INI{


						//Rtp     TP_RTP_01 (Event 1)
						//Rtp     TP_RTP_01 (Event 1)
						//Gm      TP_GM_PCSCF_INVITE_01 (Event 3)
						//Gm      TP_GM_PCSCF_INVITE_01 (Event 3)
						TP_GM_PCSCF_INVITE_01(vc_vxlte_monitor_components.gmA); // (Event 3)
						f_mtc_check_TP_GM_PCSCF_INVITE_01(vc_vxlte_monitor_components.gmA); // (Event 3)
						
						
						//Rx      TP_RX_PCSCF_AAR_03 (AAR – Event 4)
						//Rx      TP_RX_PCSCF_AAR_03 (AAR – Event 4)
						//Gx      TP_GX_PCRF_RAR_01 (RAR – Event 5)
						//Gx      TP_GX_PCRF_RAR_01 (RAR – Event 5)
+38 −38
Original line number Original line Diff line number Diff line
@@ -70,22 +70,22 @@ module AtsImsIot_TD_REG{


                    // Test body
                    // Test body
                    
                    
                    //f_mtc_check_TP_GM_PCSCF_REGISTER_01(vc_vxlte_monitor_components.gmA, false); // Events 1, 10
                    f_mtc_check_TP_GM_PCSCF_REGISTER_01(vc_vxlte_monitor_components.gmA); // Events 1, 10
                    //f_mtc_check_TP_MW_PCSCF_REGISTER_01(vc_vxlte_monitor_components.mwPS, false, true); // Event 2, 9
                    f_mtc_check_TP_MW_PCSCF_REGISTER_01(vc_vxlte_monitor_components.mwPS, true); // Event 2, 9
                    //f_mtc_check_TP_MW_ICSCF_REGISTER_01(vc_vxlte_monitor_components.mwIS, false, true); // Event 5, 8
                    //f_mtc_check_TP_MW_ICSCF_REGISTER_01(vc_vxlte_monitor_components.mwIS, false, true); // Event 5, 8
                    
                    
                    f_mtc_check_TP_CX_HSS_UAA_01(vc_vxlte_monitor_components.cxIH);// Event 3, 4
                    f_mtc_check_TP_CX_HSS_UAA_01(vc_vxlte_monitor_components.cxIH);// Event 3, 4
                    f_mtc_check_TP_CX_HSS_MAA_01(vc_vxlte_monitor_components.cxSH);// Event 6, 7
                    f_mtc_check_TP_CX_HSS_MAA_01(vc_vxlte_monitor_components.cxSH);// Event 6, 7
                    
                    
                    //f_mtc_check_TP_GM_PCSCF_REGISTER_02(vc_vxlte_monitor_components.gmA, false); // Events 11, 20
                    f_mtc_check_TP_GM_PCSCF_REGISTER_02(vc_vxlte_monitor_components.gmA); // Events 11, 20
                    //f_mtc_check_TP_MW_PCSCF_REGISTER_02(vc_vxlte_monitor_components.mwPS, false); // Events 12, 19
                    f_mtc_check_TP_MW_PCSCF_REGISTER_02(vc_vxlte_monitor_components.mwPS); // Events 12, 19
                    //f_mtc_check_TP_MW_ICSCF_REGISTER_02(vc_vxlte_monitor_components.mwIS, false, true); // Event 15, 18
                    f_mtc_check_TP_MW_ICSCF_REGISTER_02(vc_vxlte_monitor_components.mwIS, true); // Event 15, 18
                    
                    
                    f_mtc_check_TP_CX_HSS_UAA_02(vc_vxlte_monitor_components.cxIH);// Event 13, 14
                    f_mtc_check_TP_CX_HSS_UAA_02(vc_vxlte_monitor_components.cxIH);// Event 13, 14
                    f_mtc_check_TP_CX_HSS_SAA_01(vc_vxlte_monitor_components.cxSH);// Event 16, 17
                    f_mtc_check_TP_CX_HSS_SAA_01(vc_vxlte_monitor_components.cxSH);// Event 16, 17
                    
                    
                    //f_mtc_check_TP_GM_PCSCF_SUBSCRIBE_01(vc_vxlte_monitor_components.gmA, false); // Events 21, 24
                    f_mtc_check_TP_GM_PCSCF_SUBSCRIBE_01(vc_vxlte_monitor_components.gmA); // Events 21, 24
                    //f_mtc_check_TP_MW_PCSCF_SUBSCRIBE_01(vc_vxlte_monitor_components.mwPS, true); // Events 22, 23
                    f_mtc_check_TP_MW_PCSCF_SUBSCRIBE_01(vc_vxlte_monitor_components.mwPS, true); // Events 22, 23


                    f_mtc_check_TP_RX_PCSCF_AAR_01(vc_vxlte_monitor_components.rx);// Event 25
                    f_mtc_check_TP_RX_PCSCF_AAR_01(vc_vxlte_monitor_components.rx);// Event 25
                    f_mtc_check_TP_RX_PCRF_AAA_01(vc_vxlte_monitor_components.rx); // Event 26
                    f_mtc_check_TP_RX_PCRF_AAA_01(vc_vxlte_monitor_components.rx); // Event 26
@@ -135,9 +135,9 @@ module AtsImsIot_TD_REG{
        
        
                    //test body
                    //test body
                    
                    
                    //f_mtc_check_TP_GM_PCSCF_REGISTER_03(vc_vxlte_monitor_components.gmA, false); // Events 1, 6
                    f_mtc_check_TP_GM_PCSCF_REGISTER_03(vc_vxlte_monitor_components.gmA, false); // Events 1, 6
                    //f_mtc_check_TP_MW_PCSCF_REGISTER_03(vc_vxlte_monitor_components.mwPS, false, true); // Event 2, 5
                    f_mtc_check_TP_MW_PCSCF_REGISTER_03(vc_vxlte_monitor_components.mwPS, true); // Event 2, 5
                    //f_mtc_check_TP_MW_ICSCF_REGISTER_01(vc_vxlte_monitor_components.mwIS, false, true); // Event 2, 5
                    f_mtc_check_TP_MW_ICSCF_REGISTER_01(vc_vxlte_monitor_components.mwIS, true); // Event 2, 5
                    
                    
                    f_mtc_check_TP_CX_HSS_UAA_03(vc_vxlte_monitor_components.cxIH);// Event 3, 4
                    f_mtc_check_TP_CX_HSS_UAA_03(vc_vxlte_monitor_components.cxIH);// Event 3, 4
                    
                    
@@ -191,16 +191,16 @@ module AtsImsIot_TD_REG{
        
        
                    // test body
                    // test body
                    
                    
                    //f_mtc_check_TP_GM_PCSCF_REGISTER_01(vc_vxlte_monitor_components.gmA, false); // Events 1, 10
                    f_mtc_check_TP_GM_PCSCF_REGISTER_01(vc_vxlte_monitor_components.gmA, false); // Events 1, 10
                    //f_mtc_check_TP_MW_PCSCF_REGISTER_01(vc_vxlte_monitor_components.mwPS, false, true); // Event 2, 9
                    f_mtc_check_TP_MW_PCSCF_REGISTER_01(vc_vxlte_monitor_components.mwPS, false, true); // Event 2, 9
                    //f_mtc_check_TP_MW_ICSCF_REGISTER_01(vc_vxlte_monitor_components.mwIS, false, true); // Event 5, 8
                    f_mtc_check_TP_MW_ICSCF_REGISTER_01(vc_vxlte_monitor_components.mwIS, false, true); // Event 5, 8
                    
                    
                    f_mtc_check_TP_CX_HSS_UAA_01(vc_vxlte_monitor_components.cxIH);// Event 3, 4
                    f_mtc_check_TP_CX_HSS_UAA_01(vc_vxlte_monitor_components.cxIH);// Event 3, 4
                    f_mtc_check_TP_CX_HSS_MAA_01(vc_vxlte_monitor_components.cxSH);// Event 6, 7
                    f_mtc_check_TP_CX_HSS_MAA_01(vc_vxlte_monitor_components.cxSH);// Event 6, 7
                    
                    
                    //f_mtc_check_TP_GM_PCSCF_REGISTER_02(vc_vxlte_monitor_components.gmA, false); // Events 11, 24
                    f_mtc_check_TP_GM_PCSCF_REGISTER_02(vc_vxlte_monitor_components.gmA, false); // Events 11, 24
                    //f_mtc_check_TP_MW_PCSCF_REGISTER_02(vc_vxlte_monitor_components.mwPS, false); // Events 12, 23
                    f_mtc_check_TP_MW_PCSCF_REGISTER_02(vc_vxlte_monitor_components.mwPS, false); // Events 12, 23
                    //f_mtc_check_TP_MW_ICSCF_REGISTER_02(vc_vxlte_monitor_components.mwIS, false, true); // Event 15, 22
                    f_mtc_check_TP_MW_ICSCF_REGISTER_02(vc_vxlte_monitor_components.mwIS, false, true); // Event 15, 22
                    
                    
                    f_mtc_check_TP_CX_HSS_UAA_02(vc_vxlte_monitor_components.cxIH);// Event 13, 14
                    f_mtc_check_TP_CX_HSS_UAA_02(vc_vxlte_monitor_components.cxIH);// Event 13, 14
                    f_mtc_check_TP_CX_HSS_SAA_01(vc_vxlte_monitor_components.cxSH);// Event 16, 17
                    f_mtc_check_TP_CX_HSS_SAA_01(vc_vxlte_monitor_components.cxSH);// Event 16, 17
@@ -208,8 +208,8 @@ module AtsImsIot_TD_REG{
                    f_mtc_check_TP_SH_HSS_UDA_01(vc_vxlte_monitor_components.sh);// Event 16, 17
                    f_mtc_check_TP_SH_HSS_UDA_01(vc_vxlte_monitor_components.sh);// Event 16, 17
                    f_mtc_check_TP_ISC_SCSCF_REGISTER_01(vc_vxlte_monitor_components.isc, false); // Event 18, 21
                    f_mtc_check_TP_ISC_SCSCF_REGISTER_01(vc_vxlte_monitor_components.isc, false); // Event 18, 21
                    
                    
                    //f_mtc_check_TP_GM_PCSCF_SUBSCRIBE_01(vc_vxlte_monitor_components.gmA, false); // Events 25, 28
                    f_mtc_check_TP_GM_PCSCF_SUBSCRIBE_01(vc_vxlte_monitor_components.gmA, false); // Events 25, 28
                    //f_mtc_check_TP_MW_PCSCF_SUBSCRIBE_01(vc_vxlte_monitor_components.mwPS, false); // Events 26, 27
                    f_mtc_check_TP_MW_PCSCF_SUBSCRIBE_01(vc_vxlte_monitor_components.mwPS, false); // Events 26, 27


                    f_mtc_check_TP_RX_PCSCF_AAR_01(vc_vxlte_monitor_components.rx);// Event 29
                    f_mtc_check_TP_RX_PCSCF_AAR_01(vc_vxlte_monitor_components.rx);// Event 29
                    f_mtc_check_TP_RX_PCRF_AAA_01(vc_vxlte_monitor_components.rx); // Event 30
                    f_mtc_check_TP_RX_PCRF_AAA_01(vc_vxlte_monitor_components.rx); // Event 30
@@ -269,24 +269,24 @@ module AtsImsIot_TD_REG{
        
        
                    //test body
                    //test body
                    
                    
                    //f_mtc_check_TP_GM_PCSCF_REGISTER_04(vc_vxlte_monitor_components.gmA, false); // Events 1, 14
                    f_mtc_check_TP_GM_PCSCF_REGISTER_04(vc_vxlte_monitor_components.gmA); // Events 1, 14
                    //f_mtc_check_TP_MW_PCSCF_REGISTER_04(vc_vxlte_monitor_components.mwPS, false, true); // Event 2, 13
                    f_mtc_check_TP_MW_PCSCF_REGISTER_04(vc_vxlte_monitor_components.mwPS, true); // Event 2, 13
                    f_mtc_check_TP_IC_IBCF_REGISTER_01(vc_vxlte_monitor_components.ic, false); // Event 3, 12
                    f_mtc_check_TP_IC_IBCF_REGISTER_01(vc_vxlte_monitor_components.ic); // Event 3, 12
                    //f_mtc_check_TP_MW_ICSCF_REGISTER_04(vc_vxlte_monitor_components.mwIS, false, true); // Event 7, 10
                    f_mtc_check_TP_MW_ICSCF_REGISTER_04(vc_vxlte_monitor_components.mwIS, true); // Event 7, 10
                    
                    
                    f_mtc_check_TP_CX_HSS_UAA_01(vc_vxlte_monitor_components.cxIH);// Event 5, 6//may be removed because in other network
                    f_mtc_check_TP_CX_HSS_UAA_01(vc_vxlte_monitor_components.cxIH);// Event 5, 6//may be removed because in other network
                    f_mtc_check_TP_CX_HSS_MAA_01(vc_vxlte_monitor_components.cxSH);// Event 8, 9//may be removed because in other network
                    f_mtc_check_TP_CX_HSS_MAA_01(vc_vxlte_monitor_components.cxSH);// Event 8, 9//may be removed because in other network
                    
                    
                    //f_mtc_check_TP_GM_PCSCF_REGISTER_05(vc_vxlte_monitor_components.gmA, false); // Events 15, 28
                    f_mtc_check_TP_GM_PCSCF_REGISTER_05(vc_vxlte_monitor_components.gmA, false); // Events 15, 28
                    //f_mtc_check_TP_MW_PCSCF_REGISTER_05(vc_vxlte_monitor_components.mwPS, false); // Events 16, 27
                    f_mtc_check_TP_MW_PCSCF_REGISTER_05(vc_vxlte_monitor_components.mwPS, false); // Events 16, 27
                    f_mtc_check_TP_IC_IBCF_REGISTER_02(vc_vxlte_monitor_components.ic, false); // Event 17, 26
                    f_mtc_check_TP_IC_IBCF_REGISTER_02(vc_vxlte_monitor_components.ic, false); // Event 17, 26
                    //f_mtc_check_TP_MW_ICSCF_REGISTER_05(vc_vxlte_monitor_components.mwIS, false, true); // Event 21, 24
                    f_mtc_check_TP_MW_ICSCF_REGISTER_05(vc_vxlte_monitor_components.mwIS, true); // Event 21, 24
                    
                    
                    f_mtc_check_TP_CX_HSS_UAA_02(vc_vxlte_monitor_components.cxIH);// Event 19, 20
                    f_mtc_check_TP_CX_HSS_UAA_02(vc_vxlte_monitor_components.cxIH);// Event 19, 20
                    f_mtc_check_TP_CX_HSS_SAA_01(vc_vxlte_monitor_components.cxSH);// Event 22, 23
                    f_mtc_check_TP_CX_HSS_SAA_01(vc_vxlte_monitor_components.cxSH);// Event 22, 23
                    
                    
                    //f_mtc_check_TP_GM_PCSCF_SUBSCRIBE_02(vc_vxlte_monitor_components.gmA, false); // Events 29, 36
                    f_mtc_check_TP_GM_PCSCF_SUBSCRIBE_02(vc_vxlte_monitor_components.gmA, false); // Events 29, 36
                    //f_mtc_check_TP_MW_PCSCF_SUBSCRIBE_02(vc_vxlte_monitor_components.mwPS, false); // Events 30, 35
                    f_mtc_check_TP_MW_PCSCF_SUBSCRIBE_02(vc_vxlte_monitor_components.mwPS, false); // Events 30, 35
                    f_mtc_check_TP_IC_IBCF_SUBSCRIBE_01(vc_vxlte_monitor_components.ic, false); // Event 31, 34
                    f_mtc_check_TP_IC_IBCF_SUBSCRIBE_01(vc_vxlte_monitor_components.ic, false); // Event 31, 34


                    f_mtc_check_TP_RX_PCSCF_AAR_01(vc_vxlte_monitor_components.rx);// Event 37
                    f_mtc_check_TP_RX_PCSCF_AAR_01(vc_vxlte_monitor_components.rx);// Event 37
@@ -340,10 +340,10 @@ module AtsImsIot_TD_REG{
        
        
                    // test body
                    // test body
                    
                    
                    //f_mtc_check_TP_GM_PCSCF_REGISTER_03(vc_vxlte_monitor_components.gmA, false); // Events 1, 6
                    f_mtc_check_TP_GM_PCSCF_REGISTER_03(vc_vxlte_monitor_components.gmA, false); // Events 1, 6
                    //f_mtc_check_TP_MW_PCSCF_REGISTER_03(vc_vxlte_monitor_components.mwPS, false, true); // Event 2, 5
                    f_mtc_check_TP_MW_PCSCF_REGISTER_03(vc_vxlte_monitor_components.mwPS, true); // Event 2, 5
                    //f_mtc_check_TP_IC_IBCF_REGISTER_0X(vc_vxlte_monitor_components.mwPS, false, true); // Event 2, 5 //Check during validation if TD and TP need to be written in TD document because Ic interface
                    //f_mtc_check_TP_IC_IBCF_REGISTER_0X(vc_vxlte_monitor_components.mwPS, false, true); // Event 2, 5 //Check during validation if TD and TP need to be written in TD document because Ic interface
                    //f_mtc_check_TP_MW_ICSCF_REGISTER_01(vc_vxlte_monitor_components.mwIS, false, true); // Event 2, 5
                    f_mtc_check_TP_MW_ICSCF_REGISTER_01(vc_vxlte_monitor_components.mwIS, false, true); // Event 2, 5
                    
                    
                    f_mtc_check_TP_CX_HSS_UAA_03(vc_vxlte_monitor_components.cxIH);// Event 3, 4
                    f_mtc_check_TP_CX_HSS_UAA_03(vc_vxlte_monitor_components.cxIH);// Event 3, 4
                    
                    
@@ -398,18 +398,18 @@ module AtsImsIot_TD_REG{
        
        
                    // test body
                    // test body
                    
                    
                    //f_mtc_check_TP_GM_PCSCF_REGISTER_04(vc_vxlte_monitor_components.gmA, false); // Events 1, 14
                    f_mtc_check_TP_GM_PCSCF_REGISTER_04(vc_vxlte_monitor_components.gmA, false); // Events 1, 14
                    //f_mtc_check_TP_MW_PCSCF_REGISTER_04(vc_vxlte_monitor_components.mwPS, false, true); // Event 2, 13
                    f_mtc_check_TP_MW_PCSCF_REGISTER_04(vc_vxlte_monitor_components.mwPS, true); // Event 2, 13
                    f_mtc_check_TP_IC_IBCF_REGISTER_01(vc_vxlte_monitor_components.ic, false); // Event 3, 12
                    f_mtc_check_TP_IC_IBCF_REGISTER_01(vc_vxlte_monitor_components.ic, false); // Event 3, 12
                    //f_mtc_check_TP_MW_ICSCF_REGISTER_01(vc_vxlte_monitor_components.mwIS, false, true); // Event 7, 10
                    f_mtc_check_TP_MW_ICSCF_REGISTER_01(vc_vxlte_monitor_components.mwIS, false, true); // Event 7, 10
                    
                    
                    f_mtc_check_TP_CX_HSS_UAA_01(vc_vxlte_monitor_components.cxIH);// Event 5, 6
                    f_mtc_check_TP_CX_HSS_UAA_01(vc_vxlte_monitor_components.cxIH);// Event 5, 6
                    f_mtc_check_TP_CX_HSS_MAA_01(vc_vxlte_monitor_components.cxSH);// Event 8, 9
                    f_mtc_check_TP_CX_HSS_MAA_01(vc_vxlte_monitor_components.cxSH);// Event 8, 9
                    
                    
                    //f_mtc_check_TP_GM_PCSCF_REGISTER_05(vc_vxlte_monitor_components.gmA, false); // Events 15, 32
                    f_mtc_check_TP_GM_PCSCF_REGISTER_05(vc_vxlte_monitor_components.gmA, false); // Events 15, 32
                    //f_mtc_check_TP_MW_PCSCF_REGISTER_05(vc_vxlte_monitor_components.mwPS, false); // Events 16, 31
                    f_mtc_check_TP_MW_PCSCF_REGISTER_05(vc_vxlte_monitor_components.mwPS, false); // Events 16, 31
                    f_mtc_check_TP_IC_IBCF_REGISTER_02(vc_vxlte_monitor_components.ic, false); // Event 17, 30
                    f_mtc_check_TP_IC_IBCF_REGISTER_02(vc_vxlte_monitor_components.ic, false); // Event 17, 30
                    //f_mtc_check_TP_MW_ICSCF_REGISTER_05(vc_vxlte_monitor_components.mwIS, false, true); // Event 21, 28
                    f_mtc_check_TP_MW_ICSCF_REGISTER_05(vc_vxlte_monitor_components.mwIS, false, true); // Event 21, 28
                    
                    
                    f_mtc_check_TP_CX_HSS_UAA_02(vc_vxlte_monitor_components.cxIH);// Event 19, 20
                    f_mtc_check_TP_CX_HSS_UAA_02(vc_vxlte_monitor_components.cxIH);// Event 19, 20
                    f_mtc_check_TP_CX_HSS_SAA_01(vc_vxlte_monitor_components.cxSH);// Event 22, 23
                    f_mtc_check_TP_CX_HSS_SAA_01(vc_vxlte_monitor_components.cxSH);// Event 22, 23
@@ -417,9 +417,9 @@ module AtsImsIot_TD_REG{
                    f_mtc_check_TP_ISC_SCSCF_REGISTER_01(vc_vxlte_monitor_components.isc, false); // Event 24, 27
                    f_mtc_check_TP_ISC_SCSCF_REGISTER_01(vc_vxlte_monitor_components.isc, false); // Event 24, 27
                    f_mtc_check_TP_SH_HSS_UDA_01(vc_vxlte_monitor_components.sh);// Event 25, 26
                    f_mtc_check_TP_SH_HSS_UDA_01(vc_vxlte_monitor_components.sh);// Event 25, 26
                    
                    
                    //f_mtc_check_TP_GM_PCSCF_SUBSCRIBE_02(vc_vxlte_monitor_components.gmA, false); // Events 33, 40
                    f_mtc_check_TP_GM_PCSCF_SUBSCRIBE_02(vc_vxlte_monitor_components.gmA, false); // Events 33, 40
                    f_mtc_check_TP_IC_IBCF_SUBSCRIBE_01(vc_vxlte_monitor_components.ic, false); // Events 35, 38
                    f_mtc_check_TP_IC_IBCF_SUBSCRIBE_01(vc_vxlte_monitor_components.ic, false); // Events 35, 38
                    //f_mtc_check_TP_MW_PCSCF_SUBSCRIBE_02(vc_vxlte_monitor_components.mwPS, false); // Events 36, 37
                    f_mtc_check_TP_MW_PCSCF_SUBSCRIBE_02(vc_vxlte_monitor_components.mwPS, false); // Events 36, 37


                    f_mtc_check_TP_RX_PCSCF_AAR_01(vc_vxlte_monitor_components.rx);// Event 41
                    f_mtc_check_TP_RX_PCSCF_AAR_01(vc_vxlte_monitor_components.rx);// Event 41
                    f_mtc_check_TP_S9_PCRF_AAR_01(vc_vxlte_monitor_components.s9); // Event 42
                    f_mtc_check_TP_S9_PCRF_AAR_01(vc_vxlte_monitor_components.s9); // Event 42
+893 −81

File changed.

Preview size limit exceeded, changes collapsed.

+57 −54
Original line number Original line Diff line number Diff line
@@ -32,7 +32,7 @@ module AtsImsIot_TP_behavior_MW_IS {
    group imsMessages {
    group imsMessages {
        
        
        /**
        /**
         * @desc Verify that the S-CSCF successfully processes a SIP messages greater than 1300 bytes
         * @desc Verify that the I-CSCF successfully processes a SIP messages greater than 1300 bytes
         * Initial conditions with {
         * Initial conditions with {
         *     the UE_A entity isAttachedTo the EPC_A and
         *     the UE_A entity isAttachedTo the EPC_A and
         *     the UE_A entity isNotRegisteredTo the IMS_A
         *     the UE_A entity isNotRegisteredTo the IMS_A
@@ -55,11 +55,11 @@ module AtsImsIot_TP_behavior_MW_IS {
         *     }
         *     }
         */
         */
        function f_mtc_check_TP_MW_ICSCF_MESSAGE_01(
        function f_mtc_check_TP_MW_ICSCF_MESSAGE_01(
                                                    ImsInterfaceMonitor p_monitorCompRef
                                                    SipInterfaceMonitor p_monitorCompRef
                                                    ) runs on ImsTestCoordinator {
                                                    ) runs on ImsTestCoordinator {
                        
                        
            p_monitorCompRef.start(
            p_monitorCompRef.start(
                                   f_imsIot_receive(
                                   f_Iot_Sip_receive(
                                                    {
                                                    {
                                                        mw_SipRequest(mdw_MESSAGE_1500c), 
                                                        mw_SipRequest(mdw_MESSAGE_1500c), 
                                                        mw_SipResponse(mw_200OK_Base)
                                                        mw_SipResponse(mw_200OK_Base)
@@ -79,7 +79,7 @@ module AtsImsIot_TP_behavior_MW_IS {
    group imsRegistration {
    group imsRegistration {
        
        
        /**
        /**
         * @desc Verify that the S-CSCF successfully processes a first registration (Successful).
         * @desc Verify that the I-CSCF successfully processes a first registration (Successful).
         * Initial conditions with {
         * Initial conditions with {
         *     the UE_A entity isAttachedTo the EPC_A and
         *     the UE_A entity isAttachedTo the EPC_A and
         *     the UE_A entity isNotRegisteredTo the IMS_A and
         *     the UE_A entity isNotRegisteredTo the IMS_A and
@@ -118,11 +118,11 @@ module AtsImsIot_TP_behavior_MW_IS {
         *     }
         *     }
         */
         */
        function f_mtc_check_TP_MW_ICSCF_REGISTER_01(
        function f_mtc_check_TP_MW_ICSCF_REGISTER_01(
                                                     in ImsInterfaceMonitor p_monitorCompRef,
                                                     in SipInterfaceMonitor p_monitorCompRef,
                                                     in boolean p_checkMessage := true
                                                     in boolean p_checkMessage := true
                                                     ) runs on ImsTestCoordinator {
                                                     ) runs on ImsTestCoordinator {
            p_monitorCompRef.start(
            p_monitorCompRef.start(
                                   f_imsIot_receive(
                                   f_Iot_Sip_receive(
                                                    { 
                                                    { 
                                                        mw_SipResponse(mw_401Unauthorized_Base)
                                                        mw_SipResponse(mw_401Unauthorized_Base)
                                                    },
                                                    },
@@ -137,7 +137,7 @@ module AtsImsIot_TP_behavior_MW_IS {
        } // End of function f_mtc_check_TP_MW_ICSCF_REGISTER_01
        } // End of function f_mtc_check_TP_MW_ICSCF_REGISTER_01
        
        
        /**
        /**
         * @desc Verify that the S-CSCF successfully processes a full registration (Successful).
         * @desc Verify that the I-CSCF successfully processes a full registration (Successful).
         * Initial conditions with {
         * Initial conditions with {
         *     the UE_A entity isAttachedTo the EPC_A and
         *     the UE_A entity isAttachedTo the EPC_A and
         *     the UE_A entity isNotRegisteredTo the IMS_A and
         *     the UE_A entity isNotRegisteredTo the IMS_A and
@@ -186,11 +186,11 @@ module AtsImsIot_TP_behavior_MW_IS {
         *     }
         *     }
         */
         */
        function f_mtc_check_TP_MW_ICSCF_REGISTER_02(
        function f_mtc_check_TP_MW_ICSCF_REGISTER_02(
                                                     in ImsInterfaceMonitor p_monitorCompRef,
                                                     in SipInterfaceMonitor p_monitorCompRef,
                                                     in boolean p_checkMessage := true
                                                     in boolean p_checkMessage := true
                                                     ) runs on ImsTestCoordinator {
                                                     ) runs on ImsTestCoordinator {
            p_monitorCompRef.start(
            p_monitorCompRef.start(
                                   f_imsIot_receive(
                                   f_Iot_Sip_receive(
                                                    { 
                                                    { 
                                                        mw_SipRequest(mw_REGISTER_Request_Base),
                                                        mw_SipRequest(mw_REGISTER_Request_Base),
                                                        mw_SipResponse(mw_Response_200onREGISTER_IMS(?,?,?,?,?)) //FIXME
                                                        mw_SipResponse(mw_Response_200onREGISTER_IMS(?,?,?,?,?)) //FIXME
@@ -205,69 +205,72 @@ module AtsImsIot_TP_behavior_MW_IS {
           p_monitorCompRef.done;
           p_monitorCompRef.done;
        } // End of function f_mtc_check_TP_MW_ICSCF_REGISTER_02
        } // End of function f_mtc_check_TP_MW_ICSCF_REGISTER_02
        
        
        /**
        function f_mtc_check_TP_MW_ICSCF_REGISTER_03( // FIXME RMI To be reviewed
         * @desc Verify that the P-CSCF successfully processes a invalid first registration (Unsuccessful).
                                                     in SipInterfaceMonitor p_monitorCompRef,
         * Initial conditions with {
                                                     in boolean p_checkMessage := true
         *     the UE_A entity isAttachedTo the EPC_A and
                                                     ) runs on ImsTestCoordinator {
         *     the UE_A entity isNotRegisteredTo the IMS_A and
            p_monitorCompRef.start(
         *     the UE_B entity isNotRegisteredTo the IMS_B
                                   f_Iot_Sip_receive(
         * }
                                                    { 
         * 
                                                        mw_SipRequest(mw_REGISTER_Request_Base),
         * Expected behaviour
                                                        mw_SipResponse(mw_404NotFound_Base)
         *     ensure that {
                                                    },
         *         when {
                                                    {},
         *             the IMS_I_CSCF_A entity receives a REGISTER containing
                                                    {0, omit},
         *                 From indicating value PX_UE_A_SIP_URI,
                                                    "TP_MW_ICSCF_REGISTER_03",
         *                 To indicating value PX_UE_A_SIP_URI,
                                                    false,
         *                 CallId indicating value PX_UE_A_CALLID,
                                                    p_checkMessage
         *                 Via indicating value PX_UE_A_VIA,
                                                    )
         *                 Authorization containing
                                   );
         *                     Authentication_Schema indicating value PX_TO_BE_DEFINED,
           p_monitorCompRef.done;
         *                     Authentication_URI indicating value PX_TO_BE_DEFINED,
        } // End of function f_mtc_check_TP_MW_ICSCF_REGISTER_03
         *                     Username indicating value PX_UE_A_INVALID_USERNAME,
        
         *                     Realm indicating value PX_UE_A_REALM,
        function f_mtc_check_TP_MW_ICSCF_REGISTER_04( // FIXME RMI To be reviewed
         *                     Algorithm indicating value PX_UE_A_AUTH_ALG,
                                                     in SipInterfaceMonitor p_monitorCompRef,
         *                     Nonce indicating value ""
                                                     in boolean p_checkMessage := true
         *                 ;;
                                                     ) runs on ImsTestCoordinator {
         *             from the IMS_P_CSCF_A entity
            p_monitorCompRef.start(
         *         }
                                   f_Iot_Sip_receive(
         *         then {
                                                    { 
         *             the IMS_I_CSCF_A entity sends an 404_NotFound containing
                                                        mw_SipRequest(mw_REGISTER_Request_Base),
         *                 From indicating value PX_UE_A_SIP_URI,
                                                        mw_SipResponse(mw_404NotFound_Base)
         *                 To indicating value PX_UE_A_SIP_URI,
                                                    },
         *                 CallId indicating value PX_UE_A_CALLID,
                                                    {},
         *                 Via indicating value PX_UE_A_VIA,
                                                    {0, omit},
         *                 ;
                                                    "TP_MW_ICSCF_REGISTER_04",
         *             to the IMS_P_CSCF_A entity
                                                    false,
         *         }
                                                    p_checkMessage
         *     }
                                                    )
         */
                                   );
        function f_mtc_check_TP_MW_PCSCF_REGISTER_03(
           p_monitorCompRef.done;
                                                     in ImsInterfaceMonitor p_monitorCompRef,
        } // End of function f_mtc_check_TP_MW_ICSCF_REGISTER_04
        
        function f_mtc_check_TP_MW_ICSCF_REGISTER_05( // FIXME RMI To be reviewed
                                                     in SipInterfaceMonitor p_monitorCompRef,
                                                     in boolean p_checkMessage := true
                                                     in boolean p_checkMessage := true
                                                     ) runs on ImsTestCoordinator {
                                                     ) runs on ImsTestCoordinator {
            p_monitorCompRef.start(
            p_monitorCompRef.start(
                                   f_imsIot_receive(
                                   f_Iot_Sip_receive(
                                                    { 
                                                    { 
                                                        mw_SipRequest(mw_REGISTER_Request_Base),
                                                        mw_SipRequest(mw_REGISTER_Request_Base),
                                                        mw_SipResponse(mw_404NotFound_Base)
                                                        mw_SipResponse(mw_404NotFound_Base)
                                                    },
                                                    },
                                                    {},
                                                    {},
                                                    {0, omit},
                                                    {0, omit},
                                                    "TP_MW_PCSCF_REGISTER_03",
                                                    "TP_MW_ICSCF_REGISTER_05",
                                                    false,
                                                    false,
                                                    p_checkMessage
                                                    p_checkMessage
                                                    )
                                                    )
                                   );
                                   );
           p_monitorCompRef.done;
           p_monitorCompRef.done;
        } // End of function f_mtc_check_TP_MW_PCSCF_REGISTER_03
        } // End of function f_mtc_check_TP_MW_ICSCF_REGISTER_05
        
        
    } // End of group imsRegistration
    } // End of group imsRegistration
    
    
    group imsDeRegistration {
    group imsDeRegistration {
        
        
        /**
        /**
         * @desc Verify that the S-CSCF successfully processes a user de-registration (no SIP session active).
         * @desc Verify that the I-CSCF successfully processes a user de-registration (no SIP session active).
         * Initial conditions with {
         * Initial conditions with {
         *     the UE_A entity isAttachedTo the EPC_A and
         *     the UE_A entity isAttachedTo the EPC_A and
         *     the UE_A entity isRegisteredTo the IMS_A
         *     the UE_A entity isRegisteredTo the IMS_A
@@ -288,11 +291,11 @@ module AtsImsIot_TP_behavior_MW_IS {
         *     }
         *     }
         */
         */
        function f_mtc_check_TP_MW_ICSCF_REGISTER_07(
        function f_mtc_check_TP_MW_ICSCF_REGISTER_07(
                                                     in ImsInterfaceMonitor p_monitorCompRef,
                                                     in SipInterfaceMonitor p_monitorCompRef,
                                                     in boolean p_checkMessage := true
                                                     in boolean p_checkMessage := true
                                                     ) runs on ImsTestCoordinator {
                                                     ) runs on ImsTestCoordinator {
            p_monitorCompRef.start(
            p_monitorCompRef.start(
                                   f_imsIot_receive(
                                   f_Iot_Sip_receive(
                                                    { 
                                                    { 
                                                        mw_SipRequest(mw_REGISTER_Request_Base)
                                                        mw_SipRequest(mw_REGISTER_Request_Base)
                                                    },
                                                    },
+894 −82

File changed.

Preview size limit exceeded, changes collapsed.

Loading