Commit 58f975a1 authored by reinaortega's avatar reinaortega
Browse files

TC names alignment + some minor changes

parent 64e2366e
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -168,7 +168,7 @@ module Ats464XLat_Functions {
            f_connect4SelfOrClientSync();
            
            // Map ports
            map(self:ipPort, system:ipPort);
            map(self:ipPort, system:ipv6Port);
            map(self:utPort, system:utPort);
            
            activate(a_default_host());
+26 −26
Original line number Diff line number Diff line
@@ -222,7 +222,7 @@ module Ats464XLat_TestCases {
                 * @reference ETSI TS 101 569-1 Clause 6.6 464XLAT Technology Summary
                 * @see     ETSI TS xxx xxx-x V0.0.1.5a-draft (2013-07) TP/464XLAT/CLAT-B4/PF/VB/01
                 */
                testcase TC_464XLAT_CLATB4_PF_BV_01() runs on FourSixFourXLatComponent system TestAdapter {
                testcase TC_464XLAT_CLATB4_FRAG_BV_01() runs on FourSixFourXLatComponent system TestAdapter {
                    
                    // Local variables
                    var Ipv4Packet v_ipv4Packet;                                /** IPv4 packets */
@@ -255,8 +255,8 @@ module Ats464XLat_TestCases {
                        v_ipv4Packet
                    );
                    
                    vc_lsnComponents[v_index].start(f_TC_464XLAT_CLATB4_PF_BV_01_b4(v_ipv4Packet));
                    vc_hostComponents[v_index].start(f_TC_464XLAT_CLATB4_PF_BV_01_host(v_ipv4Packet, PX_464XLAT_MAPPING_TABLE_1_TO_N.portInfos[v_index].ip6Address));
                    vc_lsnComponents[v_index].start(f_TC_464XLAT_CLATB4_FRAG_BV_01_b4(v_ipv4Packet));
                    vc_hostComponents[v_index].start(f_TC_464XLAT_CLATB4_FRAG_BV_01_host(v_ipv4Packet, PX_464XLAT_MAPPING_TABLE_1_TO_N.portInfos[v_index].ip6Address));
                    
                    f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone });
                    
@@ -271,7 +271,7 @@ module Ats464XLat_TestCases {
                     * @desc Simulates LSN side
                     * @verdict 'pass' on success, 'inconc' on 'timeout', fail otherwise
                     */
                    function f_TC_464XLAT_CLATB4_PF_BV_01_b4(Ipv4Packet p_ipv4Packet) runs on LSNComponent {
                    function f_TC_464XLAT_CLATB4_FRAG_BV_01_b4(Ipv4Packet p_ipv4Packet) runs on LSNComponent {
                        
                        // Local variables
                         
@@ -296,7 +296,7 @@ module Ats464XLat_TestCases {
                     * @desc Simulates client side
                     * @verdict 'pass' on success, 'inconc' on 'timeout', fail otherwise
                     */
                    function f_TC_464XLAT_CLATB4_PF_BV_01_host(Ipv4Packet p_ipv4Packet, Ipv6Address p_ipv6Address) runs on HostComponent {
                    function f_TC_464XLAT_CLATB4_FRAG_BV_01_host(Ipv4Packet p_ipv4Packet, Ipv6Address p_ipv6Address) runs on HostComponent {
                        
                        // Local variables
                        var boolean v_firstReceived := false;
@@ -1678,7 +1678,7 @@ module Ats464XLat_TestCases {
                 * @reference ETSI TS 101 569-1 Clause 6.6 464XLAT Technology Summary
                 * @see     ETSI TS xxx xxx-x V0.0.1.5a-draft (2013-07) TP/464XLAT/PLAT-LSN/PF/VB/01
                 */
                testcase TC_464XLAT_PLATLSN_PF_BV_01() runs on FourSixFourXLatComponent system TestAdapter {
                testcase TC_464XLAT_PLATLSN_FRAG_BV_01() runs on FourSixFourXLatComponent system TestAdapter {
                    
                    // Local variables
                    var Ipv4Packet v_ipv4Packet;                                /** IPv4 packets */
@@ -1710,8 +1710,8 @@ module Ats464XLat_TestCases {
                        v_ipv4Packet
                    );
                    
                    vc_lsnComponents[v_index].start(f_TC_464XLAT_PLATLSN_PF_BV_01_lsn(v_ipv4Packet));
                    vc_hostComponents[v_index].start(f_TC_464XLAT_PLATLSN_PF_BV_01_host(v_ipv4Packet, PX_464XLAT_MAPPING_TABLE_1_TO_N.portInfos[v_index].ip6Address));
                    vc_lsnComponents[v_index].start(f_TC_464XLAT_PLATLSN_FRAG_BV_01_lsn(v_ipv4Packet));
                    vc_hostComponents[v_index].start(f_TC_464XLAT_PLATLSN_FRAG_BV_01_host(v_ipv4Packet, PX_464XLAT_MAPPING_TABLE_1_TO_N.portInfos[v_index].ip6Address));
                    
                    f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone });
                    
@@ -1726,7 +1726,7 @@ module Ats464XLat_TestCases {
                     * @desc Simulates LSN side
                     * @verdict 'pass' on success, 'inconc' on 'timeout', fail otherwise
                     */
                    function f_TC_464XLAT_PLATLSN_PF_BV_01_lsn(Ipv4Packet p_ipv4Packet) runs on LSNComponent {
                    function f_TC_464XLAT_PLATLSN_FRAG_BV_01_lsn(Ipv4Packet p_ipv4Packet) runs on LSNComponent {
                        
                        // Local variables
                         
@@ -1751,7 +1751,7 @@ module Ats464XLat_TestCases {
                     * @desc Simulates client side
                     * @verdict 'pass' on success, 'inconc' on 'timeout', fail otherwise
                     */
                    function f_TC_464XLAT_PLATLSN_PF_BV_01_host(Ipv4Packet p_ipv4Packet, Ipv6Address p_ipv6Address) runs on HostComponent {
                    function f_TC_464XLAT_PLATLSN_FRAG_BV_01_host(Ipv4Packet p_ipv4Packet, Ipv6Address p_ipv6Address) runs on HostComponent {
                        
                        // Local variables
                        var boolean v_firstReceived := false;
@@ -3040,7 +3040,7 @@ module Ats464XLat_TestCases {
                 * @reference ETSI TS 101 569-1 Clause 6.6 464XLAT Technology Summary
                 * @see     ETSI TS xxx xxx-x V0.0.1.5a-draft (2013-07) TP/464XLAT/PLAT-LSN/LSN/RT/VB/01
                 */
                testcase TC_464XLAT_PLATLSN_LSN_RT_BV_01() runs on FourSixFourXLatComponent system TestAdapter {
                testcase TC_464XLAT_PLATLSN_RT_BV_01() runs on FourSixFourXLatComponent system TestAdapter {
                    
                    // Local variables
                    var UInt v_index := 0;
@@ -3065,7 +3065,7 @@ module Ats464XLat_TestCases {
                    // Test Body
                    // Start all components
                    
                    vc_lsnComponents[v_index].start(f_TC_464XLAT_PLATLSN_LSN_RT_BV_01_lsn(v_noOfRequests));
                    vc_lsnComponents[v_index].start(f_TC_464XLAT_PLATLSN_RT_BV_01_lsn(v_noOfRequests));
                    v_ipv4Packet := m_ipv4Packet_dummy(
                                PX_464XLAT_MAPPING_TABLE_1_TO_N.ip4Address,
                                PX_IPV4_DESTINATION_INFORMATION.iutAddress,
@@ -3082,14 +3082,14 @@ module Ats464XLat_TestCases {
                      PX_464XLAT_PREFIX & c_4ZeroBytes & PX_464XLAT_MAPPING_TABLE_1_TO_N.ip4Address,
                      v_ipv4Packet
                    );
                    vc_hostComponents[v_index].start(f_TC_464XLAT_PLATLSN_LSN_RT_BV_01_host(v_ipv6Packet, v_noOfRequests));
                    vc_hostComponents[v_index].start(f_TC_464XLAT_PLATLSN_RT_BV_01_host(v_ipv6Packet, v_noOfRequests));
                    
                    f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone });
                    
                    // Postamble
                    f_down();
                    
                } // End of testcase TC_464XLAT_PLATLSN_LSN_RT_BV_01
                } // End of testcase TC_464XLAT_PLATLSN_RT_BV_01
                
                group f_TC_464XLAT_PLATLSN_LSN_RT_BV_01 {
                    
@@ -3097,7 +3097,7 @@ module Ats464XLat_TestCases {
                     * @desc Simulates LSN side
                     * @verdict 'pass' on success, 'inconc' on 'timeout', fail otherwise
                     */
                    function f_TC_464XLAT_PLATLSN_LSN_RT_BV_01_lsn(UInt p_noOfRequests) runs on LSNComponent {
                    function f_TC_464XLAT_PLATLSN_RT_BV_01_lsn(UInt p_noOfRequests) runs on LSNComponent {
                        
                        // Local variables
                        var FncRetCode v_result := e_success;
@@ -3134,13 +3134,13 @@ module Ats464XLat_TestCases {
                        f_selfOrClientSyncAndVerdict(c_poDone, e_success);
                        log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                        
                    } // End of function f_TC_464XLAT_PLATLSN_LSN_RT_BV_01_lsn
                    } // End of function f_TC_464XLAT_PLATLSN_RT_BV_01_lsn
                    
                    /**
                     * @desc Simulates client side
                     * @verdict 'pass' on success, 'inconc' on 'timeout', fail otherwise
                     */
                    function f_TC_464XLAT_PLATLSN_LSN_RT_BV_01_host(Ipv6Packet p_ipv6Packet, UInt p_noOfRequests) runs on HostComponent {
                    function f_TC_464XLAT_PLATLSN_RT_BV_01_host(Ipv6Packet p_ipv6Packet, UInt p_noOfRequests) runs on HostComponent {
                        
                        // Local variables
                        var FncRetCode v_result := e_success;
@@ -3163,9 +3163,9 @@ module Ats464XLat_TestCases {
                        f_selfOrClientSyncAndVerdict(c_poDone, e_success);
                        log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                        
                    } // End of function f_TC_464XLAT_PLATLSN_LSN_RT_BV_01_host
                    } // End of function f_TC_464XLAT_PLATLSN_RT_BV_01_host
                    
                } // End of group f_TC_464XLAT_PLATLSN_LSN_RT_BV_01
                } // End of group f_TC_464XLAT_PLATLSN_RT_BV_01
                
                /**
                 * @desc Check that the IUT supports forwarding from VRF to GRT
@@ -3199,7 +3199,7 @@ module Ats464XLat_TestCases {
                 * @reference ETSI TS 101 569-1 Clause 6.6 464XLAT Technology Summary
                 * @see     ETSI TS xxx xxx-x V0.0.1.5a-draft (2013-07) TP/464XLAT/PLAT-LSN/LSN/RT/VB/02
                 */
                testcase TC_464XLAT_PLATLSN_LSN_RT_BV_02() runs on FourSixFourXLatComponent system TestAdapter {
                testcase TC_464XLAT_PLATLSN_RT_BV_02() runs on FourSixFourXLatComponent system TestAdapter {
                    
                    // Local variables
                    var UInt v_index := 0;
@@ -3224,7 +3224,7 @@ module Ats464XLat_TestCases {
                    // Test Body
                    // Start all components
                    
                    vc_lsnComponents[v_index].start(f_TC_464XLAT_PLATLSN_LSN_RT_BV_01_lsn(v_noOfRequests));
                    vc_lsnComponents[v_index].start(f_TC_464XLAT_PLATLSN_RT_BV_01_lsn(v_noOfRequests));
                    v_ipv4Packet := m_ipv4Packet_dummy(
                                PX_464XLAT_MAPPING_TABLE_1_TO_N.ip4Address,
                                PX_IPV4_DESTINATION_INFORMATION.iutAddress,
@@ -3241,7 +3241,7 @@ module Ats464XLat_TestCases {
                      PX_464XLAT_PREFIX & c_4ZeroBytes & PX_464XLAT_MAPPING_TABLE_1_TO_N.ip4Address,
                      v_ipv4Packet
                    );
                    vc_hostComponents[v_index].start(f_TC_464XLAT_PLATLSN_LSN_RT_BV_01_host(v_ipv6Packet, v_noOfRequests));
                    vc_hostComponents[v_index].start(f_TC_464XLAT_PLATLSN_RT_BV_01_host(v_ipv6Packet, v_noOfRequests));
                    
                    f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone });
                    
@@ -3250,13 +3250,13 @@ module Ats464XLat_TestCases {
                    
                } // End of testcase TC_464XLAT_PLATLSN_LSN_RT_BV_02
                
                group f_TC_464XLAT_PLATLSN_LSN_RT_BV_02 {
                group f_TC_464XLAT_PLATLSN_RT_BV_02 {
                    
                    /**
                     * @desc Simulates LSN side
                     * @verdict 'pass' on success, 'inconc' on 'timeout', fail otherwise
                     */
                    function f_TC_464XLAT_PLATLSN_LSN_RT_BV_02_lsn(UInt p_noOfRequests) runs on LSNComponent {
                    function f_TC_464XLAT_PLATLSN_RT_BV_02_lsn(UInt p_noOfRequests) runs on LSNComponent {
                        
                        // Local variables
                        var FncRetCode v_result := e_success;
@@ -3293,13 +3293,13 @@ module Ats464XLat_TestCases {
                        f_selfOrClientSyncAndVerdict(c_poDone, e_success);
                        log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                        
                    } // End of function f_TC_464XLAT_PLATLSN_LSN_RT_BV_02_lsn
                    } // End of function f_TC_464XLAT_PLATLSN_RT_BV_02_lsn
                    
                    /**
                     * @desc Simulates client side
                     * @verdict 'pass' on success, 'inconc' on 'timeout', fail otherwise
                     */
                    function f_TC_464XLAT_PLATLSN_LSN_RT_BV_02_host(Ipv6Packet p_ipv6Packet, UInt p_noOfRequests) runs on HostComponent {
                    function f_TC_464XLAT_PLATLSN_RT_BV_02_host(Ipv6Packet p_ipv6Packet, UInt p_noOfRequests) runs on HostComponent {
                        
                        // Local variables
                        var FncRetCode v_result := e_success;
+4 −4
Original line number Diff line number Diff line
@@ -25,7 +25,7 @@ module Ats464XLat_TestControl {
         * @desc Check that the IUT fragments an HTML IPv4 packet when DF bit is not set
         * @reference ETSI TS 101 569-1 Clause 6.6 464XLAT Technology Summary
         */
        execute(TC_464XLAT_CLATB4_PF_BV_01());
        execute(TC_464XLAT_CLATB4_FRAG_BV_01());
        
        // 5.1.3 MSS Clamping
        /**
@@ -84,7 +84,7 @@ module Ats464XLat_TestControl {
         * @desc Check that the IUT fragments an HTML IPv4 packet downstream
         * @reference ETSI TS 101 569-1 Clause 6.6 464XLAT Technology Summary
         */
        execute(TC_464XLAT_PLATLSN_PF_BV_01());
        execute(TC_464XLAT_PLATLSN_FRAG_BV_01());
        
        // 5.2.6 MSS Clamping
        /**
@@ -141,14 +141,14 @@ module Ats464XLat_TestControl {
             * @desc Check that the IUT supports forwarding from GRT to VRF
             * @reference ETSI TS 101 569-1 Clause 6.6 464XLAT Technology Summary
             */
            execute(TC_464XLAT_PLATLSN_LSN_RT_BV_01());
            execute(TC_464XLAT_PLATLSN_RT_BV_01());
        }
        if (PICS_RT_VRF_TO_GRT) {
            /**
             * @desc Check that the IUT supports forwarding from VRF to GRT
             * @reference ETSI TS 101 569-1 Clause 6.6 464XLAT Technology Summary
             */
            execute(TC_464XLAT_PLATLSN_LSN_RT_BV_02());
            execute(TC_464XLAT_PLATLSN_RT_BV_02());
        }
        
        // 5.2.10 Anycast Addressing
+2 −2
Original line number Diff line number Diff line
@@ -94,7 +94,7 @@ module Ats6RD_Functions {
            f_connect4SelfOrClientSync();
            
            // Map ports
            map(self:ipPort, system:ipPort);
            map(self:ipPort, system:ipv6Port);
            map(self:ipv4Port, system:ipv4Port);
            map(self:utPort, system:utPort);
            
@@ -112,7 +112,7 @@ module Ats6RD_Functions {
            f_connect4SelfOrClientSync();
            
            // Map ports
            map(self:ipPort, system:ipPort);
            map(self:ipPort, system:ipv6Port);
            map(self:ipv4Port, system:ipv4Port);
            map(self:utPort, system:utPort);
            
+53 −93

File changed.

Preview size limit exceeded, changes collapsed.

Loading