Commit e53eccd7 authored by garciay's avatar garciay
Browse files

Finalise TCs

parent c9e3b9b0
Loading
Loading
Loading
Loading
+590 −223

File changed.

Preview size limit exceeded, changes collapsed.

+31 −20
Original line number Diff line number Diff line
@@ -16,39 +16,39 @@ module Ats6RD_TestControl {
             * @desc Check that IUT sends a DHCPv4 Request to the DHCPv4 Server after initialization
             * @reference ETSI TS 101 569-1 Clause 6.8.9.3 Feature: 6RD Configuration
             */
            execute(TC_6RD_CPE_GWPA_BV_001());
            execute(TC_6RD_CPE_GWPA_BV_01());
            
            /**
             * @desc Check that the IUT supports the functionality of 6RD encapsulation
             * @reference ETSI TS 101 569-1 Clause 6.8.9.3 Feature: NAT
             */
            execute(TC_6RD_CPE_BF_BV_001());
            execute(TC_6RD_CPE_BF_BV_01());
            
            /**
             * @desc Check that the IUT fragments an HTML IPv6 packet upstream
             * @reference ETSI TS 101 569-1 Clause 6.8.9.10 Feature: Fragmentation & Buffering
             */
            execute(TC_6RD_CPE_PF_BV_001());
            execute(TC_6RD_CPE_PF_BV_01());
            
            /**
             * @desc Check that the IUT reassembles an HTML IPv6 payload from the IPv4 packet downstream
             * @reference ETSI TS 101 569-1 Clause 6.8.7.21 Feature: Fragmentation & Buffering
             * @reference RFC 5969 Clause 9.1; RFC 4213 Clause 3.2
             */
            execute(TC_6RD_CPE_PF_BV_002());
            execute(TC_6RD_CPE_PF_BV_02());
            
            /**
             * @desc Check that the IUT functions with MSS clamping upstream
             * @reference ETSI TS 101 569-1 Clause 6.8.7.20 Feature: MSS Clamping
             * @reference RFC 4459
             */
            execute(TC_6RD_CPE_MSSC_BV_001());
            execute(TC_6RD_CPE_MSSC_BV_01());
            
            /**
             * @desc Check that the IUT functions correctly with tunnel identifiers
             * @reference ETSI TS 101 569-1 Clause 6.8.7.1 Feature: Tunnel Identifiers/Client-Customer ID
             */
            execute(TC_6RD_CPE_TI_BV_001());
            execute(TC_6RD_CPE_TI_BV_01());
            
        }
        
@@ -59,7 +59,7 @@ module Ats6RD_TestControl {
             * @reference ETSI TS 101 569-1 Clause 6.8.7.5 Feature: Softwire Initialisation Dynamic Tunnels 
             * @reference RFC 5969
             */
            execute(TC_6RD_BR_BF_BV_001());
            execute(TC_6RD_BR_BF_BV_01());
            
            if (PICS_PORT_RANGE) {
                
@@ -68,7 +68,7 @@ module Ats6RD_TestControl {
                 * @reference ETSI TS 101 569-1 Clause 6.8.7.5 Feature: Softwire Initialisation Dynamic Tunnels
                 * @reference RFC 5969
                 */
                execute(TC_6RD_BR_SC_BV_001());
                execute(TC_6RD_BR_SC_BV_01());
                
            }
            
@@ -78,7 +78,9 @@ module Ats6RD_TestControl {
             * @reference RFC 5969 Clause 9
             * @reference RFC 4213 Clause 3.5
             */
            execute(TC_6RD_BR_PF_BV_001());
            execute(TC_6RD_BR_PF_BV_01());
            
            if (PICS_ICMP_ECHO_REQUEST) {
                
                /**
                 * @desc Check that the IUT fragments an HTML IPv6 packet upstream
@@ -86,14 +88,23 @@ module Ats6RD_TestControl {
                 * @reference RFC 5969 Clause 9
                 * @reference RFC 4213 Clause 3.2
                 */
            execute(TC_6RD_BR_PF_BV_002());
                execute(TC_6RD_BR_PF_BV_02());
                
            }
            
            /**
             * @desc Check that the IUT functions with MSS clamping downstream
             * @reference ETSI TS 101 569-1 Clause 6.8.7.20 Feature: MSS Clamping
             * @reference RFC 4459
             */
            execute(TC_6RD_BR_MSSC_BV_01());
            
            /**
             * @desc Check that the IUT TCP_time_wait timer expires when required
             * @reference ETSI TS 101 569-1 Clause 6.8.7.3 6RD Timers
             * @reference RFC 5969 Clause 8
             */
            execute(TC_6RD_BR_NT_BV_001());
            execute(TC_6RD_BR_NT_BV_01());
            
            /**
             * @desc Check that the IUT supports Anycast GW addressing
@@ -101,28 +112,28 @@ module Ats6RD_TestControl {
             * @reference RFC 5969 Clause 7.2
             * @reference RFC 4291 
             */
            execute(TC_6RD_BR_AA_BV_001());
            execute(TC_6RD_BR_AA_BV_01());
            
            /**
             * @desc Check that the IUT supports BR GW address withdrawal on cache failure
             * @reference ETSI TS 101 569-1 Clause 6.8.7.15 Feature: BR Address Withdrawal
             * @reference RFC 4271 
             */
            execute(TC_6RD_BR_AW_BV_001());
            execute(TC_6RD_BR_AW_BV_01());
            
            /**
             * @desc Check that the IUT supports BR GW address withdrawal on route failure
             * @reference ETSI TS 101 569-1 Clause 6.8.7.15 Feature: BR Address Withdrawal
             * @reference RFC 4271 
             */
            execute(TC_6RD_BR_AW_BV_002());
            execute(TC_6RD_BR_AW_BV_02());
            
            /**
             * @desc Check that the IUT supports BR GW address withdrawal on hardware failure
             * @reference ETSI TS 101 569-1 Clause 6.8.7.15 Feature: BR Address Withdrawal
             * @reference RFC 4271 
             */
            execute(TC_6RD_BR_AW_BV_001());
            execute(TC_6RD_BR_AW_BV_01());
            
            if (PICS_RT_GRT_UPSTREAM_VRF_UPSTREAM) {
                
@@ -130,7 +141,7 @@ module Ats6RD_TestControl {
                 * @desc Check that the IUT supports forwarding from GRT TO VRF
                 * @reference ETSI TS 101 569-1 Clause 6.8.2 BR Feature Summary
                 */
                execute(TC_6RD_BR_AW_BV_002());
                execute(TC_6RD_BR_AW_BV_02());
                
            }
            
+14 −4
Original line number Diff line number Diff line
@@ -32,6 +32,7 @@ module AtsDSLite_Functions {
    // DSLite
    import from AtsDSLite_TypesAndValues all;
    import from AtsDSLite_Interfaces all;
    import from AtsDSLite_Pixits all;
    
    group initialiseFunctions {
        
@@ -77,13 +78,13 @@ module AtsDSLite_Functions {
         * @verdict Unchanged
         * @see AFTRComponent
         */
        function f_preamble_aftr() runs on AFTRComponent system TestAdapter {
        function f_preamble_aftr(in Ipv4Address p_ip4Address) runs on AFTRComponent system TestAdapter {
            // Connect synchronisation ports
            f_connect4SelfOrClientSync();
            
            // Map ports
            map(self:ipPort, system:ipPort);
            map(self:ipv4Port, system:ipv4Port);
            map(self:ipv4Port, system:ipv4Port) param (p_ip4Address);
            map(self:utPort, system:utPort);
            
            activate(a_default_aftr());
@@ -95,13 +96,13 @@ module AtsDSLite_Functions {
         * @verdict Unchanged
         * @see HostComponent
         */
        function f_preamble_host() runs on HostComponent system TestAdapter {
        function f_preamble_host(in Ipv4Address p_ip4Address) runs on HostComponent system TestAdapter {
            // Connect synchronisation ports
            f_connect4SelfOrClientSync();
            
            // Map ports
            map(self:ipPort, system:ipPort);
            map(self:ipv4Port, system:ipv4Port);
            map(self:ipv4Port, system:ipv4Port) param (p_ip4Address);
            map(self:utPort, system:utPort);
            
            activate(a_default_host());
@@ -454,4 +455,13 @@ module AtsDSLite_Functions {
        
    } // End of group auxiliary
    
    group getFunctions {
        
        function f_getTcpTimeWait()
        return float {
            return PX_TCP_TIME_WAIT;
        } // End of function f_getTcpTimeWait
        
    } // End of group getFunctions
    
} // End of module AtsDSLite_Functions
+2 −0
Original line number Diff line number Diff line
@@ -46,6 +46,8 @@ module AtsDSLite_Interfaces {
         * @member vc_dnsComponent
         */
        type component DSLiteComponent extends UtComponent, LibIpv6Node {
            /** DHCPv6 port for DHCPv6Msg message exchanges */
            port DHCPv6Port dhcpv6Port;
            /** AFTR component reference */
            var AFTRComponent vc_aftrComponent := null;
            /** Host component reference */
+30 −2
Original line number Diff line number Diff line
@@ -6,10 +6,10 @@
module AtsDSLite_Pixits {
    
    // LibCommon
    import from LibCommon_DataStrings {const c_16ZeroBytes;}
    import from LibCommon_DataStrings all;
    
    // LibIPv6
    import from LibIpv6_CommonRfcs_TypesAndValues {type Ipv4Address, Ipv6Address;}
    import from LibIpv6_CommonRfcs_TypesAndValues all;
    
    // DSLite
    import from AtsDSLite_TypesAndValues all;
@@ -17,16 +17,31 @@ module AtsDSLite_Pixits {
    // AtsCommon
    import from AtsCommon_TypesAndValues all;
    
    /**
     * @desc Indicates the IPv4 address of the B4 equipment
     */
    modulepar Ipv4Address PX_AFTR_B4_IPv4ADDRESS := c_4ZeroBytes;
    
    /**
     * @desc Indicates the IPv6 address of the B4 equipment
     */
    modulepar Ipv6Address PX_AFTR_B4_ADDRESS := c_16ZeroBytes;
    
    /**
     * @desc Indicates IPv6 address of another B4 equipment
     */
    modulepar Ipv6Address PX_AFTR_B4_ADDRESS_OTHER := c_16ZeroBytes;
    
    /**
     * @desc Indicates the IPv6 address of the AFTR equipment
     */
    modulepar Ipv6Address PX_AFTR_GW_ADDRESS := c_16ZeroBytes;
    
    /**
     * @desc Indicates the IPv4 WEB server address
     */
    modulepar Ipv4Address PX_WEB_SERVER_IPv4 := c_4ZeroBytes;
    
    /**
     * @desc Defines a list of IPv4 host services
     * @see TC_DSLITE_B4_BF_BV_001
@@ -106,8 +121,21 @@ module AtsDSLite_Pixits {
    } // End of modulepar PX_HOST_V4_LIST_FTP

    
    /**
     * @desc The MSS value.
     */
    modulepar integer PX_DS_MSS_SIZE := 1500;
    
    /**
     * @desc The DS-Tunnel-MTU value.
     */
    modulepar integer PX_DS_MTU := 1500;
    
    /**
     * @desc The IPv4 address of an FTP server.
     */
    modulepar Ipv4Address PX_FTP_SERVER_IPv4 := '00000000'O;
    
    modulepar float PX_TCP_TIME_WAIT := 15.0;
    
} // End of module AtsDSLite_Pixits
 No newline at end of file
Loading