Loading ttcn/Ats6RD/Ats6RD_TestCases.ttcn3 +4 −4 Original line number Diff line number Diff line Loading @@ -478,7 +478,7 @@ module Ats6RD_TestCases { // Test Body: Nothing to do, refer to a_default f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_noOfDataRequests + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -718,7 +718,7 @@ module Ats6RD_TestCases { // Test Body: Nothing to do, refer to a_default f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -1753,7 +1753,7 @@ module Ats6RD_TestCases { // Test Body: Nothing to do, refer to a_default f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_noOfDataRequests + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -1993,7 +1993,7 @@ module Ats6RD_TestCases { // Test Body: Nothing to do, refer to a_default f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading ttcn/AtsDSlite/AtsDSLite_TestCases.ttcn3 +10 −10 Original line number Diff line number Diff line Loading @@ -408,7 +408,7 @@ module AtsDSLite_TestCases { // Clause 'then': Nothing to do, refer to a_default f_serverSyncNClientsAndStop(2, { c_prDone, c_initDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(3, { c_prDone, c_initDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -1423,7 +1423,7 @@ module AtsDSLite_TestCases { // Test Body: Nothing to do, refer to a_default f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -1759,7 +1759,7 @@ module AtsDSLite_TestCases { testcase TC_DSLITE_AFTR_BF_TI_01() runs on DSLiteComponent system TestAdapter { // Local variables var UInt v_hostNum := 0; var UInt v_host := 0; var Ipv4Packet v_ipv4Packet; /** IPv4 packets */ var Ipv6Packet v_ipv6Packet; /** IPv6 packets address to IPv4 */ var Ipv6Packet v_ipv6Packet2; /** IPv6 packets address to IPv4 */ Loading @@ -1772,7 +1772,7 @@ module AtsDSLite_TestCases { // Test component configuration vc_ipv4ServerComponents[0] := Ipv4ServerComponent.create(c_COMP_IPV4SERVER); vc_hostComponents[v_hostNum] := HostComponent.create(c_COMP_HOST & int2str(v_hostNum)); vc_hostComponents[v_host] := HostComponent.create(c_COMP_HOST & int2str(v_host)); f_mtcUp(); // Test adapter configuration Loading @@ -1780,12 +1780,12 @@ module AtsDSLite_TestCases { // Build the list of the IPv6packet to be sent f_finalyzeIpv4Packet( m_ipv4Packet_dummy( PX_HOST_V4_LIST_B4[v_hostNum].srcAddress, PX_HOST_V4_LIST_B4[v_hostNum].dstAddress, PX_HOST_V4_LIST_B4[v_host].srcAddress, PX_HOST_V4_LIST_B4[v_host].dstAddress, m_tcp_packet( PX_HOST_V4_LIST_B4[v_hostNum].srcPort, PX_HOST_V4_LIST_B4[v_hostNum].dstPort, PX_HOST_V4_LIST_B4[v_hostNum].payload, PX_HOST_V4_LIST_B4[v_host].srcPort, PX_HOST_V4_LIST_B4[v_host].dstPort, PX_HOST_V4_LIST_B4[v_host].payload, m_tcp_flags_syn ) ), Loading @@ -1802,7 +1802,7 @@ module AtsDSLite_TestCases { // Start all components vc_ipv4ServerComponents[0].start(f_TC_DSLITE_AFTR_BF_TI_01_ipv4Server(v_ipv4Packet)); vc_hostComponents[v_hostNum].start(f_TC_DSLITE_AFTR_BF_TI_01_host(v_ipv6Packet, v_ipv6Packet2)); vc_hostComponents[v_host].start(f_TC_DSLITE_AFTR_BF_TI_01_host(v_ipv6Packet, v_ipv6Packet2)); // Test Body Loading ttcn/AtsMAPE/AtsMapE_TestCases.ttcn3 +1 −2 Original line number Diff line number Diff line Loading @@ -1598,7 +1598,6 @@ module AtsMapE_TestCases { } } // End of 'altstep' statement f_selfOrClientSyncAndVerdict(c_startDefaultRouteCheck, e_success); f_selfOrClientSyncAndVerdict(c_tbDone, e_success); log("*** " & __SCOPE__ & ": PASS: Successfully received DHCPv6 Reply from the DHCPv6 Server. ***"); Loading Loading @@ -1668,7 +1667,7 @@ module AtsMapE_TestCases { v_noOfDataRequests )); f_serverSyncNClientsAndStop(1, { c_prDone, c_startDefaultRouteCheck, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(2, { c_prDone, c_startDefaultRouteCheck, c_tbDone, c_poDone }); // Test Body action("the IUT goes online"); Loading Loading
ttcn/Ats6RD/Ats6RD_TestCases.ttcn3 +4 −4 Original line number Diff line number Diff line Loading @@ -478,7 +478,7 @@ module Ats6RD_TestCases { // Test Body: Nothing to do, refer to a_default f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_noOfDataRequests + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -718,7 +718,7 @@ module Ats6RD_TestCases { // Test Body: Nothing to do, refer to a_default f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -1753,7 +1753,7 @@ module Ats6RD_TestCases { // Test Body: Nothing to do, refer to a_default f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_noOfDataRequests + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -1993,7 +1993,7 @@ module Ats6RD_TestCases { // Test Body: Nothing to do, refer to a_default f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading
ttcn/AtsDSlite/AtsDSLite_TestCases.ttcn3 +10 −10 Original line number Diff line number Diff line Loading @@ -408,7 +408,7 @@ module AtsDSLite_TestCases { // Clause 'then': Nothing to do, refer to a_default f_serverSyncNClientsAndStop(2, { c_prDone, c_initDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(3, { c_prDone, c_initDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -1423,7 +1423,7 @@ module AtsDSLite_TestCases { // Test Body: Nothing to do, refer to a_default f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -1759,7 +1759,7 @@ module AtsDSLite_TestCases { testcase TC_DSLITE_AFTR_BF_TI_01() runs on DSLiteComponent system TestAdapter { // Local variables var UInt v_hostNum := 0; var UInt v_host := 0; var Ipv4Packet v_ipv4Packet; /** IPv4 packets */ var Ipv6Packet v_ipv6Packet; /** IPv6 packets address to IPv4 */ var Ipv6Packet v_ipv6Packet2; /** IPv6 packets address to IPv4 */ Loading @@ -1772,7 +1772,7 @@ module AtsDSLite_TestCases { // Test component configuration vc_ipv4ServerComponents[0] := Ipv4ServerComponent.create(c_COMP_IPV4SERVER); vc_hostComponents[v_hostNum] := HostComponent.create(c_COMP_HOST & int2str(v_hostNum)); vc_hostComponents[v_host] := HostComponent.create(c_COMP_HOST & int2str(v_host)); f_mtcUp(); // Test adapter configuration Loading @@ -1780,12 +1780,12 @@ module AtsDSLite_TestCases { // Build the list of the IPv6packet to be sent f_finalyzeIpv4Packet( m_ipv4Packet_dummy( PX_HOST_V4_LIST_B4[v_hostNum].srcAddress, PX_HOST_V4_LIST_B4[v_hostNum].dstAddress, PX_HOST_V4_LIST_B4[v_host].srcAddress, PX_HOST_V4_LIST_B4[v_host].dstAddress, m_tcp_packet( PX_HOST_V4_LIST_B4[v_hostNum].srcPort, PX_HOST_V4_LIST_B4[v_hostNum].dstPort, PX_HOST_V4_LIST_B4[v_hostNum].payload, PX_HOST_V4_LIST_B4[v_host].srcPort, PX_HOST_V4_LIST_B4[v_host].dstPort, PX_HOST_V4_LIST_B4[v_host].payload, m_tcp_flags_syn ) ), Loading @@ -1802,7 +1802,7 @@ module AtsDSLite_TestCases { // Start all components vc_ipv4ServerComponents[0].start(f_TC_DSLITE_AFTR_BF_TI_01_ipv4Server(v_ipv4Packet)); vc_hostComponents[v_hostNum].start(f_TC_DSLITE_AFTR_BF_TI_01_host(v_ipv6Packet, v_ipv6Packet2)); vc_hostComponents[v_host].start(f_TC_DSLITE_AFTR_BF_TI_01_host(v_ipv6Packet, v_ipv6Packet2)); // Test Body Loading
ttcn/AtsMAPE/AtsMapE_TestCases.ttcn3 +1 −2 Original line number Diff line number Diff line Loading @@ -1598,7 +1598,6 @@ module AtsMapE_TestCases { } } // End of 'altstep' statement f_selfOrClientSyncAndVerdict(c_startDefaultRouteCheck, e_success); f_selfOrClientSyncAndVerdict(c_tbDone, e_success); log("*** " & __SCOPE__ & ": PASS: Successfully received DHCPv6 Reply from the DHCPv6 Server. ***"); Loading Loading @@ -1668,7 +1667,7 @@ module AtsMapE_TestCases { v_noOfDataRequests )); f_serverSyncNClientsAndStop(1, { c_prDone, c_startDefaultRouteCheck, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(2, { c_prDone, c_startDefaultRouteCheck, c_tbDone, c_poDone }); // Test Body action("the IUT goes online"); Loading