espressif/openthread
1
0
Fork 0
mirror of https://github.com/espressif/openthread.git synced 2026-09-16 14:10:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

[nexus] add test 5.1.9 Attaching to a REED with better connectivity (#12378)

Browse Source 
Adds a new Nexus test case for 'Attaching to a REED with better
connectivity' (5.1.9) as specified in the test specification.

Summary of changes:
- Implemented Nexus test 5.1.9:
    - Added test_5_1_9.cpp: Sets up a Leader, Router_1, REED_1, REED_2, and
      Router_2 (DUT). Configures REED_1 with better connectivity (links to
      both Leader and Router_1) than REED_2 (link only to Leader). Verifies
      that the DUT selects REED_1 as its parent.
    - Added verify_5_1_9.py: PCAP verification script for test 5.1.9,
      verifying MLE Parent Requests (Scan Masks 0x80 and 0xC0), Key ID Mode
      0x02 in Step 5, ensuring REEDs do not respond to the first Parent
      Request, comparing Connectivity TLV contents in Parent Responses to
      ensure REED_1 is correctly selected, and ensuring Address Registration
      TLV is absent in the Child ID Request.
- Updated build and execution scripts:
    - Modified CMakeLists.txt to build the new 5.1.9 test executable.
    - Updated run_nexus_tests.sh to include 5.1.9 in the default test list.
This commit is contained in:
Jonathan Hui
2026-02-06 11:08:34 -08:00
committed by GitHub
parent fef1426221
commit 6f045ef8ab
9 changed files with 495 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/nexus/CMakeLists.txt
+1
View File
@@ -121,6 +121,7 @@ ot_nexus_test(5_1_5)
ot_nexus_test(5_1_6)
ot_nexus_test(5_1_7)
ot_nexus_test(5_1_8)
ot_nexus_test(5_1_9)
ot_nexus_test(border_agent)
ot_nexus_test(border_agent_tracker)
ot_nexus_test(discover_scan)
tests/nexus/run_nexus_tests.sh
+1
View File
@@ -56,6 +56,7 @@ DEFAULT_TESTS=(
"5_1_6"
"5_1_7"
"5_1_8"
"5_1_9"
)
# Use provided arguments or the default test list
tests/nexus/test_5_1_1.cpp
+3 -3
View File
@@ -96,9 +96,9 @@ void Test5_1_1(void)
* This test case must be executed twice, first - where the DUT is a Leader and forms a network,
* and second - where the DUT is a router and attaches to a network.
*
* Spec Reference | V1.1 Section | V1.3.0 Section
* ------------------------|--------------|---------------
* Attaching to a Parent | 4.7.1 | 4.5.1
* Spec Reference | V1.1 Section | V1.3.0 Section
* -------------------------------------------|-----------------|-----------------
* Attaching to a Parent | 4.7.1 | 4.5.1
*/
Core nexus;
tests/nexus/test_5_1_9.cpp
+262
View File
@@ -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 <stdio.h>
#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.
*/
static constexpr uint32_t kFormNetworkTime = 13 * 1000;
/**
* Time to advance for a node to join as a child.
*/
static constexpr uint32_t kJoinTime = 20 * 1000;
/**
* Time to advance for a node to join as a child and upgrade to a router.
* This duration accounts for MLE attach process and ROUTER_SELECTION_JITTER.
*/
static constexpr uint32_t kAttachToRouterTime = 200 * 1000;
/**
* Time to advance to wait for the first Parent Request (Routers only) and lack of response.
*/
static constexpr uint32_t kWaitFirstParentRequestTime = 1000;
/**
* Time to advance to wait for the second Parent Request (Routers and REEDs).
*/
static constexpr uint32_t kWaitSecondParentRequestTime = 2000;
/**
* RSSI to enable a link quality of 3.
*/
static constexpr int8_t kLq3Rssi = -50;
void Test5_1_9(void)
{
/**
* 5.1.9 Attaching to a REED with better connectivity
*
* 5.1.9.1 Topology
* - Leader
* - Router_1
* - REED_1
* - REED_2
* - Router_2 (DUT)
*
* 5.1.9.2 Purpose & Description
* The purpose of this test case is to validate that the DUT will pick REED_1 as its parent because of its better
* connectivity.
* - In order for this test case to be valid, the link quality between all nodes must be of the highest quality
* (3). If this condition cannot be met the test case is invalid.
*
* Spec Reference | V1.1 Section | V1.3.0 Section
* -------------------------------------------|-----------------|-----------------
* Parent Selection | 4.7.2 | 4.5.2
*/
Core nexus;
Node &leader = nexus.CreateNode();
Node &router1 = nexus.CreateNode();
Node &reed1 = nexus.CreateNode();
Node &reed2 = nexus.CreateNode();
Node &dut = nexus.CreateNode();
leader.SetName("LEADER");
router1.SetName("ROUTER_1");
reed1.SetName("REED_1");
reed2.SetName("REED_2");
dut.SetName("DUT");
nexus.AdvanceTime(0);
Instance::SetLogLevel(kLogLevelInfo);
/**
* Step 1: Leader, Router_1, REED_2, REED_1
* - Description: Setup the topology without the DUT. Verify Router_1 and the Leader are sending MLE
* advertisements.
* - Pass Criteria: N/A
*/
Log("Step 1: Setup the topology without the DUT");
leader.AllowList(router1);
router1.AllowList(leader);
leader.AllowList(reed1);
reed1.AllowList(leader);
leader.AllowList(reed2);
reed2.AllowList(leader);
router1.AllowList(reed1);
reed1.AllowList(router1);
leader.Form();
nexus.AdvanceTime(kFormNetworkTime);
router1.Join(leader);
nexus.AdvanceTime(kAttachToRouterTime);
reed1.Join(leader);
reed1.Get<Mle::Mle>().SetRouterUpgradeThreshold(0);
reed2.Join(leader);
reed2.Get<Mle::Mle>().SetRouterUpgradeThreshold(0);
nexus.AdvanceTime(kJoinTime);
VerifyOrQuit(leader.Get<Mle::Mle>().IsLeader());
VerifyOrQuit(router1.Get<Mle::Mle>().IsRouter());
VerifyOrQuit(reed1.Get<Mle::Mle>().IsChild());
VerifyOrQuit(reed2.Get<Mle::Mle>().IsChild());
/**
* Step 2: Test Harness
* - Description: Harness configures the RSSI between Leader, Router_1, Router_2 (DUT), REED_1, and REED_2 to enable
* a link quality of 3 (highest).
* - Pass Criteria: N/A
*/
Log("Step 2: Harness configures the RSSI");
IgnoreError(leader.Get<Mac::Filter>().AddRssIn(router1.Get<Mac::Mac>().GetExtAddress(), kLq3Rssi));
IgnoreError(leader.Get<Mac::Filter>().AddRssIn(reed1.Get<Mac::Mac>().GetExtAddress(), kLq3Rssi));
IgnoreError(leader.Get<Mac::Filter>().AddRssIn(reed2.Get<Mac::Mac>().GetExtAddress(), kLq3Rssi));
IgnoreError(router1.Get<Mac::Filter>().AddRssIn(leader.Get<Mac::Mac>().GetExtAddress(), kLq3Rssi));
IgnoreError(router1.Get<Mac::Filter>().AddRssIn(reed1.Get<Mac::Mac>().GetExtAddress(), kLq3Rssi));
IgnoreError(reed1.Get<Mac::Filter>().AddRssIn(leader.Get<Mac::Mac>().GetExtAddress(), kLq3Rssi));
IgnoreError(reed1.Get<Mac::Filter>().AddRssIn(router1.Get<Mac::Mac>().GetExtAddress(), kLq3Rssi));
IgnoreError(reed2.Get<Mac::Filter>().AddRssIn(leader.Get<Mac::Mac>().GetExtAddress(), kLq3Rssi));
// Setup DUT connectivity (only to REEDs)
dut.AllowList(reed1);
reed1.AllowList(dut);
dut.AllowList(reed2);
reed2.AllowList(dut);
IgnoreError(dut.Get<Mac::Filter>().AddRssIn(reed1.Get<Mac::Mac>().GetExtAddress(), kLq3Rssi));
IgnoreError(dut.Get<Mac::Filter>().AddRssIn(reed2.Get<Mac::Mac>().GetExtAddress(), kLq3Rssi));
IgnoreError(reed1.Get<Mac::Filter>().AddRssIn(dut.Get<Mac::Mac>().GetExtAddress(), kLq3Rssi));
IgnoreError(reed2.Get<Mac::Filter>().AddRssIn(dut.Get<Mac::Mac>().GetExtAddress(), kLq3Rssi));
/**
* Step 3: Router_2 (DUT)
* - Description: Automatically begins attach process by sending a multicast MLE Parent Request.
* - Pass Criteria:
* - The DUT MUST send MLE Parent Request to the Link-Local All-Routers multicast address (FF02::2) with an IP Hop
* Limit of 255.
* - The following TLVs MUST be present in the MLE Parent Request:
* - Mode TLV
* - Challenge TLV
* - Scan Mask TLV = 0x80 (Active Routers)
* - Version TLV
*/
Log("Step 3: Router_2 (DUT) begins attach process");
dut.Get<Mle::Mle>().SetRouterEligible(false);
dut.Join(reed1); // reed1 is just a placeholder here, it will scan.
/**
* Step 4: REED_2, REED_1
* - Description: Devices do not respond to the All-Routers Parent Request.
* - Pass Criteria: N/A
*/
Log("Step 4: REEDs do not respond to the All-Routers Parent Request");
nexus.AdvanceTime(kWaitFirstParentRequestTime); // Wait for the first Parent Request and lack of response.
/**
* Step 5: Router_2 (DUT)
* - Description: Automatically sends MLE Parent Request with Scan Mask set to Routers and REEDs.
* - Pass Criteria:
* - The DUT MUST send MLE Parent Request to the Link-Local All-Routers multicast address (FF02::2) with an IP Hop
* Limit of 255.
* - The following TLVs MUST be present in the MLE Parent Request:
* - Challenge TLV
* - Mode TLV
* - Scan Mask TLV = 0xC0 (Active Routers and REEDs)
* - Version TLV
* - The Key Identifier Mode of the Security Control field of the MAC frame Auxiliary Security Header MUST be set
* to '0x02'
*/
Log("Step 5: Router_2 (DUT) sends MLE Parent Request with Scan Mask set to Routers and REEDs");
// This happens automatically in Join process when no router responds.
nexus.AdvanceTime(kWaitSecondParentRequestTime);
/**
* Step 6: REED_1, REED_2
* - Description: Each device automatically responds to DUT with MLE Parent Response. REED_1 reports more high
* quality connection than REED_2 in the Connectivity TLV.
* - Pass Criteria: N/A
*/
Log("Step 6: REEDs respond with MLE Parent Response");
// REEDs respond automatically.
/**
* Step 7: Router_2 (DUT)
* - Description: Automatically sends a MLE Child ID Request to REED_1.
* - Pass Criteria:
* - The DUT MUST unicast MLE Child ID Request to REED_1, including the following TLVs:
* - Link-layer Frame Counter TLV
* - Mode TLV
* - Response TLV
* - Timeout TLV
* - TLV Request TLV
* - Version TLV
* - MLE Frame Counter TLV (optional)
* - The following TLV MUST NOT be present in the Child ID Request:
* - Address Registration TLV
*/
Log("Step 7: Router_2 (DUT) sends a MLE Child ID Request to REED_1");
// Wait for Child ID exchange.
nexus.AdvanceTime(kJoinTime);
VerifyOrQuit(dut.Get<Mle::Mle>().IsAttached());
VerifyOrQuit(dut.Get<Mle::Mle>().IsChild());
VerifyOrQuit(dut.Get<Mle::Mle>().GetParent().GetExtAddress() == reed1.Get<Mac::Mac>().GetExtAddress());
nexus.SaveTestInfo("test_5_1_9.json");
}
} // namespace Nexus
} // namespace ot
int main(void)
{
ot::Nexus::Test5_1_9();
printf("All tests passed\n");
return 0;
}
tests/nexus/verify_5_1_1.py
+3 -3
View File
@@ -51,9 +51,9 @@ def verify(pv):
# This test case must be executed twice, first - where the DUT is a Leader and forms a network,
# and second - where the DUT is a router and attaches to a network.
#
# Spec Reference: Attaching to a Parent
# V1.1 Section: 4.7.1
# V1.3.0 Section: 4.5.1
# Spec Reference | V1.1 Section | V1.3.0 Section
# -------------------------------------------|-----------------|-----------------
# Attaching to a Parent | 4.7.1 | 4.5.1
pkts = pv.pkts
pv.summary.show()
tests/nexus/verify_5_1_2.py
+3 -3
View File
@@ -51,9 +51,9 @@ def verify(pv):
5.1.2.2 Purpose & Description
The purpose of the test case is to verify that when the timer reaches the value of the Timeout TLV sent by the Child, the Parent stops responding to Address Query on the Child's behalf.
Spec Reference: Timing Out Children
V1.1 Section: 4.7.5
V1.3.0 Section: 4.6.3
Spec Reference | V1.1 Section | V1.3.0 Section
-------------------------------------------|-----------------|-----------------
Timing Out Children | 4.7.5 | 4.6.3
"""
pkts = pv.pkts
tests/nexus/verify_5_1_3.py
+3 -3
View File
@@ -50,9 +50,9 @@ def verify(pv):
# The purpose of this test case is to verify that after the removal of the Leader from the network, the DUT will
# first attempt to reattach to the original partition (P1), and then attach to a new partition (P2).
#
# Spec Reference: Router ID Management / Router ID Assignment
# V1.1 Section: 5.9.9 / 5.9.10
# V1.3.0 Section: 5.9.9 / 5.9.10
# Spec Reference | V1.1 Section | V1.3.0 Section
# -------------------------------------------|-----------------|-----------------
# Router ID Management / Router ID Assignment | 5.9.9 / 5.9.10 | 5.9.9 / 5.9.10
pkts = pv.pkts
pv.summary.show()
tests/nexus/verify_5_1_4.py
+3 -3
View File
@@ -49,9 +49,9 @@ def verify(pv):
# The purpose of this test case is to verify that when the original Leader is removed from the network, the DUT
# will create a new partition as Leader and will assign a router ID if a specific ID is requested.
#
# Spec Reference: Router ID Management / Router ID Assignment
# V1.1 Section: 5.9.9 / 5.9.10
# V1.3.0 Section: 5.9.9 / 5.9.10
# Spec Reference | V1.1 Section | V1.3.0 Section
# -------------------------------------------|-----------------|-----------------
# Router ID Management / Router ID Assignment | 5.9.9 / 5.9.10 | 5.9.9 / 5.9.10
pkts = pv.pkts
pv.summary.show()
tests/nexus/verify_5_1_9.py
+216
View File
@@ -0,0 +1,216 @@
#!/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
def verify(pv):
# 5.1.9 Attaching to a REED with better connectivity
#
# 5.1.9.1 Topology
# - Leader
# - Router_1
# - REED_1
# - REED_2
# - Router_2 (DUT)
#
# 5.1.9.2 Purpose & Description
# The purpose of this test case is to validate that the DUT will pick REED_1 as its parent because of its better
# connectivity.
# - In order for this test case to be valid, the link quality between all nodes must be of the highest quality (3).
# If this condition cannot be met the test case is invalid.
#
# Spec Reference | V1.1 Section | V1.3.0 Section
# -------------------------------------------|-----------------|-----------------
# Parent Selection | 4.7.2 | 4.5.2
pkts = pv.pkts
pv.summary.show()
REED_1 = pv.vars['REED_1']
REED_2 = pv.vars['REED_2']
DUT = pv.vars['DUT']
LEADER = pv.vars['LEADER']
ROUTER_1 = pv.vars['ROUTER_1']
# Step 1: Leader, Router_1, REED_2, REED_1
# - Description: Setup the topology without the DUT. Verify Router_1 and the Leader are sending MLE
# advertisements.
# - Pass Criteria: N/A
print("Step 1: Setup the topology without the DUT")
pkts.filter_wpan_src64(LEADER).\
filter_mle_cmd(consts.MLE_ADVERTISEMENT).\
must_next()
pkts.filter_wpan_src64(ROUTER_1).\
filter_mle_cmd(consts.MLE_ADVERTISEMENT).\
must_next()
# Step 2: Test Harness
# - Description: Harness configures the RSSI between Leader, Router_1, Router_2 (DUT), REED_1, and REED_2 to enable
# a link quality of 3 (highest).
# - Pass Criteria: N/A
print("Step 2: Harness configures the RSSI")
# Step 3: Router_2 (DUT)
pkts.filter_wpan_src64(DUT).\
filter_LLARMA().\
filter_mle_cmd(consts.MLE_PARENT_REQUEST).\
filter(lambda p: {
consts.MODE_TLV,
consts.CHALLENGE_TLV,
consts.SCAN_MASK_TLV,
consts.VERSION_TLV
} <= set(p.mle.tlv.type) and\
p.ipv6.hlim == 255 and\
p.mle.tlv.scan_mask.r == 1 and\
p.mle.tlv.scan_mask.e == 0).\
must_next()
lstart = pkts.index
# Step 4: REED_2, REED_1
# - Description: Devices do not respond to the All-Routers Parent Request.
# - Pass Criteria: N/A
print("Step 4: REEDs do not respond to the All-Routers Parent Request")
# Step 5: Router_2 (DUT)
# - Description: Automatically sends MLE Parent Request with Scan Mask set to Routers and REEDs.
# - Pass Criteria:
# - The DUT MUST send MLE Parent Request to the Link-Local All-Routers multicast address (FF02::2) with an IP Hop
# Limit of 255.
# - The following TLVs MUST be present in the MLE Parent Request:
# - Challenge TLV
# - Mode TLV
# - Scan Mask TLV = 0xC0 (Active Routers and REEDs)
# - Version TLV
# - The Key Identifier Mode of the Security Control field of the MAC frame Auxiliary Security Header MUST be set
# to '0x02'
print("Step 5: Router_2 (DUT) sends MLE Parent Request with Scan Mask set to Routers and REEDs")
pkts.filter_wpan_src64(DUT).\
filter_LLARMA().\
filter_mle_cmd(consts.MLE_PARENT_REQUEST).\
filter(lambda p: {
consts.CHALLENGE_TLV,
consts.MODE_TLV,
consts.SCAN_MASK_TLV,
consts.VERSION_TLV
} <= set(p.mle.tlv.type) and\
p.ipv6.hlim == 255 and\
p.mle.tlv.scan_mask.r == 1 and\
p.mle.tlv.scan_mask.e == 1 and\
p.wpan.aux_sec.key_id_mode == 0x02).\
must_next()
lend = pkts.index
# Verify Step 4: No Parent Response from REEDs between Step 3 and Step 5
for reed in [REED_1, REED_2]:
pkts.range(lstart, lend).\
filter_wpan_src64(reed).\
filter_wpan_dst64(DUT).\
filter_mle_cmd(consts.MLE_PARENT_RESPONSE).\
must_not_next()
# Step 6: REED_1, REED_2
# - Description: Each device automatically responds to DUT with MLE Parent Response. REED_1 reports more high
# quality connection than REED_2 in the Connectivity TLV.
# - Pass Criteria: N/A
print("Step 6: REEDs respond with MLE Parent Response")
# Both REEDs respond, but the order is not guaranteed.
_index = pkts.index
def find_parent_response(src64):
pkts.index = _index
pkt = pkts.filter_wpan_src64(src64).\
filter_wpan_dst64(DUT).\
filter_mle_cmd(consts.MLE_PARENT_RESPONSE).\
filter(lambda p: {
consts.CHALLENGE_TLV,
consts.CONNECTIVITY_TLV,
consts.LEADER_DATA_TLV,
consts.LINK_LAYER_FRAME_COUNTER_TLV,
consts.LINK_MARGIN_TLV,
consts.RESPONSE_TLV,
consts.SOURCE_ADDRESS_TLV,
consts.VERSION_TLV
} <= set(p.mle.tlv.type) and\
p.wpan.aux_sec.key_id_mode == 0x02).\
must_next()
return pkt, pkts.index
p_reed1, index1 = find_parent_response(REED_1)
p_reed2, index2 = find_parent_response(REED_2)
# REED_1 has two router neighbors with link quality 3 (Leader and Router_1).
# REED_2 only has one router neighbor with link quality 3 (Leader).
# REED_1 should report a higher count in the link_quality_3 field of its Connectivity TLV.
if not (p_reed1.mle.tlv.conn.lq3 > p_reed2.mle.tlv.conn.lq3):
raise ValueError(f"REED_1 lq3 ({p_reed1.mle.tlv.conn.lq3}) should be greater than "
f"REED_2 lq3 ({p_reed2.mle.tlv.conn.lq3})")
pkts.index = max(index1, index2)
# Step 7: Router_2 (DUT)
# - Description: Automatically sends a MLE Child ID Request to REED_1.
# - Pass Criteria:
# - The DUT MUST unicast MLE Child ID Request to REED_1, including the following TLVs:
# - Link-layer Frame Counter TLV
# - Mode TLV
# - Response TLV
# - Timeout TLV
# - TLV Request TLV
# - Version TLV
# - MLE Frame Counter TLV (optional)
# - The following TLV MUST NOT be present in the Child ID Request:
# - Address Registration TLV
print("Step 7: Router_2 (DUT) sends a MLE Child ID Request to REED_1")
_pkt = pkts.filter_wpan_src64(DUT).\
filter_wpan_dst64(REED_1).\
filter_mle_cmd(consts.MLE_CHILD_ID_REQUEST).\
filter(lambda p: {
consts.LINK_LAYER_FRAME_COUNTER_TLV,
consts.MODE_TLV,
consts.RESPONSE_TLV,
consts.TIMEOUT_TLV,
consts.TLV_REQUEST_TLV,
consts.VERSION_TLV
} <= set(p.mle.tlv.type)).\
must_next()
_pkt.must_not_verify(lambda p: consts.ADDRESS_REGISTRATION_TLV in p.mle.tlv.type)
if __name__ == '__main__':
verify_utils.run_main(verify)