Commit 64e2366e authored by tepelmann's avatar tepelmann
Browse files

Added PICS and test control.

Aligned naming of test cases.
Minor changes.
parent e53eccd7
Loading
Loading
Loading
Loading
+40 −0
Original line number Diff line number Diff line
@@ -10,4 +10,44 @@ module Ats464XLat_Pics {
     */
    modulepar boolean PICS_ANYCAST_GATEWAYADDRESS_CONFIGURED := true;
    
    /**
     * @desc Does the IUT support SIP translation?
     */
    modulepar boolean PICS_SIP_TRANSLATION := false;
    
    /**
     * @desc Does the IUT support RTSP translation?
     */
    modulepar boolean PICS_RTSP_TRANSLATION := false;
    
    /**
     * @desc Does the IUT support PPTP translation?
     */
    modulepar boolean PICS_PPTP_TRANSLATION := false;
    
    /**
     * @desc Does the IUT support ICMP translation?
     */
    modulepar boolean PICS_ICMP_TRANSLATION := false;
    
    /**
     * @desc Does the IUT support GRT to VRF forwarding?
     */
    modulepar boolean PICS_RT_GRT_TO_VRF := false;
    
    /**
     * @desc Does the IUT support VRF to GRT forwarding?
     */
    modulepar boolean PICS_RT_VRF_TO_GRT := false;
    
    /**
     * @desc Does the IUT support redundancy?
     */
    modulepar boolean PICS_REDUNDANCY := false;
    
    /**
     * @desc Does the IUT support load-balancing?
     */
    modulepar boolean PICS_LOAD_BALANCING := false;
    
} // End of module Ats464XLat_Pics
 No newline at end of file
+246 −218

File changed.

Preview size limit exceeded, changes collapsed.

+147 −26
Original line number Diff line number Diff line
@@ -5,49 +5,170 @@
 */
module Ats464XLat_TestControl {
    
    // Ats464XLAT
    import from Ats464XLat_Pics all;
    import from Ats464XLat_TestCases all;
    
    control {
        
        // CLAT CPE
        execute(TC_464XLAT_CLATB4_BF_BV_001());
        // 5.1 CLAT CPE
        
        execute(TC_464XLAT_CLATB4_PF_BV_001());
        
        execute(TC_464XLAT_CLATB4_MSSC_BV_001());
        // 5.1.1 Basic Function
        /**
         * @desc Check that IUT sends a DHCPv6 Request to the DHCPv6 Server after initialization
         * @reference [TS:6.6.9.3] Feature: DHCP
         */
        execute(TC_464XLAT_CLATB4_BF_BV_01());
        
        // PLAT LSN
        execute(TC_464XLAT_PLATLSN_BF_BV_001());
        execute(TC_464XLAT_PLATLSN_BF_BV_002());
        // 5.1.2 Packet Fragmentation
        /**
         * @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_PLATLSN_NP_BV_001());
        // 5.1.3 MSS Clamping
        /**
         * @desc Check that the IUT functions with MSS clamping
         * @reference ETSI TS 101 569-1 Clause 6.6 464XLAT Technology Summary
         */
        execute(TC_464XLAT_CLATB4_MSSC_BV_01());
        
        execute(TC_464XLAT_PLATLSN_AW_BV_001());
        execute(TC_464XLAT_PLATLSN_AW_BV_002());
        execute(TC_464XLAT_PLATLSN_AW_BV_003());
        // 5.2 PLAT LSN
        
        execute(TC_464XLAT_PLATLSN_SPR_BV_001());
        // 5.2.1 Basic Functions
        /**
         * @desc Check that the IUT supports the functionality of PLAT 1:n NAT mapping with port translation
         * @reference ETSI TS 101 569-1 Clause 6.6 464XLAT Technology Summary
         */
        execute(TC_464XLAT_PLATLSN_BF_BV_01());
        /**
         * @desc Check that the IUT supports the functionality of PLAT 1:1 NAT mapping with port translation
         * @reference ETSI TS 101 569-1 Clause 6.6 464XLAT Technology Summary 
         */
        execute(TC_464XLAT_PLATLSN_BF_BV_02());
        
        execute(TC_464XLAT_PLATLSN_PF_BV_001());
        // 5.2.2 NAT pools
        /**
         * @desc Check that the IUT supports the functionality of multiple NAT pools per prefix
         * @reference ETSI TS 101 569-1 Clause 6.6.6.4 Port Block Allocation
         */
        execute(TC_464XLAT_PLATLSN_NP_BV_01());
        
        execute(TC_464XLAT_PLATLSN_MSSC_BV_001());
        // 5.2.3 Address Withdrawal
        /**
         * @desc Check that the IUT supports LSN GW address withdrawal on cache failure
         * @reference ETSI TS 101 569-1 Clause 6.6.6.12 PLAT Prefix Withdrawal 
         */
        execute(TC_464XLAT_PLATLSN_AW_BV_01());
        /**
         * @desc Check that the IUT supports LSN GW address withdrawal on route failure
         * @reference ETSI TS 101 569-1 Clause 6.6.6.12 PLAT Prefix Withdrawal 
         */
        execute(TC_464XLAT_PLATLSN_AW_BV_02());
        /**
         * @desc Check that the IUT supports LSN GW address withdrawal on hardware failure
         * @reference ETSI TS 101 569-1 Clause 6.6.6.12 PLAT Prefix Withdrawal 
         */
        execute(TC_464XLAT_PLATLSN_AW_BV_03());
        
        execute(TC_464XLAT_PLATLSN_NT_BV_001());
        // 5.2.4 Static Port & IP Reservation
        /**
         * @desc Check that the IUT functions with static port reservation per prefix downstream
         * @reference ETSI TS 101 569-1 Clause 6.6.6.19 Static Port Forwards
         */
        execute(TC_464XLAT_PLATLSN_SPR_BV_01());
        
        execute(TC_464XLAT_PLATLSN_ALG_BV_001());
        execute(TC_464XLAT_PLATLSN_ALG_BV_002());
        execute(TC_464XLAT_PLATLSN_ALG_BV_003());
        execute(TC_464XLAT_PLATLSN_ALG_BV_004());
        execute(TC_464XLAT_PLATLSN_ALG_BV_005());
        // 5.2.5 Packet Fragmentation
        /**
         * @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_LSN_RT_BV_001());
        execute(TC_464XLAT_PLATLSN_LSN_RT_BV_002());
        // 5.2.6 MSS Clamping
        /**
         * @desc Check that the IUT functions with MSS clamping
         * @reference ETSI TS 101 569-1 Clause 6.6 464XLAT Technology Summary
         */
        execute(TC_464XLAT_PLATLSN_MSSC_BV_01());
        
        execute(TC_464XLAT_PLATLSN_AA_BV_001());
        // 5.2.7 NAT Timers
        /**
         * @desc Check that the IUT TCP_time_wait timer expires when required
         * @reference ETSI TS 101 569-1 Clause 6.6.6.2 PLAT Timers
         */
        execute(TC_464XLAT_PLATLSN_NT_BV_01());
        
        execute(TC_464XLAT_PLATLSN_RED_BV_001());
        // 5.2.8 Application Layer Gateway
        /**
         * @desc Check that the IUT supports FTP forwarding through an ALG
         * @reference ETSI TS 101 569-1 Clause 6.6 464XLAT Technology Summary
         */
        execute(TC_464XLAT_PLATLSN_ALG_BV_01());
        if (PICS_SIP_TRANSLATION) { 
            /**
             * @desc Check that the IUT supports SIP forwarding through an ALG
             * @reference ETSI TS 101 569-1 Clause 6.6 464XLAT Technology Summary
             */
            execute(TC_464XLAT_PLATLSN_ALG_BV_02());
        }
        if (PICS_RTSP_TRANSLATION) { 
            /**
             * @desc Check that the IUT supports RTSP forwarding through an ALG
             * @reference ETSI TS 101 569-1 Clause 6.6 464XLAT Technology Summary
             */
            execute(TC_464XLAT_PLATLSN_ALG_BV_03());
        }
        if (PICS_PPTP_TRANSLATION) { 
            /**
             * @desc Check that the IUT supports PPTP forwarding through an ALG
             * @reference ETSI TS 101 569-1 Clause 6.6 464XLAT Technology Summary
             */
            execute(TC_464XLAT_PLATLSN_ALG_BV_04());
        }
        if (PICS_ICMP_TRANSLATION) { 
            /**
             * @desc Check that the IUT supports ICMP translation
             * @reference ETSI TS 101 569-1 Clause 6.4.1 LSN Feature Summary
             */
            execute(TC_464XLAT_PLATLSN_ALG_BV_05());
        }
        
        // 5.2.9 Routing Tables
        if (PICS_RT_GRT_TO_VRF) {
            /**
             * @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());
        }
        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());
        }
        
        // 5.2.10 Anycast Addressing
        if (PICS_ANYCAST_GATEWAYADDRESS_CONFIGURED) {
            /**
             * @desc Check that the IUT supports Anycast GW addressing
             * @reference ETSI TS 101 569-1 Clause 6.6 464XLAT Technology Summary 
             */
            execute(TC_464XLAT_PLATLSN_AA_BV_01());
        }
        
        // 5.2.11 Redundancy
        if (PICS_REDUNDANCY) {
            /**
             * @desc Check that the IUT supports Redundant NPUs
             * @reference ETSI TS 101 569-1 Clause 6.6 464XLAT Technology Summary 
             */
            execute(TC_464XLAT_PLATLSN_RED_BV_01());
        }
        
    } // End of 'control' statement
    
} // End of module Ats464XLat_TestControl
 No newline at end of file
        
 No newline at end of file
+1 −1
Original line number Diff line number Diff line
@@ -150,7 +150,7 @@ module AtsCommon_Templates {
        template (present) Ipv6Packet mdw_generalIpv6_extHdr_dst_ipv4Payload(
                                                                             in UInt8 p_nextHeader,
                                                                             in template (present) Ipv6Address p_dst,
                                                                             in template (present) ExtensionHeaderList p_extHdrList,
                                                                             in template           ExtensionHeaderList p_extHdrList,
                                                                             in template (present) Ipv4Packet p_ipv4Payload
        ) modifies mw_generalIpv6_extHdr_dst := {
            ipv6Payload := {