Loading ttcn/AtsDSlite/AtsDSLite_TestCases.ttcn3 +169 −4 Original line number Diff line number Diff line Loading @@ -650,7 +650,7 @@ module AtsDSLite_TestCases { } // End of group b4Sut /** * @desc B4 * @desc AFTR * @reference ETSI TS xxx xxx-x V0.0.1.5a-draft (2014-01) Clause 5.2 */ group aftrSut { Loading Loading @@ -731,6 +731,75 @@ module AtsDSLite_TestCases { } // End of group f_TC_DSLITE_AFTR_BF_BV_001 /** * @desc CCheck that the IUT supports the functionality of DS-lite 1:n NAT mapping and port translation * @verdict pass on success, inconc on timeout, fail otherwise * <pre> * PICS Selection: none * Initial conditions: * with { * the IUT being properly provisioned and, * the interfaces are connected & functional and, * the IUT being configured to allow 1:n across a single public IPv4 address * } * Expected behaviour: * ensure that { * when { * the IUT receives multiple IPv6 packets * containing IPv6 transport header * containing source address * indicating B4 IPv6 address * containing destination address * indicating IUT GW IPv6 address * containing IPv4 payload * containing source address * indicating a private IPv4 address * containing destination address * indicating a public IPv4 address * from multiple B4 devices * } * then { * the IUT does a 1:1 NAT mapping for each public IPv6 B4 address sourced and, * the IUT forwards packets to the destination with different IPv4 public addresses * } * } * </pre> * * @version 0.0.1 * @reference RFC6333 [1] clause 6.2 * @see ETSI TS xxx xxx-x V0.0.1.5a-draft (2014-01) TP/DSLITE/AFTR/BF/BV/002 */ testcase TC_DSLITE_AFTR_BF_BV_002() runs on DSLiteComponent system TestAdapter { // Local variables // Test control // Test component configuration // vc_dhcpv6Component := DHCPv6Component.create(c_COMP_DHCP); f_cf01Up_B4(); // Test adapter configuration // Start all components f_serverSyncNClientsAndStop(1, { c_prDone, c_tbDone, c_poDone }); // Test Body // Clause 'when': action("the IUT in its initial state"); // Clause 'then': Nothing to do, refer to a_default // Postamble f_cf01Down_B4(); } // End of testcase TC_DSLITE_AFTR_BF_BV_002 group f_TC_DSLITE_AFTR_BF_BV_002 { } // End of group f_TC_DSLITE_AFTR_BF_BV_002 } // End of group validBehaviour group invalidBehaviour { Loading @@ -739,6 +808,102 @@ module AtsDSLite_TestCases { } // End of group basicFunction /** * @desc Application Layer Gateway * @reference ETSI TS xxx xxx-x V0.0.1.5a-draft (2014-01) Clause 5.2.2 */ group applicationLayerGateway { group validBehaviour { /** * @desc Check that the IUT supports FTP forwarding through an ALG * @verdict pass on success, inconc on timeout, fail otherwise * <pre> * PICS Selection: none * Initial conditions: * with { * the IUT being properly provisioned and, * the interfaces are connected & functional and, * the IUT being configured with FTP ALG set to active and, * the FTP client being authenticated with the FTP server * } * Expected behaviour: * ensure that { * when { * the IUT receives an IPv6 packet * containing IPv4 packet as payload * containing source address * indicating a private IPv4 address * containing destination address * indicating a public IPv4 address * containing TCP payload * indicating port number 20 * } * then { * the IUT forwards the FTP packet to the FTP server * } * } * </pre> * * @version 0.0.1 * @reference RFC6384 [1] clause 5 * @see ETSI TS xxx xxx-x V0.0.1.5a-draft (2014-01) TP/DSLITE/AFTR/ALG/BV/001 */ testcase TC_DSLITE_AFTR_ALG_BV_001() runs on DSLiteComponent system TestAdapter { // Local variables // Test control // Test component configuration // vc_dhcpv6Component := DHCPv6Component.create(c_COMP_DHCP); f_cf01Up_B4(); // Test adapter configuration // Start all components f_serverSyncNClientsAndStop(1, { c_prDone, c_tbDone, c_poDone }); // Test Body // Clause 'when': action("the IUT in its initial state"); // Clause 'then': Nothing to do, refer to a_default // Postamble f_cf01Down_B4(); } // End of testcase TC_DSLITE_AFTR_BF_BV_001 group f_TC_DSLITE_AFTR_ALG_BV_001 { } // End of group f_TC_DSLITE_AFTR_ALG_BV_001 } // End of group validBehaviour group invalidBehaviour { } // End of group invalidBehaviour } // End of group applicationLayerGateway /** * @desc Routing tables * @reference ETSI TS xxx xxx-x V0.0.1.5a-draft (2014-01) Clause 5.2.3 */ group routingTables { group validBehaviour { } // End of group validBehaviour group invalidBehaviour { } // End of group invalidBehaviour } // End of group routingTables } // End of group aftrSut Loading Loading
ttcn/AtsDSlite/AtsDSLite_TestCases.ttcn3 +169 −4 Original line number Diff line number Diff line Loading @@ -650,7 +650,7 @@ module AtsDSLite_TestCases { } // End of group b4Sut /** * @desc B4 * @desc AFTR * @reference ETSI TS xxx xxx-x V0.0.1.5a-draft (2014-01) Clause 5.2 */ group aftrSut { Loading Loading @@ -731,6 +731,75 @@ module AtsDSLite_TestCases { } // End of group f_TC_DSLITE_AFTR_BF_BV_001 /** * @desc CCheck that the IUT supports the functionality of DS-lite 1:n NAT mapping and port translation * @verdict pass on success, inconc on timeout, fail otherwise * <pre> * PICS Selection: none * Initial conditions: * with { * the IUT being properly provisioned and, * the interfaces are connected & functional and, * the IUT being configured to allow 1:n across a single public IPv4 address * } * Expected behaviour: * ensure that { * when { * the IUT receives multiple IPv6 packets * containing IPv6 transport header * containing source address * indicating B4 IPv6 address * containing destination address * indicating IUT GW IPv6 address * containing IPv4 payload * containing source address * indicating a private IPv4 address * containing destination address * indicating a public IPv4 address * from multiple B4 devices * } * then { * the IUT does a 1:1 NAT mapping for each public IPv6 B4 address sourced and, * the IUT forwards packets to the destination with different IPv4 public addresses * } * } * </pre> * * @version 0.0.1 * @reference RFC6333 [1] clause 6.2 * @see ETSI TS xxx xxx-x V0.0.1.5a-draft (2014-01) TP/DSLITE/AFTR/BF/BV/002 */ testcase TC_DSLITE_AFTR_BF_BV_002() runs on DSLiteComponent system TestAdapter { // Local variables // Test control // Test component configuration // vc_dhcpv6Component := DHCPv6Component.create(c_COMP_DHCP); f_cf01Up_B4(); // Test adapter configuration // Start all components f_serverSyncNClientsAndStop(1, { c_prDone, c_tbDone, c_poDone }); // Test Body // Clause 'when': action("the IUT in its initial state"); // Clause 'then': Nothing to do, refer to a_default // Postamble f_cf01Down_B4(); } // End of testcase TC_DSLITE_AFTR_BF_BV_002 group f_TC_DSLITE_AFTR_BF_BV_002 { } // End of group f_TC_DSLITE_AFTR_BF_BV_002 } // End of group validBehaviour group invalidBehaviour { Loading @@ -739,6 +808,102 @@ module AtsDSLite_TestCases { } // End of group basicFunction /** * @desc Application Layer Gateway * @reference ETSI TS xxx xxx-x V0.0.1.5a-draft (2014-01) Clause 5.2.2 */ group applicationLayerGateway { group validBehaviour { /** * @desc Check that the IUT supports FTP forwarding through an ALG * @verdict pass on success, inconc on timeout, fail otherwise * <pre> * PICS Selection: none * Initial conditions: * with { * the IUT being properly provisioned and, * the interfaces are connected & functional and, * the IUT being configured with FTP ALG set to active and, * the FTP client being authenticated with the FTP server * } * Expected behaviour: * ensure that { * when { * the IUT receives an IPv6 packet * containing IPv4 packet as payload * containing source address * indicating a private IPv4 address * containing destination address * indicating a public IPv4 address * containing TCP payload * indicating port number 20 * } * then { * the IUT forwards the FTP packet to the FTP server * } * } * </pre> * * @version 0.0.1 * @reference RFC6384 [1] clause 5 * @see ETSI TS xxx xxx-x V0.0.1.5a-draft (2014-01) TP/DSLITE/AFTR/ALG/BV/001 */ testcase TC_DSLITE_AFTR_ALG_BV_001() runs on DSLiteComponent system TestAdapter { // Local variables // Test control // Test component configuration // vc_dhcpv6Component := DHCPv6Component.create(c_COMP_DHCP); f_cf01Up_B4(); // Test adapter configuration // Start all components f_serverSyncNClientsAndStop(1, { c_prDone, c_tbDone, c_poDone }); // Test Body // Clause 'when': action("the IUT in its initial state"); // Clause 'then': Nothing to do, refer to a_default // Postamble f_cf01Down_B4(); } // End of testcase TC_DSLITE_AFTR_BF_BV_001 group f_TC_DSLITE_AFTR_ALG_BV_001 { } // End of group f_TC_DSLITE_AFTR_ALG_BV_001 } // End of group validBehaviour group invalidBehaviour { } // End of group invalidBehaviour } // End of group applicationLayerGateway /** * @desc Routing tables * @reference ETSI TS xxx xxx-x V0.0.1.5a-draft (2014-01) Clause 5.2.3 */ group routingTables { group validBehaviour { } // End of group validBehaviour group invalidBehaviour { } // End of group invalidBehaviour } // End of group routingTables } // End of group aftrSut Loading