Commit 22652950 authored by Bostjan Pintar's avatar Bostjan Pintar
Browse files

Validate SIP interfaces for REG and DRG_01

parent 0667bd2e
Loading
Loading
Loading
Loading
+2 −2
Original line number Diff line number Diff line
@@ -72,7 +72,7 @@ module AtsImsIot_TD_DRG{
                    // test body
                    
                    f_mtc_check_TP_GM_PCSCF_REGISTER_07(vc_vxlte_monitor_components.gmA); // Events 1, 10
                    f_mtc_check_TP_MW_PCSCF_REGISTER_07(vc_vxlte_monitor_components.mwPS); // Event 2, 9
                    f_mtc_check_TP_MW_PCSCF_REGISTER_07(vc_vxlte_monitor_components.mwPI); // Event 2, 9
                    // FIXME Not on the PCAP traces
                    // FIXME f_mtc_check_TP_MW_ICSCF_REGISTER_07(vc_vxlte_monitor_components.mwIS); // Event 5, 8
                    
@@ -132,7 +132,7 @@ module AtsImsIot_TD_DRG{
                    
                    f_mtc_check_TP_CX_HSS_RTA_01(f_getCxInterface(PX_DIAMETER_CX_SINGLE_INTERFACE));// Event 1, 8
                    
                    f_mtc_check_TP_MW_PCSCF_NOTIFY_01(vc_vxlte_monitor_components.mwPS); // Event 2
                    f_mtc_check_TP_MW_PCSCF_NOTIFY_01(vc_vxlte_monitor_components.mwPI); // Event 2
                    //f_mtc_check_TP_GM_PCSCF_NOTIFY_01(vc_vxlte_monitor_components.gmA); // Events 3
                    //f_mtc_check_TP_GM_PCSCF_200OK_01(vc_vxlte_monitor_components.gmA, false); // Events 4
                    //f_mtc_check_TP_MW_PCSCF_200OK_01(vc_vxlte_monitor_components.mwPS); // Event 5
+8 −6
Original line number Diff line number Diff line
@@ -87,9 +87,11 @@ module AtsImsIot_TD_REG{
                    
                    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); // Events 22, 23
                    f_mtc_check_TP_MW_PCSCF_SUBSCRIBE_01(vc_vxlte_monitor_components.mwPI); // Events 22, 23

                    f_mtc_check_TP_GM_PCSCF_NOTIFY_01(vc_vxlte_monitor_components.gmA); // TODO Events 21, 24
                    f_mtc_check_TP_MW_PCSCF_NOTIFY_01(vc_vxlte_monitor_components.mwPS); // TODO Events 22, 23
                    f_mtc_check_TP_MW_PCSCF_NOTIFY_01(vc_vxlte_monitor_components.mwPI); // TODO Events 22, 23

                    //FIXME Rx and Gx interfaces not in PCAP traces
                    f_mtc_check_TP_RX_PCSCF_AAR_01(vc_vxlte_monitor_components.rx);// TODO Event 25
@@ -196,16 +198,16 @@ module AtsImsIot_TD_REG{
                    
                    // test body
                    
                    f_mtc_check_TP_GM_PCSCF_REGISTER_01(vc_vxlte_monitor_components.gmA, true); // Events 1, 10
                    f_mtc_check_TP_MW_PCSCF_REGISTER_01(vc_vxlte_monitor_components.mwPI, true); // Event 2, 9
                    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.mwPI); // Event 2, 9
                    // FIXME Not on the PCAP traces
                    // FIXME f_mtc_check_TP_MW_ICSCF_REGISTER_01(vc_vxlte_monitor_components.mwIS, true); // Event 5, 8
                    
                    f_mtc_check_TP_CX_HSS_UAA_01(f_getCxInterface(PX_DIAMETER_CX_SINGLE_INTERFACE));// Event 3, 4
                    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, true); // Events 11, 24
                    f_mtc_check_TP_MW_PCSCF_REGISTER_02(vc_vxlte_monitor_components.mwPI, true); // Events 12, 23
                    f_mtc_check_TP_GM_PCSCF_REGISTER_02(vc_vxlte_monitor_components.gmA); // Events 11, 24
                    f_mtc_check_TP_MW_PCSCF_REGISTER_02(vc_vxlte_monitor_components.mwPI); // Events 12, 23
                    // FIXME Not on the PCAP traces
                    // FIXME f_mtc_check_TP_MW_ICSCF_REGISTER_02(vc_vxlte_monitor_components.mwIS, true); // Event 15, 22
                    
@@ -215,8 +217,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_ISC_SCSCF_REGISTER_01(vc_vxlte_monitor_components.isc); // Event 18, 21
                    
                    f_mtc_check_TP_GM_PCSCF_SUBSCRIBE_01(vc_vxlte_monitor_components.gmA, true); // Events 25, 28
                    f_mtc_check_TP_MW_PCSCF_SUBSCRIBE_01(vc_vxlte_monitor_components.mwPS, true); // Events 26, 27
                    f_mtc_check_TP_GM_PCSCF_SUBSCRIBE_01(vc_vxlte_monitor_components.gmA); // Events 25, 28
                    f_mtc_check_TP_MW_PCSCF_SUBSCRIBE_01(vc_vxlte_monitor_components.mwPS); // Events 26, 27

                    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
+225 −99

File changed.

Preview size limit exceeded, changes collapsed.

+224 −110

File changed.

Preview size limit exceeded, changes collapsed.

+74 −27
Original line number Diff line number Diff line
@@ -103,10 +103,12 @@ module AtsImsIot_Templates_GM {
        
        template (present) Response mw_200OK(
                                             template (present) CSeq p_cSeq := ?,
                                             template (present) CallId p_callId := ?,
                                             template (present) From p_from := ?,
                                             template (present) To p_to := ?
                                             ) modifies mw_200OK_Base := {
            msgHeader := {
                callId    := p_callId,
                cSeq      := p_cSeq,
                fromField := p_from,
                toField   := p_to
@@ -184,16 +186,16 @@ module AtsImsIot_Templates_GM {
                                                                      template (present) From p_from := ?,
                                                                      template (present) To p_to := ?,
                                                                      template (present) Authorization p_authorization := ?,
                                                                      template (present) PChargingVector p_pChargingVector := ?,
                                                                      template (present) PVisitedNetworkID p_pVisitedNetworkID := ?
                                                                      template PChargingVector p_pChargingVector := *,
                                                                      template PVisitedNetworkID p_pVisitedNetworkID := *
        ) modifies mw_REGISTER_authorizedRequest_wo_securityheaders_IMS := {
            msgHeader := {
                fromField := p_from,
                toField := p_to,
                authorization := ?,
                pChargingVector := p_pChargingVector,
                pVisitedNetworkID := p_pVisitedNetworkID,
                require := mw_require_path
                pVisitedNetworkID := p_pVisitedNetworkID
                //require := mw_require_path
            }
        } // End of template mw_TP_GM_PCSCF_REGISTER_01
        
@@ -201,8 +203,8 @@ module AtsImsIot_Templates_GM {
                                                                      template (present) From p_from := ?,
                                                                      template (present) To p_to := ?,
                                                                      template (present) Authorization p_authorization := ?,
                                                                      template (present) PChargingVector p_pChargingVector := ?,
                                                                      template (present) PVisitedNetworkID p_pVisitedNetworkID := ?
                                                                      template PChargingVector p_pChargingVector := *,
                                                                      template PVisitedNetworkID p_pVisitedNetworkID := *
        ) modifies mw_TP_GM_PCSCF_REGISTER_01 := {
        } // End of template mw_TP_GM_PCSCF_REGISTER_02
        
@@ -210,8 +212,8 @@ module AtsImsIot_Templates_GM {
                                                                      template (present) From p_from := ?,
                                                                      template (present) To p_to := ?,
                                                                      template (present) Authorization p_authorization := ?,
                                                                      template (present) PChargingVector p_pChargingVector := ?,
                                                                      template (present) PVisitedNetworkID p_pVisitedNetworkID := ?
                                                                      template PChargingVector p_pChargingVector := *,
                                                                      template PVisitedNetworkID p_pVisitedNetworkID := *
        ) modifies mw_TP_GM_PCSCF_REGISTER_01 := {
        } // End of template mw_TP_GM_PCSCF_REGISTER_03
        
@@ -219,8 +221,8 @@ module AtsImsIot_Templates_GM {
                                                                      template (present) From p_from := ?,
                                                                      template (present) To p_to := ?,
                                                                      template (present) Authorization p_authorization := ?,
                                                                      template (present) PChargingVector p_pChargingVector := ?,
                                                                      template (present) PVisitedNetworkID p_pVisitedNetworkID := ?
                                                                      template PChargingVector p_pChargingVector := *,
                                                                      template PVisitedNetworkID p_pVisitedNetworkID := *
        ) modifies mw_TP_GM_PCSCF_REGISTER_01 := {
        } // End of template mw_TP_GM_PCSCF_REGISTER_04
        
@@ -228,8 +230,8 @@ module AtsImsIot_Templates_GM {
                                                                      template (present) From p_from := ?,
                                                                      template (present) To p_to := ?,
                                                                      template (present) Authorization p_authorization := ?,
                                                                      template (present) PChargingVector p_pChargingVector := ?,
                                                                      template (present) PVisitedNetworkID p_pVisitedNetworkID := ?
                                                                      template PChargingVector p_pChargingVector := *,
                                                                      template PVisitedNetworkID p_pVisitedNetworkID := *
        ) modifies mw_TP_GM_PCSCF_REGISTER_01 := {
        } // End of template mw_TP_GM_PCSCF_REGISTER_04
        
@@ -237,18 +239,11 @@ module AtsImsIot_Templates_GM {
                                                                      template (present) From p_from := ?,
                                                                      template (present) To p_to := ?,
                                                                      template (present) Authorization p_authorization := ?,
                                                                      template (present) PChargingVector p_pChargingVector := ?,
                                                                      template (present) PVisitedNetworkID p_pVisitedNetworkID := ?,
                                                                      template PChargingVector p_pChargingVector := *,
                                                                      template PVisitedNetworkID p_pVisitedNetworkID := *,
                                                                      template (present) charstring p_expires := "0"
        ) modifies mw_TP_GM_PCSCF_REGISTER_01 := {
            msgHeader := {
                fromField := p_from,
                toField := p_to,
                authorization := p_authorization,
                pAccessNetworkInfo := ?,
                pChargingVector := p_pChargingVector,
                pVisitedNetworkID := p_pVisitedNetworkID,
                require := mw_require_path,
                expires := mw_Expires(p_expires)
            }
        } // End of template mw_TP_GM_PCSCF_REGISTER_07
@@ -268,11 +263,12 @@ module AtsImsIot_Templates_GM {
                toField := p_to,
                event := m_Event_reg,
                expires := ?, // checked outside the template
                pAssertedID := mw_PAssertedID(mw_PAssertedIDValue(-)), // FIXME Set expected value
                pChargingVector :=  mw_PChargingVector({
                    {id := "icid-value", paramValue := *}, 
                    *
                  })
                //pAssertedID := mw_PAssertedID(mw_PAssertedIDValue(-)), // FIXME Set expected value
                //pChargingVector :=  mw_PChargingVector({
                //    {id := "icid-value", paramValue := *}, 
                //    *
                //  }),
                route := ?
            }
        } // End of template mw_TP_GM_PCSCF_SUBSCRIBE_01

@@ -294,6 +290,29 @@ module AtsImsIot_Templates_GM {
                requestUri := p_notify_uri, // @TODO
                sipVersion := c_sipNameVersion
            },
            msgHeader := {
                fromField := p_from,
                toField := p_to,
                event := m_Event_reg
                //pAssertedID := mw_PAssertedID(mw_PAssertedIDValue(-)), // FIXME Set expected value
                //pChargingVector :=  mw_PChargingVector({
                //    {id := "icid-value", paramValue := *}, 
                //    *
                //  }),
            }
        } // End of template mw_TP_GM_PCSCF_NOTIFY_01
        
        template (present) PRACK_Request mw_TP_GM_PCSCF_PRACK_01(
                                                                   template (present) CallId p_callId := ?,
                                                                   template (present) SipUrl p_notify_uri := ?,
                                                                   template (present) From p_from := ?,
                                                                   template (present) To p_to := ?
        ) modifies mw_PRACK_Request_Base := {
            requestLine := {
                method := PRACK_E,
                requestUri := p_notify_uri, // @TODO
                sipVersion := c_sipNameVersion
            },
            msgHeader := {
                fromField := p_from,
                toField := p_to,
@@ -305,7 +324,7 @@ module AtsImsIot_Templates_GM {
                  }),
                route := ?
            }
        } // End of template mw_TP_GM_PCSCF_NOTIFY_01
        } // End of template mw_TP_GM_PCSCF_PRACK_01
        
        template (present) INVITE_Request mw_TP_GM_PCSCF_INVITE_01(
                                                                   template (present) SipUrl p_invite_uri := ?,
@@ -344,6 +363,34 @@ module AtsImsIot_Templates_GM {
                                                                   ) modifies mw_TP_GM_PCSCF_INVITE_01 := {
        } // End of template mw_TP_GM_PCSCF_INVITE_04
        
        template (present) INVITE_Request mw_TP_GM_PCSCF_RE_INVITE_01( // TODO To be enforced
                                                                      template (present) SipUrl p_invite_uri := ?,
                                                                      template (present) From p_from := ?,
                                                                      template (present) To p_to := ?
                                                                      ) modifies mw_TP_GM_PCSCF_INVITE_01 := {
        } // End of template mw_TP_GM_PCSCF_RE_INVITE_01
        
        template (present) INVITE_Request mw_TP_GM_PCSCF_RE_INVITE_02( // TODO To be enforced
                                                                      template (present) SipUrl p_invite_uri := ?,
                                                                      template (present) From p_from := ?,
                                                                      template (present) To p_to := ?
                                                                      ) modifies mw_TP_GM_PCSCF_INVITE_01 := {
        } // End of template mw_TP_GM_PCSCF_RE_INVITE_02
        
        template (present) INVITE_Request mw_TP_GM_PCSCF_RE_INVITE_03( // TODO To be enforced
                                                                      template (present) SipUrl p_invite_uri := ?,
                                                                      template (present) From p_from := ?,
                                                                      template (present) To p_to := ?
                                                                      ) modifies mw_TP_GM_PCSCF_INVITE_01 := {
        } // End of template mw_TP_GM_PCSCF_RE_INVITE_03
        
        template (present) INVITE_Request mw_TP_GM_PCSCF_RE_INVITE_04( // TODO To be enforced
                                                                      template (present) SipUrl p_invite_uri := ?,
                                                                      template (present) From p_from := ?,
                                                                      template (present) To p_to := ?
                                                                      ) modifies mw_TP_GM_PCSCF_INVITE_01 := {
        } // End of template mw_TP_GM_PCSCF_RE_INVITE_014
        
        template (present) Response mw_TP_GM_PCSCF_100Trying_01(
                                                                template (present) CSeq p_cSeq := ?,
                                                                template (present) From p_from := ?,
Loading