Loading ttcn/Ats6RD/Ats6RD_Functions.ttcn3 +21 −2 Original line number Diff line number Diff line Loading @@ -35,8 +35,7 @@ module Ats6RD_Functions { import from AtsCommon_Interfaces { type TestAdapter, DHCPv6Component, DNSComponent, InterCompDataMsg; DHCPv4Component }; import from AtsCommon_Functions all; Loading Loading @@ -105,6 +104,17 @@ module Ats6RD_Functions { } // End of function f_preamble_host /** * @desc Preamble processing for DHCPv4Component * @verdict Unchanged * @see DNSComponent */ function f_preamble_dhcpv4() runs on DHCPv4Component { // Connect synchronisation ports f_connect4SelfOrClientSync(); } // End of function f_preamble_dhcpv4 } // End of group preambleFunctions group postambleFunctions { Loading @@ -127,6 +137,15 @@ module Ats6RD_Functions { // Nothing to do } // End of function f_postamble_host /** * @desc Postamble processing for DHCPv4Component * @verdict Unchanged * @see DHCPv4Component */ function f_postamble_dhcpv4() runs on DHCPv4Component { // Nothing to do } // End of function f_postamble_dhcpv4 } // End of group postambleFunctions group globalSteps { Loading ttcn/Ats6RD/Ats6RD_TestCases.ttcn3 +3 −12 Original line number Diff line number Diff line Loading @@ -9,17 +9,8 @@ module Ats6RD_TestCases { import from LibCommon_VerdictControl all; import from LibCommon_Sync all; // Ats6RD import from AtsCommon_DNS_CommonRfcs_TypesAndValues { type DnsMsg }; import from Ats6RD_Functions all; import from Ats6RD_Templates all; import from Ats6RD_Interfaces all; // AtsCommon import from AtsCommon_TypesAndValues all; import from AtsCommon_DNS_CommonRfcs_TypesAndValues all; import from AtsCommon_Interfaces all; import from AtsCommon_Functions all; import from AtsCommon_Templates all; Loading Loading @@ -102,7 +93,7 @@ module Ats6RD_TestCases { group f_TC_6RD_GWPA_BV_001 { /** * @desc Implement DHCPv6 client/server protocol * @desc Implement DHCPv4 client/server protocol * @verdict 'pass' on success, 'inconc' on 'timeout', fail otherwise */ function f_TC_6RD_GWPA_BV_001_dhcpv4() runs on DHCPv4Component { Loading @@ -112,7 +103,7 @@ module Ats6RD_TestCases { // Preamble // Clause 'Initial conditions' f_preamble_dhcpv6(); f_preamble_dhcpv4(); f_selfOrClientSyncAndVerdict(c_prDone, e_success); log("*** " & __SCOPE__ & ": INFO: Preamble done. ***"); Loading @@ -137,7 +128,7 @@ module Ats6RD_TestCases { } // End of 'altstep' statement // Postamble f_postamble_dhcpv6(); f_postamble_dhcpv4(); f_selfOrClientSyncAndVerdict(c_poDone, e_success); log("*** " & __SCOPE__ & ": INFO: Postamble done. ***"); Loading ttcn/AtsCommon/AtsCommon_TypesAndValues.ttcn +1 −0 Original line number Diff line number Diff line Loading @@ -14,6 +14,7 @@ const charstring c_COMP_HOST := "Host"; const charstring c_COMP_AFTR := "Aftr"; const charstring c_COMP_BR := "Br"; const charstring c_COMP_LSN := "Lsn"; } // end componentConstants Loading ttcn/AtsDSlite/AtsDSLite_Pixits.ttcn3 +1 −0 Original line number Diff line number Diff line Loading @@ -7,5 +7,6 @@ module AtsDSLite_Pixits { // LibCommon modulepar integer PX_HOST_NUM := 4 } // End of module AtsDSLite_Pixits No newline at end of file ttcn/AtsDSlite/AtsDSLite_TestCases.ttcn3 +53 −8 Original line number Diff line number Diff line Loading @@ -13,19 +13,18 @@ module AtsDSLite_TestCases { import from LibIpv6_CommonRfcsDhcp_TypesAndValues all; // AtsCommon import from AtsCommon_TypesAndValues all; import from AtsCommon_DNS_CommonRfcs_TypesAndValues all; import from AtsCommon_Interfaces all; import from AtsCommon_Functions all; import from AtsCommon_Templates all; // AtsDSLite import from AtsDSLite_Pixits all; import from AtsDSLite_Functions all; import from AtsDSLite_Templates all; import from AtsDSLite_Interfaces all; // AtsCommon import from AtsCommon_TypesAndValues all; /** * @desc B4 * @reference ETSI TS xxx xxx-x V0.0.1.5a-draft (2014-01) Clause 5.1 Loading Loading @@ -465,8 +464,6 @@ module AtsDSLite_TestCases { // Test Body // Clause 'when': Nothing to do // Clause 'then': the IUT adds the AFTR GW IPv6 address to the default route configuration // TODO 1. Send HTTP request to www.etsi.org // 2. Wait for HTTP 200OK Loading Loading @@ -534,22 +531,30 @@ module AtsDSLite_TestCases { testcase TC_DSLITE_B4_BF_BV_001() runs on DSLiteComponent system TestAdapter { // Local variables var integer v_host; var HostComponent v_hostComponents[PX_HOST_NUM]; // Test control // Test component configuration // vc_dhcpv6Component := DHCPv6Component.create(c_COMP_DHCP); vc_aftrComponent := AFTRComponent.create(c_COMP_AFTR); for (v_host := 0; v_host < PX_HOST_NUM; v_host := v_host + 1) { v_hostComponents[v_host] := HostComponent.create(c_COMP_HOST); } // End of 'for' statement f_cf01Up_B4(); // Test adapter configuration // Start all components vc_aftrComponent.start(f_TC_DSLITE_B4_BF_BV_001_aftr()); for (v_host := 0; v_host < PX_HOST_NUM; v_host := v_host + 1) { v_hostComponents[v_host].start(f_TC_DSLITE_B4_BF_BV_001_host(v_host)); } // End of 'for' statement f_serverSyncNClientsAndStop(1, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(PX_HOST_NUM + 1, { c_prDone, c_tbDone, c_poDone }); // Test Body // Clause 'when': action("the IUT goes online"); // Clause 'then': Nothing to do, refer to a_default Loading @@ -560,6 +565,46 @@ module AtsDSLite_TestCases { group f_TC_DSLITE_B4_BF_BV_001 { function f_TC_DSLITE_B4_BF_BV_001_aftr() runs on AFTRComponent { // Local variables // Preamble // Clause 'Initial conditions' f_preamble_aftr(); f_selfOrClientSyncAndVerdict(c_prDone, e_success); log("*** " & __SCOPE__ & ": INFO: Preamble done. ***"); // Test Body // Clause 'when': // Postamble f_postamble_aftr(); f_selfOrClientSyncAndVerdict(c_poDone, e_success); log("*** " & __SCOPE__ & ": INFO: Postamble done. ***"); } // End of fucntion f_TC_DSLITE_B4_BF_BV_001_aftr function f_TC_DSLITE_B4_BF_BV_001_host(in integer p_hostId) runs on HostComponent { // Local variables // Preamble // Clause 'Initial conditions' f_preamble_host(); f_selfOrClientSyncAndVerdict(c_prDone, e_success); log("*** " & __SCOPE__ & ": INFO: Preamble done. ***"); // Test Body // Clause 'when': // Postamble f_postamble_host(); f_selfOrClientSyncAndVerdict(c_poDone, e_success); log("*** " & __SCOPE__ & ": INFO: Postamble done. ***"); } // End of f_TC_DSLITE_B4_BF_BV_001_host } // End of group f_TC_DSLITE_B4_BF_BV_001 } // End of group validBehaviour Loading Loading
ttcn/Ats6RD/Ats6RD_Functions.ttcn3 +21 −2 Original line number Diff line number Diff line Loading @@ -35,8 +35,7 @@ module Ats6RD_Functions { import from AtsCommon_Interfaces { type TestAdapter, DHCPv6Component, DNSComponent, InterCompDataMsg; DHCPv4Component }; import from AtsCommon_Functions all; Loading Loading @@ -105,6 +104,17 @@ module Ats6RD_Functions { } // End of function f_preamble_host /** * @desc Preamble processing for DHCPv4Component * @verdict Unchanged * @see DNSComponent */ function f_preamble_dhcpv4() runs on DHCPv4Component { // Connect synchronisation ports f_connect4SelfOrClientSync(); } // End of function f_preamble_dhcpv4 } // End of group preambleFunctions group postambleFunctions { Loading @@ -127,6 +137,15 @@ module Ats6RD_Functions { // Nothing to do } // End of function f_postamble_host /** * @desc Postamble processing for DHCPv4Component * @verdict Unchanged * @see DHCPv4Component */ function f_postamble_dhcpv4() runs on DHCPv4Component { // Nothing to do } // End of function f_postamble_dhcpv4 } // End of group postambleFunctions group globalSteps { Loading
ttcn/Ats6RD/Ats6RD_TestCases.ttcn3 +3 −12 Original line number Diff line number Diff line Loading @@ -9,17 +9,8 @@ module Ats6RD_TestCases { import from LibCommon_VerdictControl all; import from LibCommon_Sync all; // Ats6RD import from AtsCommon_DNS_CommonRfcs_TypesAndValues { type DnsMsg }; import from Ats6RD_Functions all; import from Ats6RD_Templates all; import from Ats6RD_Interfaces all; // AtsCommon import from AtsCommon_TypesAndValues all; import from AtsCommon_DNS_CommonRfcs_TypesAndValues all; import from AtsCommon_Interfaces all; import from AtsCommon_Functions all; import from AtsCommon_Templates all; Loading Loading @@ -102,7 +93,7 @@ module Ats6RD_TestCases { group f_TC_6RD_GWPA_BV_001 { /** * @desc Implement DHCPv6 client/server protocol * @desc Implement DHCPv4 client/server protocol * @verdict 'pass' on success, 'inconc' on 'timeout', fail otherwise */ function f_TC_6RD_GWPA_BV_001_dhcpv4() runs on DHCPv4Component { Loading @@ -112,7 +103,7 @@ module Ats6RD_TestCases { // Preamble // Clause 'Initial conditions' f_preamble_dhcpv6(); f_preamble_dhcpv4(); f_selfOrClientSyncAndVerdict(c_prDone, e_success); log("*** " & __SCOPE__ & ": INFO: Preamble done. ***"); Loading @@ -137,7 +128,7 @@ module Ats6RD_TestCases { } // End of 'altstep' statement // Postamble f_postamble_dhcpv6(); f_postamble_dhcpv4(); f_selfOrClientSyncAndVerdict(c_poDone, e_success); log("*** " & __SCOPE__ & ": INFO: Postamble done. ***"); Loading
ttcn/AtsCommon/AtsCommon_TypesAndValues.ttcn +1 −0 Original line number Diff line number Diff line Loading @@ -14,6 +14,7 @@ const charstring c_COMP_HOST := "Host"; const charstring c_COMP_AFTR := "Aftr"; const charstring c_COMP_BR := "Br"; const charstring c_COMP_LSN := "Lsn"; } // end componentConstants Loading
ttcn/AtsDSlite/AtsDSLite_Pixits.ttcn3 +1 −0 Original line number Diff line number Diff line Loading @@ -7,5 +7,6 @@ module AtsDSLite_Pixits { // LibCommon modulepar integer PX_HOST_NUM := 4 } // End of module AtsDSLite_Pixits No newline at end of file
ttcn/AtsDSlite/AtsDSLite_TestCases.ttcn3 +53 −8 Original line number Diff line number Diff line Loading @@ -13,19 +13,18 @@ module AtsDSLite_TestCases { import from LibIpv6_CommonRfcsDhcp_TypesAndValues all; // AtsCommon import from AtsCommon_TypesAndValues all; import from AtsCommon_DNS_CommonRfcs_TypesAndValues all; import from AtsCommon_Interfaces all; import from AtsCommon_Functions all; import from AtsCommon_Templates all; // AtsDSLite import from AtsDSLite_Pixits all; import from AtsDSLite_Functions all; import from AtsDSLite_Templates all; import from AtsDSLite_Interfaces all; // AtsCommon import from AtsCommon_TypesAndValues all; /** * @desc B4 * @reference ETSI TS xxx xxx-x V0.0.1.5a-draft (2014-01) Clause 5.1 Loading Loading @@ -465,8 +464,6 @@ module AtsDSLite_TestCases { // Test Body // Clause 'when': Nothing to do // Clause 'then': the IUT adds the AFTR GW IPv6 address to the default route configuration // TODO 1. Send HTTP request to www.etsi.org // 2. Wait for HTTP 200OK Loading Loading @@ -534,22 +531,30 @@ module AtsDSLite_TestCases { testcase TC_DSLITE_B4_BF_BV_001() runs on DSLiteComponent system TestAdapter { // Local variables var integer v_host; var HostComponent v_hostComponents[PX_HOST_NUM]; // Test control // Test component configuration // vc_dhcpv6Component := DHCPv6Component.create(c_COMP_DHCP); vc_aftrComponent := AFTRComponent.create(c_COMP_AFTR); for (v_host := 0; v_host < PX_HOST_NUM; v_host := v_host + 1) { v_hostComponents[v_host] := HostComponent.create(c_COMP_HOST); } // End of 'for' statement f_cf01Up_B4(); // Test adapter configuration // Start all components vc_aftrComponent.start(f_TC_DSLITE_B4_BF_BV_001_aftr()); for (v_host := 0; v_host < PX_HOST_NUM; v_host := v_host + 1) { v_hostComponents[v_host].start(f_TC_DSLITE_B4_BF_BV_001_host(v_host)); } // End of 'for' statement f_serverSyncNClientsAndStop(1, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(PX_HOST_NUM + 1, { c_prDone, c_tbDone, c_poDone }); // Test Body // Clause 'when': action("the IUT goes online"); // Clause 'then': Nothing to do, refer to a_default Loading @@ -560,6 +565,46 @@ module AtsDSLite_TestCases { group f_TC_DSLITE_B4_BF_BV_001 { function f_TC_DSLITE_B4_BF_BV_001_aftr() runs on AFTRComponent { // Local variables // Preamble // Clause 'Initial conditions' f_preamble_aftr(); f_selfOrClientSyncAndVerdict(c_prDone, e_success); log("*** " & __SCOPE__ & ": INFO: Preamble done. ***"); // Test Body // Clause 'when': // Postamble f_postamble_aftr(); f_selfOrClientSyncAndVerdict(c_poDone, e_success); log("*** " & __SCOPE__ & ": INFO: Postamble done. ***"); } // End of fucntion f_TC_DSLITE_B4_BF_BV_001_aftr function f_TC_DSLITE_B4_BF_BV_001_host(in integer p_hostId) runs on HostComponent { // Local variables // Preamble // Clause 'Initial conditions' f_preamble_host(); f_selfOrClientSyncAndVerdict(c_prDone, e_success); log("*** " & __SCOPE__ & ": INFO: Preamble done. ***"); // Test Body // Clause 'when': // Postamble f_postamble_host(); f_selfOrClientSyncAndVerdict(c_poDone, e_success); log("*** " & __SCOPE__ & ": INFO: Postamble done. ***"); } // End of f_TC_DSLITE_B4_BF_BV_001_host } // End of group f_TC_DSLITE_B4_BF_BV_001 } // End of group validBehaviour Loading