Commit 0b6573bd authored by Yann Garcia's avatar Yann Garcia
Browse files

Merge branch 'STF574' of https://forge.etsi.org/rep/vxlte/vxlte-iop into STF574

parents 68fe2b9c 48ee8e2d
Loading
Loading
Loading
Loading
+2 −0
Original line number Original line Diff line number Diff line
@@ -3,3 +3,5 @@
.classpath
.classpath
.metadata
.metadata


/ttcn3build/
/ttcn/LibSip/xsd/*.ttcn3view
+587 −4
Original line number Original line Diff line number Diff line
/*
/*
Copyright (c) ETSI 2019.
Copyright (c) ETSI 2019-2020.


This software is subject to copyrights owned by ETSI. Non-exclusive permission
This software is subject to copyrights owned by ETSI. Non-exclusive permission
is hereby granted, free of charge, to copy, reproduce and amend this file
is hereby granted, free of charge, to copy, reproduce and amend this file
@@ -14,6 +14,7 @@ file and shall not imply any sub-license right.
*/
*/




/* Gm interface at IBCF/IBCF*/
Package TP_IC {
Package TP_IC {
	
	
    import all from Sip_Common;	
    import all from Sip_Common;	
@@ -143,7 +144,7 @@ Package TP_IC {
        Expected behaviour
        Expected behaviour
            ensure that { 
            ensure that { 
                when { 
                when { 
                    the UE_A entity sends an intial INVITE "addressed to UE_B" to the IMS_A entity  
                    the UE_A entity sends an initial INVITE "addressed to UE_B" to the IMS_A entity  
                }
                }
                then {
                then {
                    the IMS_IBCF_A entity forwards the initial INVITE containing
                    the IMS_IBCF_A entity forwards the initial INVITE containing
@@ -164,7 +165,7 @@ Package TP_IC {




    Test Purpose {
    Test Purpose {
        TP Id  TP_IC_SCSCF_INVITE_03     // Former TP_IMS_5097_04
        TP Id  TP_IC_IBCF_INVITE_03     // Former TP_IMS_5097_04
        Test objective 
        Test objective 
               "S-CSCF uses ENUM/DNS to translate Tel URIs to SIP URIs in initial INVITE requests"
               "S-CSCF uses ENUM/DNS to translate Tel URIs to SIP URIs in initial INVITE requests"
        Reference
        Reference
@@ -206,7 +207,7 @@ Package TP_IC {
                }
                }
            }
            }
        
        
    } // End of TP_IC_SCSCF_INVITE_03
    } // End of TP_IC_IBCF_INVITE_03






@@ -773,6 +774,588 @@ Package TP_IC {






    Test Purpose {
        TP Id  TP_IC_IBCF_CANCEL_01     // Former TP_IMS_5107_03
        Test objective 
               "S-CSCF removes its own SIP URI from the route header before sending CANCEL (Originating leg)"
        Reference
            "TS 124 229 (V15.06.0) [1], clause 5.4.3.2"
        Config Id  CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and 
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasReceived180OnInitialRequest from the UE_B entity
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity sends a CANCEL "addressed to UE_B" to the IMS_A entity  
                }
                then {
                    the IMS_IBCF_A entity sends a CANCEL containing 
                        Route indicating value not PX_S_CSCF_A_SIP_URI
                    ; 
                    to the IMS_IBCF_B entity and
                    the IMS_IBCF_B entity forwards the CANCEL 
                    to the IMS_P_CSCF_B entity
                    
                }
            }
        
    } // End of TP TP_IC_IBCF_CANCEL_01



    Test Purpose {
        TP Id  TP_IC_IBCF_CANCEL_02     // Former TP_IMS_5107_03
        Test objective 
               "S-CSCF removes its own SIP URI from the route header before sending CANCEL (Terminating leg)"
        Reference
            "TS 124 229 (V15.06.0) [1], clause 5.4.3.2"
        Config Id  CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and 
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity isRequestedToSend a CANCEL to the UE_B entity
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_IBCF_B entity receives the CANCEL containing
                          Route indicating value not PX_S_CSCF_A_SIP_URI
                    ;  
                    from the IMS_A entity 
                }
                then {
                    the IMS_IBCF_B entity forwards the CANCEL 
                    to the IMS_S_CSCF_B entity
                }
            }
        
    } // End of TP TP_IC_IBCF_CANCEL_02


    Test Purpose {
        TP Id  TP_IC_IBCF_CANCEL_03     // Former TP_IMS_5107_03
        Test objective 
               "S-CSCF removes its own SIP URI from the route header before sending CANCEL (Originating leg)"
        Reference
            "TS 124 229 (V15.06.0) [1], clause 5.4.3.2"
        Config Id  CF_VxLTE_RMI  // CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_B and 
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasReceived180OnInitialRequest from the UE_B entity
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity sends a CANCEL "addressed to UE_B" to the IMS_B entity  
                }
                then {
                    the IMS_IBCF_B entity sends a CANCEL containing 
                        Route indicating value not PX_S_CSCF_B_SIP_URI
                    ; 
                    to the IMS_IBCF_A entity
                }
            }
        
    } // End of TP TP_IC_IBCF_CANCEL_03


/*    CURRENTLY NOT REQUIRED FROM THE TD DERIVED TPs IN PART OF THE STANDARD (SEE CLAUSE 6.3.4.2 OF PART 2)
    Test Purpose {
        TP Id  TP_IC_IBCF_CANCEL_04     // Former TP_IMS_5107_03
        Test objective 
               "S-CSCF removes its own SIP URI from the route header before sending CANCEL (Terminating leg)"
        Reference
            "TS 124 229 (V15.06.0) [1], clause 5.4.3.2"
        Config Id  CF_VxLTE_RMI  // CF_VxLTE_RMI_A
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and 
            the UE_B entity isRegisteredTo the IMS_A and
            the UE_A entity isRequestedToSend a CANCEL to the UE_B entity
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_IBCF_A entity receives the CANCEL containing
                          Route indicating value not PX_S_CSCF_B_SIP_URI
                    ;  
                    from the IMS_B entity 
                }
                then {
                    the IMS_IBCF_A entity forwards the CANCEL 
                    to the IMS_S_CSCF_A entity
                }
            }
        
    } // End of TP TP_IC_IBCF_CANCEL_04

*/




    Test Purpose {  
        TP Id  TP_IC_IBCF_CANCEL_OK_01
        Test objective
            "The P-CSCF receives a 200 OK response to a CANCEL request from the UE receiving the CANCEL request (Originating leg)"
        Reference
            "TS 124 229 (V15.06.0) [1], clause 5.2.8.1.1  and RFC 3261 [18], clause 9.2"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
            the UE_A entity isRequestedToSend a CANCEL
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_B entity sends a 200_Ok response "addressed to UE_A" to the IMS_A entity 
                }
                then {
                        the IMS_IBCF_A entity receives the 200_Ok response 
                    and 
                        the IMS_IBCF_A entity forwards the 200_OK
                        to the IMS_P_CSCF_A entity 
                }
        }
    }  // End of TP_IC_IBCF_CANCEL_OK_01



    Test Purpose {  
        TP Id  TP_IC_IBCF_CANCEL_OK_02
        Test objective
            "The P-CSCF receives a 200 OK response to a CANCEL request from the UE receiving the CANCEL request (Terminating leg)"
        Reference
            "TS 124 229 (V15.06.0) [1], clause 5.2.8.1.1  and RFC 3261 [18], clause 9.2"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
            the UE_A entity isRequestedToSend a CANCEL
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_B entity sends a 200_Ok response "addressed to UE_A" to the IMS_A entity 
                }
                then {
                    the IMS_IBCF_B entity sends the 200_Ok  
                    to the IMS_A entity 
                }
        }
    }  // End of TP_IC_IBCF_CANCEL_OK_02



    Test Purpose {  
        TP Id  TP_IC_IBCF_CANCEL_OK_03
        Test objective
            "The P-CSCF receives a 200 OK response to a CANCEL request from the UE receiving the CANCEL request (Originating leg)"
        Reference
            "TS 124 229 (V15.06.0) [1], clause 5.2.8.1.1  and RFC 3261 [18], clause 9.2"
            
        Config Id  CF_VxLTE_RMI  // CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
            the UE_A entity isRequestedToSend a CANCEL
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_B entity sends a 200_Ok response "addressed to UE_A" to the IMS_A entity 
                }
                then {
                        the IMS_IBCF_A entity receives the 200_Ok response 
                    and 
                        the IMS_IBCF_A entity forwards the 200_OK
                        to the IMS_P_CSCF_A entity 
                }
        }
    }  // End of TP_IC_IBCF_CANCEL_OK_01




    Test Purpose {  
        TP Id  TP_IC_IBCF_487INVITE_01
        Test objective
            "Verify that the IBCF successfully processes a 487 INVITE (Request Terminated). (Originating leg)"
        Reference
            "TS 124 229 (V15.06.0) [1], clause 5.3.2.2  and RFC 3261 [18], clause 9.2"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
            the UE_A entity isRequestedToSend a CANCEL and
            the UE_A entity hasReceived200OkCancel from the UE_B entity
            
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_B entity sends a 487_INVITE request "addressed to UE_A" to the IMS_A entity 
                }
                then {
                    the IMS_IBCF_A entity receives the 487_INVITE request 
                    from the IMS_B entity and 
                    the IMS_IBCF_B entity forwards the 487_INVITE request 
                    to the IMS_S_CSCF_A entity
                }
        }
    }  // End of TP_IC_IBCF_487INVITE_01
    



    Test Purpose {  
        TP Id  TP_IC_IBCF_487INVITE_02
        Test objective
            "Verify that the IBCF successfully processes a 487 INVITE (Request Terminated).  (Terminating leg)"
        Reference
            "TS 124 229 (V15.06.0) [1], clause 5.3.2.2  and RFC 3261 [18], clause 9.2"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
            the UE_A entity isRequestedToSend a CANCEL and
            the UE_A entity hasReceived200OkCancel from the UE_B entity
            
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_B entity sends a 487_INVITE request "addressed to UE_A" to the IMS_B entity 
                }
                then {
                    the IMS_IBCF_B entity sends the 487_INVITE request 
                    to the IMS_IBCF_A entity 
                }
        }
    }  // End of TP_IC_IBCF_487INVITE_02
    
    

    Test Purpose {  
        TP Id  TP_IC_IBCF_487INVITE_ACK_01
        Test objective
            "Verify that the IBCF successfully processes an ACK response for a Request terminated. (Originating leg)"
        Reference
            "TS 124 229 (V15.06.0) [1], clause 5.3.2.2  and RFC 3261 [18], clause 9.2"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
            the UE_A entity isRequestedToSend a CANCEL and
            the UE_A entity hasReceived200OkCancel from the UE_B entity and
            the UE_A entity hasReceivedTerminatedRequest from the UE_B entity
            
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity sends a ACK response "addressed to UE_A" to the IMS_A entity 
                }
                then {
                	the IMS_IBCF_A entity receives the ACK response
                	from the IMS_S_CSCF_A entity and
                    the IMS_IBCF_A entity sends the ACK response 
                    to the IMS_IBCF_B entity 
                }
        }
    }  // End of TP_IC_IBCF_487INVITE_ACK_01
    
    

    Test Purpose {  
        TP Id  TP_IC_IBCF_487INVITE_ACK_02
        Test objective
            "Verify that the IBCF successfully processes an ACK response for a Request terminated. (Terminating leg)"
        Reference
            "TS 124 229 (V15.06.0) [1], clause 5.3.2.2  and RFC 3261 [18], clause 9.2"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
            the UE_A entity isRequestedToSend a CANCEL and
            the UE_A entity hasReceived200OkCancel from the UE_B entity and
            the UE_A entity hasReceivedTerminatedRequest from the UE_B entity
            
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_A entity sends a ACK response "addressed to UE_A" to the IMS_B entity 
                }
                then {
                	the IMS_IBCF_B entity receives the ACK response
                	from the IMS_A entity and
                    the IMS_IBCF_A entity forwards the ACK response 
                    to the IMS_S_CSCF_B entity 
                }
        }
    }  // End of TP_IC_IBCF_487INVITE_ACK_02

    
    
    
    Test Purpose {  
        TP Id  TP_IC_IBCF_486INVITE_01
        Test objective
            "Verify that the IBCF successfully processes a 486 INVITE (BUSY) originating leg. "
        Reference
            "TS 124 229 (V15.06.0) [1], clause 5.10.3.2  and RFC 3261 [18], clause 13.3.1.3"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            UE_A isAttachedTo the EPC_A and 
            UE_B isAttachedTo the EPC_B and 
            UE_A isRegisteredTo the IMS_A and 
            UE_B isRegisteredTo the IMS_B and 
            UE_B isBusy

            
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_B entity sends a 486_INVITE "addressed to UE_A" to the IMS_A entity 
                }
                then {
                	the IMS_IBCF_A entity receives the 486_INVITE 
                	from the IMS_B entity and
                    the IMS_IBCF_A entity forwards the 486_INVITE 
                    to the IMS_P_CSCF_A entity 
                }
        }
    }  // End of TP_IC_IBCF_486INVITE_01
    


    Test Purpose {  
        TP Id  TP_IC_IBCF_486INVITE_02
        Test objective
            "Verify that the IBCF successfully processes a 486 INVITE (BUSY) Terminating leg. "
        Reference
            "TS 124 229 (V15.06.0) [1], clause 5.10.3.2  and RFC 3261 [18], clause 13.3.1.3"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            UE_A isAttachedTo the EPC_A and 
            UE_B isAttachedTo the EPC_B and 
            UE_A isRegisteredTo the IMS_A and 
            UE_B isRegisteredTo the IMS_B and 
            UE_B isBusy

            
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_B entity sends a 486_INVITE "addressed to UE_A" to the IMS_B entity 
                }
                then {
                	the IMS_S_CSCF_B entity forwards the 486_INVITE
                	to the IMS_IBCF_B entity and
                    the IMS_IBCF_B entity sends the 486_INVITE 
                    to the IMS_A entity
                }
        }
    }  // End of TP_IC_IBCF_486INVITE_02





    Test Purpose {  
        TP Id  TP_IC_IBCF_486INVITE_ACK_01
        Test objective
            "Verify that the IBCF successfully processes an ACK in response to a BUSY reply during session set-up (Originating leg). "
        Reference
            "TS 124 229 (V15.06.0) [1], clause 5.10.3.2  and RFC 3261 [18], clause 13.3.1.3"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            UE_A isAttachedTo the EPC_A and 
            UE_B isAttachedTo the EPC_B and 
            UE_A isRegisteredTo the IMS_A and 
            UE_B isRegisteredTo the IMS_B and 
            UE_B isBusy and
            UE_B hasResponded486INVITE

            
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity sends an ACK "addressed to UE_B" to the IMS_B entity 
                }
                then {
                	the IMS_IBCF_A entity receives the ACK 
                	from the IMS_P_CSCF_A entity and
                    the IMS_IBCF_A entity forwards the ACK 
                    to the IMS_S_CSCF_B entity  
                }
        }
    }  // End of TP_IC_IBCF_486INVITE_ACK_01



    Test Purpose {  
        TP Id  TP_IC_IBCF_486INVITE_ACK_02
        Test objective
           "Verify that the IBCF successfully processes an ACK in response to a BUSY reply during session set-up (Terminating leg). "
        Reference
            "TS 124 229 (V15.06.0) [1], clause 5.10.3.2  and RFC 3261 [18], clause 13.3.1.3"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            UE_A isAttachedTo the EPC_A and 
            UE_B isAttachedTo the EPC_B and 
            UE_A isRegisteredTo the IMS_A and 
            UE_B isRegisteredTo the IMS_B and 
            UE_B isBusy and
            UE_B hasResponded486INVITE

            
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity sends an ACK "addressed to UE_B" to the IMS_A entity 
                }
                then {
                	the IMS_IBCF_B entity receives the ACK
                	from the IMS_A entity and
                    the IMS_IBCF_B entity forwards the ACK 
                    to the IMS_S_CSCF_B entity 
                }
        }
    }  // End of TP_IC_IBCF_486INVITE_ACK_02



    Test Purpose {  
        TP Id  TP_IC_IBCF_REGISTER_01   // Former TP TP_IMS_5137_04
        Test objective
           "The IBCF shall perform encryption for topology hiding before an initial REGISTER request is sent "
        Reference
            "TS 124 229 (V15.06.0) [1], clause 5.10.4.2"
            
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            IMS_A isConfiguredForTopologyHiding
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity sends a REGISTER "addressed to home network IMS_A" to the IMS_B entity 
                }
                then {
                    the IMS_IBCF_B entity sends the REGISTER containing
                        Via containing
                            ViaBody containing
                                HostPort indicating value PX_IBCF_B_SIP_URI
                             ;
                        ; ,
                        Route indicating value PX_IBCF_B_SIP_URI,
                        Path containing
                            PathValue indicating value PX_IBCF_B_SIP_URI 
                        ;
                     ;
                    to the IMS_IBCF_A entity and
                    the IMS_IBCF_B entity receives the 401_Unauthorized
                    from the IMS_A entity and 
                    the  IMS_IBCF_B entity forwards the 401_Unauthorized
                    to the IMS_P_CSCF_B entity
                }
        }
    }  // End of TP_IC_IBCF_REGISTER_01






    
    
}  // End of Package TP_IC
}  // End of Package TP_IC
+7 −0
Original line number Original line Diff line number Diff line
@@ -65,6 +65,7 @@ Package Sip_Common {
            - isNotAttachedTo
            - isNotAttachedTo
            - isAttachedTo
            - isAttachedTo
            - isNotConfiguredForTopologyHiding
            - isNotConfiguredForTopologyHiding
            - isConfiguredForTopologyHiding
            - isExistingIn
            - isExistingIn
            - establishedSecurityRelation
            - establishedSecurityRelation
            - registeredIdentityTelURI
            - registeredIdentityTelURI
@@ -74,6 +75,8 @@ Package Sip_Common {
            - hasReceivedIntialRequestForDialog
            - hasReceivedIntialRequestForDialog
            - hasReceived200OkOnInitialRequestForDialogWith
            - hasReceived200OkOnInitialRequestForDialogWith
            - hasReceived180OnInitialRequest
            - hasReceived180OnInitialRequest
            - hasReceived200OkCancel
            - hasReceivedTerminatedRequest
            - registeredPublicIdsWithTelUriAndSipUri
            - registeredPublicIdsWithTelUriAndSipUri
            - hasReceivedSubsequentOrTargetRefreshRequestInDialog
            - hasReceivedSubsequentOrTargetRefreshRequestInDialog
            - previouslyEstablishedCallWith
            - previouslyEstablishedCallWith
@@ -89,6 +92,7 @@ Package Sip_Common {
            - SUBSCRIBE
            - SUBSCRIBE
            - hasAchieveInitialINVITE
            - hasAchieveInitialINVITE
            - hasAchieveINVITE
            - hasAchieveINVITE
            - hasResponded486INVITE
            - INVITE
            - INVITE
            - 486_INVITE
            - 486_INVITE
            - ACK
            - ACK
@@ -151,6 +155,9 @@ Package Sip_Common {
            Test Configuration CF_VxLTE_INT
            Test Configuration CF_VxLTE_INT
            ;
            ;
            
            
            Test Configuration CF_VxLTE_RMI
            ;
            
            Test Configuration CF_VxLTE_RMI_A
            Test Configuration CF_VxLTE_RMI_A
            ;
            ;
            
            
+149 −0

File added.

Preview size limit exceeded, changes collapsed.

+43 −42
Original line number Original line Diff line number Diff line
@@ -2597,14 +2597,14 @@ module AtsImsIot_Functions {
        */
        */
        function f_receiveDiameterMsg (in template (present) DIAMETER_MSG p_diameter,
        function f_receiveDiameterMsg (in template (present) DIAMETER_MSG p_diameter,
                                       in charstring p_log, in boolean p_bool )
                                       in charstring p_log, in boolean p_bool )
	 	runs on ImsInterfaceMonitor {
        runs on DiameterInterfaceMonitor {
            timer       t_local	:= PX_MAX_MSG_WAIT;
            timer       t_local	:= PX_MAX_MSG_WAIT;
            var boolean v_loop	:= true;
            var boolean v_loop	:= true;
            log ( "### " & p_log );
            log ( "### " & p_log );
            t_local.start;
            t_local.start;
            while ( v_loop ) {
            while ( v_loop ) {
                alt {
                alt {
                    []	rxPort.receive ( p_diameter ) {
                    [] diameterPort.receive ( p_diameter ) {
                        t_local.stop;
                        t_local.stop;
                        if ( p_bool ) {
                        if ( p_bool ) {
                            setverdict ( pass, self, "*** f_receiveDiameterMsg: expected Diameter message received***");
                            setverdict ( pass, self, "*** f_receiveDiameterMsg: expected Diameter message received***");
@@ -2625,7 +2625,7 @@ module AtsImsIot_Functions {
                            break;
                            break;
                        }
                        }
                    }
                    }
 		           	[]	rxPort.receive {
                    []	diameterPort.receive {
                        t_local.start;
                        t_local.start;
                    }
                    }
                }
                }
@@ -2781,7 +2781,8 @@ module AtsImsIot_Functions {
        
        
	}// end group
	}// end group
 	
 	
 	function f_setInterfaceNameOnComponent(charstring p_name) runs on ImsInterfaceMonitor{
 	//function f_setInterfaceNameOnComponent(charstring p_name) runs on ImsInterfaceMonitor{
	function f_setInterfaceNameOnComponent(charstring p_name) runs on InterfaceMonitor{
 		vc_interfaceName := p_name;
 		vc_interfaceName := p_name;
 	}
 	}
 	
 	
Loading