Commit 5aa74fd0 authored by garciay's avatar garciay
Browse files

Rename file extensions ttcn3 into ttcn

parent 92ed909c
Loading
Loading
Loading
Loading
+0 −119
Original line number Original line Diff line number Diff line
/*
 *  @author     STF 440
 *  @version    $Id:$
 *  @desc       This module defines the ATS interface
 */
module AtsDSLite_TestControl {
    
    import from AtsDSLite_Pics all;
    import from AtsDSLite_TestCases all;
    
    control {
        
        if (PICS_ROLE_IS_B4) {
            
            /**
             * @desc Check that IUT sends a DHCPv6 Request to the DHCPv6 Server after initialization
             * @reference RFC6334 [1] clause 3, 5
             */
            execute(TC_DSLITE_B4_GWA_BV_01());
            
            /**
             * @desc Check that IUT sends a DNS Query to the DNS Server 
             * @reference RFC6334 [1] clause 5
             */
            execute(TC_DSLITE_B4_GWA_BV_02());
            
            /**
             * @desc Check that IUT correctly adds the AFTR IPv6 address 
             * @reference RFC6334 [1] clause 5
             */
            execute(TC_DSLITE_B4_GWA_BV_03());
            
            /**
             * @desc Check that the IUT correctly encapsulates and forwards the IPv4 packets from multiple hosts
             * @reference RFC6334 [1] clause 5.2
             */
            execute(TC_DSLITE_B4_BF_BV_01());
            
            /**
             * @desc Check that the IUT fragments an HTML IPv4 packet when DF bit is not set
             * @reference RFC791 [1], RFC815 [2]
             */
            execute(TC_DSLITE_B4_FRAG_BV_01());
            
            /**
             * @desc Check that the IUT fragments an HTML IPv4 packet when DF bit is set
             * @reference RFC791 [1], RFC815 [2]
             */
            execute(TC_DSLITE_B4_FRAG_BV_02());
            
            /**
             * @desc Check that the IUT functions with MSS clamping
             * @reference ETSI TS 101 569-1 Clause 6.3.8.1.9 Feature: MSS clamping
             */
            execute(TC_DSLITE_B4_MSSC_BV_01());
            
        }
        
        if (PICS_ROLE_IS_AFTR) {
            
            /**
             * @desc Check that the IUT supports the functionality of DS-lite 1:1 NAT mapping
             * @reference RFC6333 [1] clause 6.2
             */
            execute(TC_DSLITE_AFTR_BF_BV_01());
            
            /**
             * @desc Check that the IUT supports the functionality of DS-lite 1:n NAT mapping and port translation
             * @reference RFC6333 [1] clause 6.2
             */
            execute(TC_DSLITE_AFTR_BF_BV_02());
            
            /**
             * @desc Check that the IUT TCP_time_wait timer expires when required
             * @reference ETSI TS 101 569-1 Clause 6.3.6.4 Feature: DS-Lite timers
             */
            execute(TC_DSLITE_AFTR_BF_TI_01());
            
            /**
             * @desc Check that the IUT supports FTP forwarding through an ALG
             * @reference RFC6384 [1] clause 5
             */
            execute(TC_DSLITE_AFTR_ALG_BV_01());
            
            /**
             * @desc Check that the IUT supports forwarding from GRT to VRF
             * @reference ETSI TS 101 569-1 Clause 6.3.1 DS-Lite Technology Feature Summary
             */
            execute(TC_DSLITE_AFTR_RT_BV_01());
            
            /**
             * @desc Check that the IUT supports forwarding from VRF to VRF
             * @reference ETSI TS 101 569-1 Clause 6.3.1 DS-Lite Technology Feature Summary
             */
            execute(TC_DSLITE_AFTR_RT_BV_02());
            
            /**
             * @desc Check that the IUT supports LSN GW address withdrawal on route failure
             * @reference ETSI TS 101 569-1 Clause 6.3.6.16 Feature: AFTR Address Withdrawal
             */
            execute(TC_DSLITE_AFTR_AW_BV_01());
            
            /**
             * @desc Check that the IUT supports LSN GW address withdrawal on cache failure
             * @reference ETSI TS 101 569-1 Clause 6.3.6.16 Feature: AFTR Address Withdrawal
             */
            execute(TC_DSLITE_AFTR_AW_BV_02());
            
            /**
             * @desc Check that the IUT fragments an HTML IPv4 packet downstream
             * @reference ETSI TS 101 569-1 Clause 6.3.6.22 Feature: DS-Lite Fragmentation and Buffering according to RFC 6333
             */
            execute(TC_DSLITE_AFTR_FRAG_BV_01());
            
        }
        
    } // End of 'control' statement
    
} // End of module AtsDSLite_TestControl