Add templates for 464XLat ATS

/*

 *  @author     STF 440

 *  @version    $Id$

 *  @desc       This module defines the ATS interface

 */

module Ats464XLat_TestCases {

    // LibCommon

    // Ats464XLat

    import from AtsCommon_DNS_CommonRfcs_TypesAndValues {

        type DnsMsg

    };

    import from Ats464XLat_Functions all;

    import from Ats464XLat_Templates all;

    import from Ats464XLat_Interfaces all;

    // AtsCommon

    import from AtsCommon_TypesAndValues all;

    /**

     * @desc CLAT CPE

     * @reference ETSI TS xxx xxx-x V0.0.1 (2013-07) Clause 5.1

     */

    group clatCpe {

        /**

         * @desc Basic Function

         * @reference ETSI TS xxx xxx-x V0.0.1 (2013-07) Clause 5.1.1

         */

        group basicFunction {

            group validBehaviour {

                /**

                 * @desc Check that IUT sends a DHCPv6 Request to the DHCPv6 Server after initialization

                 * @verdict pass on success, inconc on timeout, fail otherwise

                 * <pre>        

                 * PICS Selection: none 

                 * Initial conditions:

                 *  with {

                 *      the IUT is properly provisioned

                 *      the interfaces are connected & functional and, 

                 *      the six clients being configured with two separate prefixes, one prefix for three clients

                 *  }

                 * Expected behaviour:

                 *  ensure that {

                 *      when {

                 *          the IUT receives multiple IPv6 packets 

                 *              containing IPv6 transport header

                 *                  containing source address

                 *                      indicating client IPv6 address

                 *                  containing destination address

                 *                      indicating IUT GW IPv6 prefix first 64 bits

                 *                      indicating IUT IPv4 embedded into the IPv6 address in last 64 bits from multiple client devices

                 *      }

                 *      then {

                 *          the IUT does  a 1:n NAT mapping for multiple public IPv6 client addresses sourced and,

                 *          the IUT forwards packets to the destination with some of the same and some different public IPv4 source address matching the NAT pools dependent on the prefix assigned

                 *      }

                 *  }

                 * </pre>

                 * 

                 * @version 0.0.1

                 * @reference [TS:6.6.9.3] Feature: DHCP

                 * @see     ETSI TS xxx xxx-x V0.0.1.5a-draft (2014-01) TP/464XLAT/CLAT-B4/BF/BV/01

                 */

                testcase TC_464XLAT_CLAT_B4_BF_BV_001() runs on FourSixFourXLatComponent system TestAdapter {

                    // Local variables

                    // Test control

                    // Test component configuration

                    // Test adapter configuration

                    // Start all components

                    // Test Body

                    // Clause 'when': 

                    action("the IUT goes online");

                    // Clause 'then': Nothing to do, refer to a_default

                    // Postamble

                } // End of testcase TC_464XLAT_CLAT_B4_BF_BV_001

                group f_TC_464XLAT_CLAT_B4_BF_BV_001 {

                } // End of group f_TC_464XLAT_CLAT_B4_BF_BV_001 

            } // End of group validBehaviour

            group invalidBehaviour {

            } // End of group invalidBehaviour

        } // End of group basicFunction 

    } // End of group clatCpe 

} // End of Ats464XLat_TestCases

 No newline at end of file