Loading ttcn/Ats6RD/Ats6RD_Pixits.ttcn3 +6 −6 Original line number Diff line number Diff line Loading @@ -23,17 +23,17 @@ module Ats6RD_Pixits { /** * @desc Indicates the IPv4 address of the CPE equipment */ modulepar Ipv4Address PX_CPE_IPv4_ADDRESS := c_4ZeroBytes; // Such as 10.1.1.1 modulepar Ipv4Address PX_CPE_IPv4_ADDRESS := '0A010101'O; /** * @desc Indicates the IPv4 address of the BR equipment */ modulepar Ipv4Address PX_BR_GW_IPv4_ADDRESS := c_4ZeroBytes; // Such as 10.1.3.1 modulepar Ipv4Address PX_BR_GW_IPv4_ADDRESS := '0A030303'O; /** * @desc Indicates the IPv4 anycast address */ modulepar Ipv4Address PX_IPv4_ANYCAST_ADDRESS := c_4ZeroBytes; modulepar Ipv4Address PX_IPv4_ANYCAST_ADDRESS := '0A010101'O; /** * @desc The 6RD-MTU size. Loading @@ -53,17 +53,17 @@ module Ats6RD_Pixits { /** * @desc CPE IPv4 source port number */ modulepar UInt16 PX_ETS_PORT := 1234; modulepar UInt16 PX_ETS_TCP_PORT := 1234; /** * @desc BR IPv4 port */ modulepar UInt16 PX_IUT_PORT := 34569; modulepar UInt16 PX_IUT_TCP_PORT := 34569; /** * @desc BR IPv4 port ranges */ modulepar UInt16 PX_IUT_PORT_RANGE := 3000; modulepar UInt16 PX_IUT_TCP_PORT_RANGE := 3000; // } // End of group equipmentsSettings Loading ttcn/Ats6RD/Ats6RD_TestCases.ttcn3 +28 −28 Original line number Diff line number Diff line Loading @@ -752,8 +752,8 @@ module Ats6RD_TestCases { PX_BR_GW_IPv4_ADDRESS, PX_CPE_IPv4_ADDRESS, m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, m_tcpHttpPayload( substr( bit2oct(encvalue(p_hostBrDataMsgs[v_host].payload.ipv6Packet)), Loading @@ -773,8 +773,8 @@ module Ats6RD_TestCases { PX_BR_GW_IPv4_ADDRESS, PX_CPE_IPv4_ADDRESS, m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, m_tcpHttpPayload( substr( bit2oct(encvalue(p_hostBrDataMsgs[v_host].payload.ipv6Packet)), Loading Loading @@ -1339,8 +1339,8 @@ module Ats6RD_TestCases { PX_CPE_IPv4_ADDRESS, // containing source address indicating CPE IPv4 address PX_BR_GW_IPv4_ADDRESS, // containing destination address indicating IUT GW IPv4 address m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, { rawPayload := bit2oct(encvalue(v_ipv6Packet)) }, // containing IPv6 payload m_tcp_flags_syn Loading Loading @@ -1554,8 +1554,8 @@ module Ats6RD_TestCases { PX_CPE_IPv4_ADDRESS, // containing source address indicating CPE IPv4 address PX_BR_GW_IPv4_ADDRESS, // containing destination address indicating IUT GW IPv4 address m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT_RANGE, // Shall be within port range PX_ETS_TCP_PORT, PX_IUT_TCP_PORT_RANGE, // Shall be within port range { rawPayload := bit2oct(encvalue(v_ipv6Packet)) }, // containing IPv6 payload m_tcp_flags_syn Loading Loading @@ -2027,8 +2027,8 @@ module Ats6RD_TestCases { PX_BR_GW_IPv4_ADDRESS, PX_CPE_IPv4_ADDRESS, m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, m_tcpHttpPayload( substr( bit2oct(encvalue(p_hostBrDataMsgs[v_host].payload.ipv6Packet)), Loading @@ -2048,8 +2048,8 @@ module Ats6RD_TestCases { PX_BR_GW_IPv4_ADDRESS, PX_CPE_IPv4_ADDRESS, m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, m_tcpHttpPayload( substr( bit2oct(encvalue(p_hostBrDataMsgs[v_host].payload.ipv6Packet)), Loading Loading @@ -2404,8 +2404,8 @@ module Ats6RD_TestCases { PX_CPE_IPv4_ADDRESS, // containing source address indicating CPE IPv4 address PX_BR_GW_IPv4_ADDRESS, // containing destination address indicating IUT GW IPv4 address m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, { rawPayload := bit2oct(encvalue(v_ipv6Packet1)) }, // containing IPv6 payload m_tcp_flags_syn Loading @@ -2428,8 +2428,8 @@ module Ats6RD_TestCases { PX_CPE_IPv4_ADDRESS, // containing source address indicating CPE IPv4 address PX_BR_GW_IPv4_ADDRESS, // containing destination address indicating IUT GW IPv4 address m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, { rawPayload := bit2oct(encvalue(v_ipv6Packet2)) }, // containing IPv6 payload m_tcp_flags_syn Loading Loading @@ -2627,8 +2627,8 @@ module Ats6RD_TestCases { PX_CPE_IPv4_ADDRESS, // containing source address indicating CPE IPv4 address PX_IPv4_ANYCAST_ADDRESS, // containing destination address indicating IUT GW IPv4 anycast address m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, { rawPayload := bit2oct(encvalue(v_ipv6Packet)) }, // containing IPv6 payload m_tcp_flags_syn Loading Loading @@ -2838,8 +2838,8 @@ module Ats6RD_TestCases { PX_CPE_IPv4_ADDRESS, // containing source address indicating CPE IPv4 address PX_IPv4_ANYCAST_ADDRESS, // containing destination address indicating IUT GW IPv4 anycast address m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, { rawPayload := bit2oct(encvalue(v_ipv6Packet)) }, // containing IPv6 payload m_tcp_flags_syn Loading Loading @@ -3054,8 +3054,8 @@ module Ats6RD_TestCases { PX_CPE_IPv4_ADDRESS, // containing source address indicating CPE IPv4 address PX_IPv4_ANYCAST_ADDRESS, // containing destination address indicating IUT GW IPv4 anycast address m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, { rawPayload := bit2oct(encvalue(v_ipv6Packet)) }, // containing IPv6 payload m_tcp_flags_syn Loading Loading @@ -3270,8 +3270,8 @@ module Ats6RD_TestCases { PX_CPE_IPv4_ADDRESS, // containing source address indicating CPE IPv4 address PX_IPv4_ANYCAST_ADDRESS, // containing destination address indicating IUT GW IPv4 anycast address m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, { rawPayload := bit2oct(encvalue(v_ipv6Packet)) }, // containing IPv6 payload m_tcp_flags_syn Loading Loading @@ -3502,8 +3502,8 @@ module Ats6RD_TestCases { PX_CPE_IPv4_ADDRESS, // containing source address indicating CPE IPv4 address PX_BR_GW_IPv4_ADDRESS, // containing destination address indicating IUT GW IPv4 anycast address m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, { rawPayload := bit2oct(encvalue(v_ipv6Packet)) }, // containing IPv6 payload m_tcp_flags_syn Loading Loading @@ -3704,8 +3704,8 @@ module Ats6RD_TestCases { PX_CPE_IPv4_ADDRESS, // containing source address indicating CPE IPv4 address PX_BR_GW_IPv4_ADDRESS, // containing destination address indicating IUT GW IPv4 anycast address m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, { rawPayload := bit2oct(encvalue(v_ipv6Packet)) }, // containing IPv6 payload m_tcp_flags_syn Loading ttcn/AtsDSlite/AtsDSLite_Pixits.ttcn3 +2 −2 Original line number Diff line number Diff line Loading @@ -21,7 +21,7 @@ module AtsDSLite_Pixits { /** * @desc Indicates the IPv4 address of the B4 equipment */ modulepar Ipv4Address PX_AFTR_B4_IPv4ADDRESS := c_4ZeroBytes; modulepar Ipv4Address PX_AFTR_B4_IPv4ADDRESS := '0A010101'O; /** * @desc Indicates the IPv6 address of the B4 equipment Loading @@ -41,7 +41,7 @@ module AtsDSLite_Pixits { /** * @desc Indicates the IPv4 WEB server address */ modulepar Ipv4Address PX_WEB_SERVER_IPv4 := c_4ZeroBytes; modulepar Ipv4Address PX_WEB_SERVER_IPv4 := '0A030303'O; /** * @desc Defines a list of IPv4 host services Loading Loading
ttcn/Ats6RD/Ats6RD_Pixits.ttcn3 +6 −6 Original line number Diff line number Diff line Loading @@ -23,17 +23,17 @@ module Ats6RD_Pixits { /** * @desc Indicates the IPv4 address of the CPE equipment */ modulepar Ipv4Address PX_CPE_IPv4_ADDRESS := c_4ZeroBytes; // Such as 10.1.1.1 modulepar Ipv4Address PX_CPE_IPv4_ADDRESS := '0A010101'O; /** * @desc Indicates the IPv4 address of the BR equipment */ modulepar Ipv4Address PX_BR_GW_IPv4_ADDRESS := c_4ZeroBytes; // Such as 10.1.3.1 modulepar Ipv4Address PX_BR_GW_IPv4_ADDRESS := '0A030303'O; /** * @desc Indicates the IPv4 anycast address */ modulepar Ipv4Address PX_IPv4_ANYCAST_ADDRESS := c_4ZeroBytes; modulepar Ipv4Address PX_IPv4_ANYCAST_ADDRESS := '0A010101'O; /** * @desc The 6RD-MTU size. Loading @@ -53,17 +53,17 @@ module Ats6RD_Pixits { /** * @desc CPE IPv4 source port number */ modulepar UInt16 PX_ETS_PORT := 1234; modulepar UInt16 PX_ETS_TCP_PORT := 1234; /** * @desc BR IPv4 port */ modulepar UInt16 PX_IUT_PORT := 34569; modulepar UInt16 PX_IUT_TCP_PORT := 34569; /** * @desc BR IPv4 port ranges */ modulepar UInt16 PX_IUT_PORT_RANGE := 3000; modulepar UInt16 PX_IUT_TCP_PORT_RANGE := 3000; // } // End of group equipmentsSettings Loading
ttcn/Ats6RD/Ats6RD_TestCases.ttcn3 +28 −28 Original line number Diff line number Diff line Loading @@ -752,8 +752,8 @@ module Ats6RD_TestCases { PX_BR_GW_IPv4_ADDRESS, PX_CPE_IPv4_ADDRESS, m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, m_tcpHttpPayload( substr( bit2oct(encvalue(p_hostBrDataMsgs[v_host].payload.ipv6Packet)), Loading @@ -773,8 +773,8 @@ module Ats6RD_TestCases { PX_BR_GW_IPv4_ADDRESS, PX_CPE_IPv4_ADDRESS, m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, m_tcpHttpPayload( substr( bit2oct(encvalue(p_hostBrDataMsgs[v_host].payload.ipv6Packet)), Loading Loading @@ -1339,8 +1339,8 @@ module Ats6RD_TestCases { PX_CPE_IPv4_ADDRESS, // containing source address indicating CPE IPv4 address PX_BR_GW_IPv4_ADDRESS, // containing destination address indicating IUT GW IPv4 address m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, { rawPayload := bit2oct(encvalue(v_ipv6Packet)) }, // containing IPv6 payload m_tcp_flags_syn Loading Loading @@ -1554,8 +1554,8 @@ module Ats6RD_TestCases { PX_CPE_IPv4_ADDRESS, // containing source address indicating CPE IPv4 address PX_BR_GW_IPv4_ADDRESS, // containing destination address indicating IUT GW IPv4 address m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT_RANGE, // Shall be within port range PX_ETS_TCP_PORT, PX_IUT_TCP_PORT_RANGE, // Shall be within port range { rawPayload := bit2oct(encvalue(v_ipv6Packet)) }, // containing IPv6 payload m_tcp_flags_syn Loading Loading @@ -2027,8 +2027,8 @@ module Ats6RD_TestCases { PX_BR_GW_IPv4_ADDRESS, PX_CPE_IPv4_ADDRESS, m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, m_tcpHttpPayload( substr( bit2oct(encvalue(p_hostBrDataMsgs[v_host].payload.ipv6Packet)), Loading @@ -2048,8 +2048,8 @@ module Ats6RD_TestCases { PX_BR_GW_IPv4_ADDRESS, PX_CPE_IPv4_ADDRESS, m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, m_tcpHttpPayload( substr( bit2oct(encvalue(p_hostBrDataMsgs[v_host].payload.ipv6Packet)), Loading Loading @@ -2404,8 +2404,8 @@ module Ats6RD_TestCases { PX_CPE_IPv4_ADDRESS, // containing source address indicating CPE IPv4 address PX_BR_GW_IPv4_ADDRESS, // containing destination address indicating IUT GW IPv4 address m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, { rawPayload := bit2oct(encvalue(v_ipv6Packet1)) }, // containing IPv6 payload m_tcp_flags_syn Loading @@ -2428,8 +2428,8 @@ module Ats6RD_TestCases { PX_CPE_IPv4_ADDRESS, // containing source address indicating CPE IPv4 address PX_BR_GW_IPv4_ADDRESS, // containing destination address indicating IUT GW IPv4 address m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, { rawPayload := bit2oct(encvalue(v_ipv6Packet2)) }, // containing IPv6 payload m_tcp_flags_syn Loading Loading @@ -2627,8 +2627,8 @@ module Ats6RD_TestCases { PX_CPE_IPv4_ADDRESS, // containing source address indicating CPE IPv4 address PX_IPv4_ANYCAST_ADDRESS, // containing destination address indicating IUT GW IPv4 anycast address m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, { rawPayload := bit2oct(encvalue(v_ipv6Packet)) }, // containing IPv6 payload m_tcp_flags_syn Loading Loading @@ -2838,8 +2838,8 @@ module Ats6RD_TestCases { PX_CPE_IPv4_ADDRESS, // containing source address indicating CPE IPv4 address PX_IPv4_ANYCAST_ADDRESS, // containing destination address indicating IUT GW IPv4 anycast address m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, { rawPayload := bit2oct(encvalue(v_ipv6Packet)) }, // containing IPv6 payload m_tcp_flags_syn Loading Loading @@ -3054,8 +3054,8 @@ module Ats6RD_TestCases { PX_CPE_IPv4_ADDRESS, // containing source address indicating CPE IPv4 address PX_IPv4_ANYCAST_ADDRESS, // containing destination address indicating IUT GW IPv4 anycast address m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, { rawPayload := bit2oct(encvalue(v_ipv6Packet)) }, // containing IPv6 payload m_tcp_flags_syn Loading Loading @@ -3270,8 +3270,8 @@ module Ats6RD_TestCases { PX_CPE_IPv4_ADDRESS, // containing source address indicating CPE IPv4 address PX_IPv4_ANYCAST_ADDRESS, // containing destination address indicating IUT GW IPv4 anycast address m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, { rawPayload := bit2oct(encvalue(v_ipv6Packet)) }, // containing IPv6 payload m_tcp_flags_syn Loading Loading @@ -3502,8 +3502,8 @@ module Ats6RD_TestCases { PX_CPE_IPv4_ADDRESS, // containing source address indicating CPE IPv4 address PX_BR_GW_IPv4_ADDRESS, // containing destination address indicating IUT GW IPv4 anycast address m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, { rawPayload := bit2oct(encvalue(v_ipv6Packet)) }, // containing IPv6 payload m_tcp_flags_syn Loading Loading @@ -3704,8 +3704,8 @@ module Ats6RD_TestCases { PX_CPE_IPv4_ADDRESS, // containing source address indicating CPE IPv4 address PX_BR_GW_IPv4_ADDRESS, // containing destination address indicating IUT GW IPv4 anycast address m_tcp_packet( PX_ETS_PORT, PX_IUT_PORT, PX_ETS_TCP_PORT, PX_IUT_TCP_PORT, { rawPayload := bit2oct(encvalue(v_ipv6Packet)) }, // containing IPv6 payload m_tcp_flags_syn Loading
ttcn/AtsDSlite/AtsDSLite_Pixits.ttcn3 +2 −2 Original line number Diff line number Diff line Loading @@ -21,7 +21,7 @@ module AtsDSLite_Pixits { /** * @desc Indicates the IPv4 address of the B4 equipment */ modulepar Ipv4Address PX_AFTR_B4_IPv4ADDRESS := c_4ZeroBytes; modulepar Ipv4Address PX_AFTR_B4_IPv4ADDRESS := '0A010101'O; /** * @desc Indicates the IPv6 address of the B4 equipment Loading @@ -41,7 +41,7 @@ module AtsDSLite_Pixits { /** * @desc Indicates the IPv4 WEB server address */ modulepar Ipv4Address PX_WEB_SERVER_IPv4 := c_4ZeroBytes; modulepar Ipv4Address PX_WEB_SERVER_IPv4 := '0A030303'O; /** * @desc Defines a list of IPv4 host services Loading