Loading ttcn/Ats6RD/Ats6RD_Functions.ttcn3 +2 −2 Original line number Diff line number Diff line Loading @@ -149,7 +149,7 @@ module Ats6RD_Functions { activate(a_default_host_http()); } // End of function f_preamble_host_httpv4 } // End of function f_preamble_host_http } // End of group preambleFunctions Loading Loading @@ -401,7 +401,7 @@ module Ats6RD_Functions { if (decvalue(oct2bit(p_tcpPacket.payload.httpPayload), v_payload) == 0) { for (v_counter := 0; v_counter < lengthof(v_sentIpv6Messages); v_counter := v_counter + 1) { if (match(v_payload, v_sentIpv6Messages) == true) { if (match(v_payload, v_sentIpv6Messages[v_counter]) == true) { v_result := e_success; break; } Loading ttcn/Ats6RD/Ats6RD_TestCases.ttcn3 +5 −4 Original line number Diff line number Diff line Loading @@ -319,13 +319,14 @@ module Ats6RD_TestCases { [v_dataReceived == false] dataPort.receive(InterCompDataMsg:?) -> value v_data { tc_ac.stop; // Store the received IPv6 HTTP message v_sentIpv6Messages[oct2int(v_data.ipv6Address)] := v_data.ipv6Packet; v_sentIpv6Messages[oct2int(v_data.address_.ipv6Address)] := v_data.ipv6Packet; if (lengthof(v_sentIpv6Messages) == p_noOfDataRequests) { // Need to receive all IPv6 HTTP messages before to check SUT behavior v_dataReceived := true; } } else { tc_ac.start; repeat; } } [] tc_ac.timeout { f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout); log("*** " & __SCOPE__ & ": INCONC: Message was not received in due time. ***"); Loading Loading @@ -379,7 +380,7 @@ module Ats6RD_TestCases { p_srcAddress, p_httpServerAddress )) -> value v_ipv6Packet { v_data.ipv6Address := v_ipv6Packet.ipv6Hdr.sourceAddress; v_data.address_.ipv6Address := v_ipv6Packet.ipv6Hdr.sourceAddress; v_data.ipv6Packet := v_ipv6Packet; dataPort.send(v_data); } Loading ttcn/Ats6RD/Ats6RD_TypeAndValues.ttcn3 +6 −6 Original line number Diff line number Diff line Loading @@ -78,6 +78,12 @@ module Ats6RD_TypesAndValues { Ipv6Packet ipv6Packet } // End of type HostBrDataMsgPayload /** * @desc List of boolean flags to indicate if the IPv4 packet was forwarded to the AFTR * @see TC_DSLITE_B4_BF_BV_001 */ type record of HostBrDataMsg HostBrDataMsgs; type record FragmentationContext { Oct2 identifier, octetstring underConstructionMessage, Loading @@ -85,12 +91,6 @@ module Ats6RD_TypesAndValues { }; type set of FragmentationContext FragmentationContexts; /** * @desc List of boolean flags to indicate if the IPv4 packet was forwarded to the AFTR * @see TC_DSLITE_B4_BF_BV_001 */ type record of HostBrDataMsg HostBrDataMsgs; type record length(1..infinity) of Ipv4Address CpeIPv4Addresses; type set of Ipv6Packet SentIpv6Messages; Loading ttcn/AtsCommon/AtsCommon_Functions.ttcn3 +2 −1 Original line number Diff line number Diff line Loading @@ -13,6 +13,7 @@ module AtsCommon_Functions { import from LibIpv6_Interface_TypesAndValues all; import from LibIpv6_Interface_Functions all; import from LibIpv6_CommonRfcsDhcp_TypesAndValues all; import from LibIpv6_CommonRfcs_TypesAndValues all; import from LibIpv6_ExternalFunctions {function fx_calcIpv4PayloadChecksum, fx_ipv4PacketTotalLength, fx_calcIpv4Hcs;} // AtsCommon Loading Loading @@ -137,7 +138,7 @@ module AtsCommon_Functions { group auxiliary { function f_getDHCPv6RetrievedIpv6Address(DHCPv6Msg p_dhcpv6Msg, out InterCompDataMsg.ipv6Address p_ipv6Address) function f_getDHCPv6RetrievedIpv6Address(DHCPv6Msg p_dhcpv6Msg, out InterCompDataMsg.address_.ipv6Address p_ipv6Address) return FncRetCode { var FncRetCode v_result := e_error; var integer i, j; Loading ttcn/AtsCommon/AtsCommon_Interfaces.ttcn3 +6 −2 Original line number Diff line number Diff line Loading @@ -142,10 +142,14 @@ module AtsCommon_Interfaces { * @member ipv6Packet IPv6 packet */ type record InterCompDataMsg { Ipv6Address ipv6Address, union { Ipv4Address ipv4Address, Ipv6Address ipv6Address } address_, DomainName aftrName optional, DomainNameList domainSearchList optional, Ipv6Packet ipv6Packet optional Ipv6Packet ipv6Packet optional, Ipv4Packet ipv4Packet optional } // End of type InterCompDataMsg } // End of group componentPorts Loading Loading
ttcn/Ats6RD/Ats6RD_Functions.ttcn3 +2 −2 Original line number Diff line number Diff line Loading @@ -149,7 +149,7 @@ module Ats6RD_Functions { activate(a_default_host_http()); } // End of function f_preamble_host_httpv4 } // End of function f_preamble_host_http } // End of group preambleFunctions Loading Loading @@ -401,7 +401,7 @@ module Ats6RD_Functions { if (decvalue(oct2bit(p_tcpPacket.payload.httpPayload), v_payload) == 0) { for (v_counter := 0; v_counter < lengthof(v_sentIpv6Messages); v_counter := v_counter + 1) { if (match(v_payload, v_sentIpv6Messages) == true) { if (match(v_payload, v_sentIpv6Messages[v_counter]) == true) { v_result := e_success; break; } Loading
ttcn/Ats6RD/Ats6RD_TestCases.ttcn3 +5 −4 Original line number Diff line number Diff line Loading @@ -319,13 +319,14 @@ module Ats6RD_TestCases { [v_dataReceived == false] dataPort.receive(InterCompDataMsg:?) -> value v_data { tc_ac.stop; // Store the received IPv6 HTTP message v_sentIpv6Messages[oct2int(v_data.ipv6Address)] := v_data.ipv6Packet; v_sentIpv6Messages[oct2int(v_data.address_.ipv6Address)] := v_data.ipv6Packet; if (lengthof(v_sentIpv6Messages) == p_noOfDataRequests) { // Need to receive all IPv6 HTTP messages before to check SUT behavior v_dataReceived := true; } } else { tc_ac.start; repeat; } } [] tc_ac.timeout { f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout); log("*** " & __SCOPE__ & ": INCONC: Message was not received in due time. ***"); Loading Loading @@ -379,7 +380,7 @@ module Ats6RD_TestCases { p_srcAddress, p_httpServerAddress )) -> value v_ipv6Packet { v_data.ipv6Address := v_ipv6Packet.ipv6Hdr.sourceAddress; v_data.address_.ipv6Address := v_ipv6Packet.ipv6Hdr.sourceAddress; v_data.ipv6Packet := v_ipv6Packet; dataPort.send(v_data); } Loading
ttcn/Ats6RD/Ats6RD_TypeAndValues.ttcn3 +6 −6 Original line number Diff line number Diff line Loading @@ -78,6 +78,12 @@ module Ats6RD_TypesAndValues { Ipv6Packet ipv6Packet } // End of type HostBrDataMsgPayload /** * @desc List of boolean flags to indicate if the IPv4 packet was forwarded to the AFTR * @see TC_DSLITE_B4_BF_BV_001 */ type record of HostBrDataMsg HostBrDataMsgs; type record FragmentationContext { Oct2 identifier, octetstring underConstructionMessage, Loading @@ -85,12 +91,6 @@ module Ats6RD_TypesAndValues { }; type set of FragmentationContext FragmentationContexts; /** * @desc List of boolean flags to indicate if the IPv4 packet was forwarded to the AFTR * @see TC_DSLITE_B4_BF_BV_001 */ type record of HostBrDataMsg HostBrDataMsgs; type record length(1..infinity) of Ipv4Address CpeIPv4Addresses; type set of Ipv6Packet SentIpv6Messages; Loading
ttcn/AtsCommon/AtsCommon_Functions.ttcn3 +2 −1 Original line number Diff line number Diff line Loading @@ -13,6 +13,7 @@ module AtsCommon_Functions { import from LibIpv6_Interface_TypesAndValues all; import from LibIpv6_Interface_Functions all; import from LibIpv6_CommonRfcsDhcp_TypesAndValues all; import from LibIpv6_CommonRfcs_TypesAndValues all; import from LibIpv6_ExternalFunctions {function fx_calcIpv4PayloadChecksum, fx_ipv4PacketTotalLength, fx_calcIpv4Hcs;} // AtsCommon Loading Loading @@ -137,7 +138,7 @@ module AtsCommon_Functions { group auxiliary { function f_getDHCPv6RetrievedIpv6Address(DHCPv6Msg p_dhcpv6Msg, out InterCompDataMsg.ipv6Address p_ipv6Address) function f_getDHCPv6RetrievedIpv6Address(DHCPv6Msg p_dhcpv6Msg, out InterCompDataMsg.address_.ipv6Address p_ipv6Address) return FncRetCode { var FncRetCode v_result := e_error; var integer i, j; Loading
ttcn/AtsCommon/AtsCommon_Interfaces.ttcn3 +6 −2 Original line number Diff line number Diff line Loading @@ -142,10 +142,14 @@ module AtsCommon_Interfaces { * @member ipv6Packet IPv6 packet */ type record InterCompDataMsg { Ipv6Address ipv6Address, union { Ipv4Address ipv4Address, Ipv6Address ipv6Address } address_, DomainName aftrName optional, DomainNameList domainSearchList optional, Ipv6Packet ipv6Packet optional Ipv6Packet ipv6Packet optional, Ipv4Packet ipv4Packet optional } // End of type InterCompDataMsg } // End of group componentPorts Loading