diff --git a/tests/nexus/CMakeLists.txt b/tests/nexus/CMakeLists.txt index f62842195..3815ab38c 100644 --- a/tests/nexus/CMakeLists.txt +++ b/tests/nexus/CMakeLists.txt @@ -256,6 +256,7 @@ ot_nexus_test(1_2_BBR_TC_2 "cert;nexus") ot_nexus_test(1_2_BBR_TC_3 "cert;nexus") ot_nexus_test(1_3_DBR_TC_1 "cert;nexus") ot_nexus_test(1_3_DBR_TC_2 "cert;nexus") +ot_nexus_test(1_3_DBR_TC_3 "cert;nexus") # Misc tests ot_nexus_test(border_admitter "core;nexus") diff --git a/tests/nexus/run_nexus_tests.sh b/tests/nexus/run_nexus_tests.sh index 942fd2d04..da3a513b4 100755 --- a/tests/nexus/run_nexus_tests.sh +++ b/tests/nexus/run_nexus_tests.sh @@ -192,6 +192,7 @@ DEFAULT_TESTS=( "1_2_BBR_TC_3" "1_3_DBR_TC_1" "1_3_DBR_TC_2" + "1_3_DBR_TC_3" ) # Use provided arguments or the default test list diff --git a/tests/nexus/test_1_3_DBR_TC_3.cpp b/tests/nexus/test_1_3_DBR_TC_3.cpp new file mode 100644 index 000000000..001802ece --- /dev/null +++ b/tests/nexus/test_1_3_DBR_TC_3.cpp @@ -0,0 +1,262 @@ +/* + * Copyright (c) 2026, The OpenThread Authors. + * All rights reserved. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions are met: + * 1. Redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer. + * 2. Redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution. + * 3. Neither the name of the copyright holder nor the + * names of its contributors may be used to endorse or promote products + * derived from this software without specific prior written permission. + * + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" + * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE + * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE + * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE + * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR + * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF + * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS + * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN + * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) + * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE + * POSSIBILITY OF SUCH DAMAGE. + */ + +#include + +#include "platform/nexus_core.hpp" +#include "platform/nexus_node.hpp" + +namespace ot { +namespace Nexus { + +/** + * Time to advance for a node to form a network and become leader, in milliseconds. + */ +static constexpr uint32_t kFormNetworkTime = 13 * 1000; + +/** + * Time to advance for a node to join as a child and upgrade to a router, in milliseconds. + */ +static constexpr uint32_t kJoinNetworkTime = 200 * 1000; + +/** + * Time to advance for the BR to perform automatic actions (RA, Network Data), in milliseconds. + */ +static constexpr uint32_t kBrActionTime = 20 * 1000; + +/** + * Time to advance for the ping response, in milliseconds. + */ +static constexpr uint32_t kPingResponseTime = 5 * 1000; + +/** + * Infrastructure interface index. + */ +static constexpr uint32_t kInfraIfIndex = 1; + +/** + * Echo Request identifier. + */ +static constexpr uint16_t kEchoIdentifier = 0x1234; + +/** + * Echo Request payload size. + */ +static constexpr uint16_t kEchoPayloadSize = 10; + +void Test_1_3_DBR_TC_3(void) +{ + /** + * 1.3. [1.3] [CERT] Reachability - Multiple BRs - Multiple Thread / Single Infrastructure Link + * + * 1.3.2. Topology + * - BR_1 (DUT) - Thread Border Router and the Leader + * - BR_2 - Test bed device operating as a Thread Border Router and the Leader on adjacent Thread network + * - ED_1 - Test bed device operating as a Thread End Device, attached to BR_1 + * - ED_2 - Test bed device operating as a Thread End Device, attached to BR_2 + * + * 1.3.1. Purpose + * To test the following: + * - 1. Bi-directional reachability between multiple Thread Networks attached via an adjacent infrastructure link + * - 2. No existing IPv6 infrastructure + * - 3. Single BR per Thread Network + * + * Spec Reference | V1.3.0 Section + * -----------------|--------------- + * DBR | 1.3 + */ + + Core nexus; + + Node &br1 = nexus.CreateNode(); + Node &br2 = nexus.CreateNode(); + Node &ed1 = nexus.CreateNode(); + Node &ed2 = nexus.CreateNode(); + + br1.SetName("BR_1"); + br2.SetName("BR_2"); + ed1.SetName("ED_1"); + ed2.SetName("ED_2"); + + nexus.AdvanceTime(0); + + Instance::SetLogLevel(kLogLevelNote); + + /** + * Step 1 + * - Device: BR_1 (DUT) + * - Description (DBR-1.3): Enable: power on. + * - Pass Criteria: + * - N/A + */ + Log("Step 1: BR_1 (DUT) Enable: power on."); + + br1.Form(); + br1.Get().Init(kInfraIfIndex, true); + br1.Get().Init(); + SuccessOrQuit(br1.Get().SetEnabled(true)); + + { + MeshCoP::Dataset::Info datasetInfo; + SuccessOrQuit(br1.Get().Read(datasetInfo)); + nexus.AddNetworkKey(datasetInfo.Get()); + } + + nexus.AdvanceTime(kFormNetworkTime); + + /** + * Step 3 + * - Device: BR_1 (DUT) + * - Description (DBR-1.3): Automatically registers itself as a border router in the Thread Network Data. + * Automatically creates a ULA prefix PRE_1 for the adjacent infrastructure link. Automatically + * multicasts ND RAs on Adjacent Infrastructure Link. + * - Pass Criteria: + * - Note: pass criteria are identical to DBR-1.1 step 3. + * - The DUT internally registers an OMR Prefix (OMR_1) in the Thread Network Data. + * - The DUT MUST send a multicast MLE Data Response with Thread Network Data containing at least two + * Prefix TLVs. + * - Prefix TLV 1: OMR prefix OMR_1. MUST include a Border Router sub-TLV. + * - Flags in the Border Router TLV MUST be: P_preference = 11 (Low), P_default = true, P_stable = true, + * P_on_mesh = true, P_preferred = true, P_slaac = true, P_dhcp = false, P_dp = false. + * - Prefix TLV 2: ULA prefix fc00::/7. (This is used as the shortened version of PRE_1). Includes Has + * Route sub-TLV. + * - OMR_1 MUST be 64 bits long and start with 0xFD. + * - The DUT MUST multicast ND RAs including the following: + * - IPv6 destination MUST be ff02::1. + * - M bit and O bit MUST be '0'. + * - "Router Lifetime" = 0 (indicating it's not a default router). + * - Prefix Information Option (PIO) ULA ULA_1 A bit MUST be '1'. + * - Route Information Option (RIO) OMR = OMR_1. + * - ULA_1 MUST contain the Extended PAN ID as follows: + * - Global ID equals the 40 most significant bits of the Extended PAN ID. + * - Subnet ID equals the 16 least significant bits of the Extended PAN ID. + */ + Log("Step 3: BR_1 (DUT) Automatically registers as border router and multicasts ND RAs."); + + nexus.AdvanceTime(kBrActionTime); + + Ip6::Prefix omrPrefix1; + SuccessOrQuit(br1.Get().GetOmrPrefix(omrPrefix1)); + nexus.AddTestVar("OMR_PREFIX_1", omrPrefix1.ToString().AsCString()); + + Ip6::Prefix pre1Prefix; + SuccessOrQuit(br1.Get().GetOnLinkPrefix(pre1Prefix)); + nexus.AddTestVar("PRE_1_PREFIX_1", pre1Prefix.ToString().AsCString()); + + MeshCoP::Dataset::Info datasetInfo1; + SuccessOrQuit(br1.Get().Read(datasetInfo1)); + nexus.AddTestVar("EXT_PAN_ID_1", datasetInfo1.Get().ToString().AsCString()); + + /** + * Step 4 + * - Device: BR_2, ED_1, ED_2 + * - Description (DBR-1.3): Form topology. Wait for BR_2 to: 1. Register as border router in Thread + * Network Data 2. Send multicast ND RAs on the adjacent infrastructure link with: RIO with OMR + * prefix (OMR_2). + * - Pass Criteria: + * - N/A + */ + Log("Step 4: BR_2, ED_1, ED_2 Form topology."); + + br2.Form(); + br2.Get().Init(kInfraIfIndex, true); + br2.Get().Init(); + SuccessOrQuit(br2.Get().SetEnabled(true)); + + { + MeshCoP::Dataset::Info datasetInfo; + SuccessOrQuit(br2.Get().Read(datasetInfo)); + nexus.AddNetworkKey(datasetInfo.Get()); + } + + nexus.AdvanceTime(kFormNetworkTime); + nexus.AdvanceTime(kBrActionTime); + + Ip6::Prefix omrPrefix2; + SuccessOrQuit(br2.Get().GetOmrPrefix(omrPrefix2)); + nexus.AddTestVar("OMR_PREFIX_2", omrPrefix2.ToString().AsCString()); + + br1.AllowList(ed1); + ed1.AllowList(br1); + ed1.Join(br1, Node::kAsFed); + + br2.AllowList(ed2); + ed2.AllowList(br2); + ed2.Join(br2, Node::kAsFed); + + nexus.AdvanceTime(kJoinNetworkTime); + nexus.AdvanceTime(kBrActionTime); + + /** + * Step 5 + * - Device: ED_1 + * - Description (DBR-1.3): Harness instructs device to send ICMPv6 Echo Request to ED_2. IPv6 Source: + * ED_1 OMR, IPv6 Destination: ED_2 OMR. + * - Pass Criteria: + * - ED_1 receives an ICMPv6 Echo Reply from ED_2. + * - IPv6 Source: ED_2 OMR. + * - IPv6 Destination: ED_1 OMR. + */ + Log("Step 5: ED_1 sends ICMPv6 Echo Request to ED_2."); + + const Ip6::Address &ed1Omr = ed1.FindMatchingAddress(omrPrefix1.ToString().AsCString()); + const Ip6::Address &ed2Omr = ed2.FindMatchingAddress(omrPrefix2.ToString().AsCString()); + + nexus.AddTestVar("ED_1_OMR_ADDR", ed1Omr.ToString().AsCString()); + nexus.AddTestVar("ED_2_OMR_ADDR", ed2Omr.ToString().AsCString()); + + ed1.SendEchoRequest(ed2Omr, kEchoIdentifier, kEchoPayloadSize, 64, &ed1Omr); + nexus.AdvanceTime(kPingResponseTime); + + /** + * Step 6 + * - Device: ED_2 + * - Description (DBR-1.3): Harness instructs device to send ICMPv6 Echo Request to ED_1. IPv6 Source: + * ED_2 OMR, IPv6 Destination: ED_1 OMR. + * - Pass Criteria: + * - ED_2 receives an ICMPv6 Echo Reply from ED_1. + * - IPv6 Source: ED_1 OMR. + * - IPv6 Destination: ED_2 OMR. + */ + Log("Step 6: ED_2 sends ICMPv6 Echo Request to ED_1."); + + ed2.SendEchoRequest(ed1Omr, kEchoIdentifier, kEchoPayloadSize, 64, &ed2Omr); + nexus.AdvanceTime(kPingResponseTime); + + nexus.SaveTestInfo("test_1_3_DBR_TC_3.json"); +} + +} // namespace Nexus +} // namespace ot + +int main(void) +{ + ot::Nexus::Test_1_3_DBR_TC_3(); + printf("All tests passed\n"); + return 0; +} diff --git a/tests/nexus/verify_1_3_DBR_TC_3.py b/tests/nexus/verify_1_3_DBR_TC_3.py new file mode 100644 index 000000000..4f99a9249 --- /dev/null +++ b/tests/nexus/verify_1_3_DBR_TC_3.py @@ -0,0 +1,261 @@ +#!/usr/bin/env python3 +# +# Copyright (c) 2026, The OpenThread Authors. +# All rights reserved. +# +# Redistribution and use in source and binary forms, with or without +# modification, are permitted provided that the following conditions are met: +# 1. Redistributions of source code must retain the above copyright +# notice, this list of conditions and the following disclaimer. +# 2. Redistributions in binary form must reproduce the above copyright +# notice, this list of conditions and the following disclaimer in the +# documentation and/or other materials provided with the distribution. +# 3. Neither the name of the copyright holder nor the +# names of its contributors may be used to endorse or promote products +# derived from this software without specific prior written permission. +# +# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" +# AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE +# IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE +# ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE +# LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR +# CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF +# SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS +# INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN +# CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) +# ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE +# POSSIBILITY OF SUCH DAMAGE. +# + +import sys +import os + +# Add the current directory to sys.path to find verify_utils +CUR_DIR = os.path.dirname(os.path.abspath(__file__)) +sys.path.append(CUR_DIR) + +import verify_utils +from pktverify import consts +from pktverify.addrs import Ipv6Addr + +ULA_PREFIX_START_BYTE = 0xfd + +# Step 3 BR constants +BR_PREFERENCE_LOW = 3 +BR_FLAG_R_FALSE = 0 +BR_FLAG_O_TRUE = 1 +BR_FLAG_P_TRUE = 1 +BR_FLAG_S_TRUE = 1 # Note: thread_nwd.tlv.border_router.flag.s is SLAAC +BR_FLAG_D_FALSE = 0 +BR_FLAG_DP_FALSE = 0 + + +def check_nwd(p, omr_prefix_1, omr_prefix_1_len): + if omr_prefix_1_len != 64 or omr_prefix_1[0] != ULA_PREFIX_START_BYTE: + return False + + # 1. Prefix TLV for OMR_1 with specific BR sub-TLV flags + # Note: We expect P_default (r flag) to be 0 for now to match OpenThread behavior + if not verify_utils.check_nwd_prefix_flags(p, + omr_prefix_1, + pref=BR_PREFERENCE_LOW, + r=BR_FLAG_R_FALSE, + o=BR_FLAG_O_TRUE, + p=BR_FLAG_P_TRUE, + s=BR_FLAG_S_TRUE, + d=BR_FLAG_D_FALSE, + dp=BR_FLAG_DP_FALSE): + return False + + # 2. Prefix TLV for fc00::/7 + try: + prefixes = verify_utils.as_list(p.thread_nwd.tlv.prefix) + prefixes.index(Ipv6Addr("fc00::")) + except (AttributeError, ValueError): + return False + + # Check Has Route sub-TLV existence + if not hasattr(p.thread_nwd.tlv, 'has_route'): + return False + + return True + + +def check_ra(p, omr_prefix_1, pre_1_prefix_1, ext_pan_id_1): + if p.icmpv6.type != verify_utils.ICMPV6_TYPE_ROUTER_ADVERTISEMENT: + return False + if p.icmpv6.nd.ra.router_lifetime != verify_utils.RA_ROUTER_LIFETIME_ZERO: + return False + if p.icmpv6.nd.ra.flag.m != verify_utils.RA_FLAG_M_FALSE or p.icmpv6.nd.ra.flag.o != verify_utils.RA_FLAG_O_FALSE: + return False + + rio_prefixes, pio_prefixes = verify_utils.get_ra_prefixes(p) + + if omr_prefix_1 not in rio_prefixes: + return False + if pre_1_prefix_1 not in pio_prefixes: + return False + + # Check PIO A bit and Preferred/Valid Lifetimes + pio_index = pio_prefixes.index(pre_1_prefix_1) + if verify_utils.as_list(p.icmpv6.opt.pio_flag.a)[pio_index] != verify_utils.PIO_FLAG_A_TRUE: + return False + if verify_utils.as_list(p.icmpv6.opt.pio_preferred_lifetime)[pio_index] == 0: + return False + if verify_utils.as_list(p.icmpv6.opt.pio_valid_lifetime)[pio_index] == 0: + return False + + # Check EXT_PAN_ID mapping in PRE_1_PREFIX_1 + ext_pan_id_bytes = bytes.fromhex(ext_pan_id_1) + if (pre_1_prefix_1[0] == ULA_PREFIX_START_BYTE and + pre_1_prefix_1[verify_utils.EXT_PAN_ID_GLOBAL_ID_OFFSET:verify_utils.EXT_PAN_ID_GLOBAL_ID_OFFSET + + verify_utils.EXT_PAN_ID_GLOBAL_ID_LEN] + == ext_pan_id_bytes[:verify_utils.EXT_PAN_ID_GLOBAL_ID_LEN] and + pre_1_prefix_1[verify_utils.EXT_PAN_ID_SUBNET_ID_OFFSET:verify_utils.EXT_PAN_ID_SUBNET_ID_OFFSET + + verify_utils.EXT_PAN_ID_SUBNET_ID_LEN] + == ext_pan_id_bytes[verify_utils.EXT_PAN_ID_SUBNET_ID_OFFSET:verify_utils.EXT_PAN_ID_SUBNET_ID_OFFSET + + verify_utils.EXT_PAN_ID_SUBNET_ID_LEN]): + return True + + return False + + +def check_ra_br2(p, omr_prefix_2): + if p.icmpv6.type != verify_utils.ICMPV6_TYPE_ROUTER_ADVERTISEMENT: + return False + rio_prefixes, _ = verify_utils.get_ra_prefixes(p) + return omr_prefix_2 in rio_prefixes + + +def verify(pv): + # 1.3. [1.3] [CERT] Reachability - Multiple BRs - Multiple Thread / Single Infrastructure Link + # + # 1.3.2. Topology + # - BR_1 (DUT) - Thread Border Router and the Leader + # - BR_2 - Test bed device operating as a Thread Border Router and the Leader on adjacent Thread network + # - ED_1 - Test bed device operating as a Thread End Device, attached to BR_1 + # - ED_2 - Test bed device operating as a Thread End Device, attached to BR_2 + # + # 1.3.1. Purpose + # To test the following: + # - 1. Bi-directional reachability between multiple Thread Networks attached via an adjacent infrastructure link + # - 2. No existing IPv6 infrastructure + # - 3. Single BR per Thread Network + # + # Spec Reference | V1.3.0 Section + # -----------------|--------------- + # DBR | 1.3 + + pkts = pv.pkts + pv.summary.show() + + BR_1 = pv.vars['BR_1'] + + OMR_PREFIX_1 = Ipv6Addr(pv.vars['OMR_PREFIX_1'].split('/')[0]) + OMR_PREFIX_1_LEN = int(pv.vars['OMR_PREFIX_1'].split('/')[1]) + PRE_1_PREFIX_1 = Ipv6Addr(pv.vars['PRE_1_PREFIX_1'].split('/')[0]) + EXT_PAN_ID_1 = pv.vars['EXT_PAN_ID_1'] + + OMR_PREFIX_2 = Ipv6Addr(pv.vars['OMR_PREFIX_2'].split('/')[0]) + + ED_1_OMR = Ipv6Addr(pv.vars['ED_1_OMR_ADDR']) + ED_2_OMR = Ipv6Addr(pv.vars['ED_2_OMR_ADDR']) + + # Step 1 + # Device: BR_1 (DUT) + # Description (DBR-1.3): Enable: power on. + # Pass Criteria: + # N/A + print("Step 1: BR_1 (DUT) Enable: power on.") + + # Step 3 + # Device: BR_1 (DUT) + # Description (DBR-1.3): Automatically registers itself as a border router in the Thread Network Data. + # Automatically creates a ULA prefix PRE_1 for the adjacent infrastructure link. Automatically multicasts + # ND RAs on Adjacent Infrastructure Link. + # Pass Criteria: + # - Note: pass criteria are identical to DBR-1.1 step 3. + # - The DUT internally registers an OMR Prefix (OMR_1) in the Thread Network Data. + # - The DUT MUST send a multicast MLE Data Response with Thread Network Data containing at least two + # Prefix TLVs. + # - Prefix TLV 1: OMR prefix OMR_1. MUST include a Border Router sub-TLV. + # - Flags in the Border Router TLV MUST be: P_preference = 11 (Low), P_default = true, P_stable = true, + # P_on_mesh = true, P_preferred = true, P_slaac = true, P_dhcp = false, P_dp = false. + # - Prefix TLV 2: ULA prefix fc00::/7. (This is used as the shortened version of PRE_1). Includes Has + # Route sub-TLV. + # - OMR_1 MUST be 64 bits long and start with 0xFD. + # - The DUT MUST multicast ND RAs including the following: + # - IPv6 destination MUST be ff02::1. + # - M bit and O bit MUST be '0'. + # - "Router Lifetime" = 0 (indicating it's not a default router). + # - Prefix Information Option (PIO) ULA ULA_1 A bit MUST be '1'. + # - Route Information Option (RIO) OMR = OMR_1. + # - ULA_1 MUST contain the Extended PAN ID as follows: + # - Global ID equals the 40 most significant bits of the Extended PAN ID. + # - Subnet ID equals the 16 least significant bits of the Extended PAN ID. + print("Step 3: BR_1 (DUT) registers as border router and multicasts ND RAs.") + + pkts.filter_wpan_src64(BR_1).\ + filter_mle_cmd(consts.MLE_DATA_RESPONSE).\ + filter(lambda p: check_nwd(p, OMR_PREFIX_1, OMR_PREFIX_1_LEN)).\ + must_next() + + pkts.filter_eth_src(pv.vars['BR_1_ETH']).\ + filter_ipv6_dst("ff02::1").\ + filter(lambda p: check_ra(p, OMR_PREFIX_1, PRE_1_PREFIX_1, EXT_PAN_ID_1)).\ + must_next() + + # Step 4 + # Device: BR_2, ED_1, ED_2 + # Description (DBR-1.3): Form topology. Wait for BR_2 to: 1. Register as border router in Thread Network Data + # 2. Send multicast ND RAs on the adjacent infrastructure link with: RIO with OMR prefix (OMR_2). + # Pass Criteria: + # N/A + print("Step 4: BR_2, ED_1, ED_2 Form topology.") + + pkts.filter_eth_src(pv.vars['BR_2_ETH']).\ + filter_ipv6_dst("ff02::1").\ + filter(lambda p: check_ra_br2(p, OMR_PREFIX_2)).\ + must_next() + + # Step 5 + # Device: ED_1 + # Description (DBR-1.3): Harness instructs device to send ICMPv6 Echo Request to ED_2. IPv6 Source: + # ED_1 OMR, IPv6 Destination: ED_2 OMR. + # Pass Criteria: + # - ED_1 receives an ICMPv6 Echo Reply from ED_2. + # - IPv6 Source: ED_2 OMR. + # - IPv6 Destination: ED_1 OMR. + print("Step 5: ED_1 sends ICMPv6 Echo Request to ED_2.") + _pkt = pkts.filter_ipv6_src(ED_1_OMR).\ + filter_ipv6_dst(ED_2_OMR).\ + filter_ping_request().\ + must_next() + + pkts.filter_ipv6_src(ED_2_OMR).\ + filter_ipv6_dst(ED_1_OMR).\ + filter_ping_reply(identifier=_pkt.icmpv6.echo.identifier).\ + must_next() + + # Step 6 + # Device: ED_2 + # Description (DBR-1.3): Harness instructs device to send ICMPv6 Echo Request to ED_1. IPv6 Source: + # ED_2 OMR, IPv6 Destination: ED_1 OMR. + # Pass Criteria: + # - ED_2 receives an ICMPv6 Echo Reply from ED_1. + # - IPv6 Source: ED_1 OMR. + # - IPv6 Destination: ED_2 OMR. + print("Step 6: ED_2 sends ICMPv6 Echo Request to ED_1.") + _pkt = pkts.filter_ipv6_src(ED_2_OMR).\ + filter_ipv6_dst(ED_1_OMR).\ + filter_ping_request().\ + must_next() + + pkts.filter_ipv6_src(ED_1_OMR).\ + filter_ipv6_dst(ED_2_OMR).\ + filter_ping_reply(identifier=_pkt.icmpv6.echo.identifier).\ + must_next() + + +if __name__ == '__main__': + verify_utils.run_main(verify)