espressif/openthread
1
0
Fork 0
mirror of https://github.com/espressif/openthread.git synced 2026-08-18 00:19:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

[nexus] add test 7.1.2 Network data propagation - Border Router as Router (#12499)

Browse Source 
This commit adds a new Nexus test case 7.1.2 which verifies that when
global prefix information is set on the DUT (Router), it properly
unicasts information to the Leader using CoAP (Server Data Notification)
and that the DUT correctly propagates the aggregated Network Data to its
children during the attach procedure.

The test setup uses Router_1 (DUT) configured as a Border Router with
both stable (2001::/64) and non-stable (2002::/64) prefixes. It
verifies that MED_1 (requesting complete data) receives both prefixes,
while SED_1 (requesting only stable data) receives only the stable
prefix.

Summary of changes:
- Created tests/nexus/test_7_1_2.cpp:
    - Implements test logic using direct C++ method calls.
    - Sets log level to note.
    - Configures AllowList for Router1-Leader, Router1-MED1, and
      Router1-SED1 links.
    - Includes 1-line log outputs for each test step.
    - Adheres to requested block comment formatting.
- Created tests/nexus/verify_7_1_2.py:
    - Implements pcap-based verification of PASS criteria.
    - Validates selective prefix propagation based on child mode.
    - Verifies MLE Child ID and Child Update exchanges.
    - Follows requested Python filter formatting style.
- Updated tests/nexus/CMakeLists.txt to build the new test.
- Updated tests/nexus/run_nexus_tests.sh to add 7_1_2 to the
  default test list.
This commit is contained in:
Jonathan Hui
2026-02-19 19:10:52 -06:00
committed by GitHub
parent 894e060ae5
commit f277297514
4 changed files with 468 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/nexus/CMakeLists.txt
+1
View File
@@ -179,6 +179,7 @@ ot_nexus_test(6_5_1 "cert;nexus")
ot_nexus_test(6_6_1 "cert;nexus")
ot_nexus_test(6_6_2 "cert;nexus")
ot_nexus_test(7_1_1 "cert;nexus")
ot_nexus_test(7_1_2 "cert;nexus")
# Misc tests
ot_nexus_test(border_admitter "core;nexus")
tests/nexus/run_nexus_tests.sh
+1
View File
@@ -115,6 +115,7 @@ DEFAULT_TESTS=(
"6_6_1"
"6_6_2"
"7_1_1"
"7_1_2"
)
# Use provided arguments or the default test list
tests/nexus/test_7_1_2.cpp
+261
View File
@@ -0,0 +1,261 @@
/*
* 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, 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 kAttachToRouterTime = 200 * 1000;
/**
* Time to advance for the network to stabilize.
*/
static constexpr uint32_t kStabilizationTime = 10 * 1000;
/**
* IPv6 Prefix 1.
*/
static const char kPrefix1[] = "2001::";
/**
* IPv6 Prefix 2.
*/
static const char kPrefix2[] = "2002::";
/**
* Prefix length for both prefixes.
*/
static constexpr uint8_t kPrefixLength = 64;
void Test7_1_2(void)
{
/**
* 7.1.2 Network data propagation - Border Router as Router in a Thread Network; correctly sets and propagates
* network data information during attach
*
* 7.1.2.1 Topology
* - MED_1 is configured to require complete network data. (Mode TLV)
* - SED_1 is configured to request only stable network data. (Mode TLV)
*
* 7.1.2.2 Purpose & Description
* The purpose of this test case is to verify that when global prefix information is set on the DUT, it properly
* unicasts information to the Leader using CoAP (Server Data Notification). This test case also verifies that
* the DUT correctly sets Network Data aggregated and disseminated by the Leader (stable/non-stable) of the
* network and transmits it properly to devices during the attach procedure.
*
* Spec Reference | V1.1 Section | V1.3.0 Section
* -----------------------------------------------------------------------|--------------|---------------
* Thread Network Data / Stable Thread Network Data / Network Data Prop. | 5.13-5.15 | 5.13-5.15
*/
Core nexus;
Node &leader = nexus.CreateNode();
Node &router1 = nexus.CreateNode(); // DUT
Node &med1 = nexus.CreateNode();
Node &sed1 = nexus.CreateNode();
leader.SetName("LEADER");
router1.SetName("ROUTER_1");
med1.SetName("MED_1");
sed1.SetName("SED_1");
nexus.AdvanceTime(0);
Instance::SetLogLevel(kLogLevelNote);
/**
* Step 1: Leader
* - Description: Forms the network.
* - Pass Criteria: N/A.
*/
Log("Step 1: Leader");
leader.Form();
nexus.AdvanceTime(kFormNetworkTime);
/**
* Step 2: Router_1 (DUT)
* - Description: User joins the DUT to the network and configures On-Mesh Prefix Set (it is also allowed to
* configure the On-Mesh Prefix Set on the DUT first and then attach DUT to Leader).
* - Prefix 1: P_prefix=2001::/64 P_stable=1 P_on_mesh=1 P_preferred=1 P_slaac=1 P_default=1.
* - Prefix 2: P_prefix=2002::/64 P_stable=0 P_on_mesh=1 P_preferred=1 P_slaac=1 P_default=1.
* - Pass Criteria:
* - The DUT MUST send MLE Advertisements properly.
* - The DUT MUST send a CoAP Server Data Notification message with the server’s information (Prefix, Border
* Router) to the Leader:
* - CoAP Request URI: coap://[<leader address>]:MM/a/sd
* - CoAP Payload: Thread Network Data TLV
*/
Log("Step 2: Router_1 (DUT)");
/** Use AllowList feature to specify links between nodes. */
router1.AllowList(leader);
leader.AllowList(router1);
{
NetworkData::OnMeshPrefixConfig config;
config.Clear();
IgnoreError(static_cast<Ip6::Address &>(config.mPrefix.mPrefix).FromString(kPrefix1));
config.mPrefix.mLength = kPrefixLength;
config.mStable = true;
config.mOnMesh = true;
config.mPreferred = true;
config.mSlaac = true;
config.mDefaultRoute = true;
IgnoreError(router1.Get<NetworkData::Local>().AddOnMeshPrefix(config));
config.Clear();
IgnoreError(static_cast<Ip6::Address &>(config.mPrefix.mPrefix).FromString(kPrefix2));
config.mPrefix.mLength = kPrefixLength;
config.mStable = false;
config.mOnMesh = true;
config.mPreferred = true;
config.mSlaac = true;
config.mDefaultRoute = true;
IgnoreError(router1.Get<NetworkData::Local>().AddOnMeshPrefix(config));
}
router1.Join(leader);
nexus.AdvanceTime(kAttachToRouterTime);
/**
* Step 3: Leader
* - Description: Automatically transmits a 2.04 Changed CoAP response to the DUT. Automatically transmits
* multicast MLE Data Response with the new information collected, adding also 6LoWPAN ID TLV for the prefix set
* on the DUT.
* - Pass Criteria: N/A.
*/
Log("Step 3: Leader");
nexus.AdvanceTime(kStabilizationTime);
/**
* Step 4: Router_1 (DUT)
* - Description: Automatically broadcasts new network data.
* - Pass Criteria: The DUT MUST multicast the MLE Data Response message sent by the Leader.
*/
Log("Step 4: Router_1 (DUT)");
nexus.AdvanceTime(kStabilizationTime);
/**
* Step 5: MED_1
* - Description: Harness instructs MED_1 to attach to Router_1 (DUT) and request complete network data.
* - Pass Criteria: N/A.
*/
Log("Step 5: MED_1");
/** Use AllowList feature to specify links between nodes. */
med1.AllowList(router1);
router1.AllowList(med1);
/**
* Step 6: Router_1 (DUT)
* - Description: Automatically sends the new network data to MED_1.
* - Pass Criteria:
* - The DUT MUST unicast MLE Child ID Response to MED_1, including the Network Data TLV with the following:
* - At least two Prefix TLVs (Prefix 1 and Prefix 2), each including:
* - 6LoWPAN ID sub-TLV
* - Border Router sub-TLV
*/
Log("Step 6: Router_1 (DUT)");
med1.Join(router1, Node::kAsMed);
nexus.AdvanceTime(kAttachToRouterTime);
/**
* Step 7: SED_1
* - Description: Harness instructs SED_1 to attach to Router_1 (DUT) and request only stable data.
* - Pass Criteria: N/A.
*/
Log("Step 7: SED_1");
/** Use AllowList feature to specify links between nodes. */
sed1.AllowList(router1);
router1.AllowList(sed1);
/**
* Step 8: Router_1 (DUT)
* - Description: Automatically sends the stable Network Data to SED_1.
* - Pass Criteria:
* - The DUT MUST unicast MLE Child ID Response to SED_1, including the Network Data TLV (only stable Network
* Data) with the following:
* - At least one Prefix TLV (Prefix 1), including
* - Border Router TLV
* - P_border_router_16 <0xFFFE>
* - Prefix 2 TLV MUST NOT be included.
*/
Log("Step 8: Router_1 (DUT)");
sed1.Join(router1, Node::kAsSed);
nexus.AdvanceTime(kAttachToRouterTime);
/**
* Step 9: MED_1, SED_1
* - Description: After attaching, each device automatically sends its configured global address to the DUT, in
* the Address Registration TLV via the MLE Child Update Request command.
* - Pass Criteria: N/A.
*/
Log("Step 9: MED_1, SED_1");
nexus.AdvanceTime(kAttachToRouterTime);
/**
* Step 10: Leader (DUT)
* - Description: Automatically replies to each Child with a Child Update Response.
* - Pass Criteria:
* - The DUT MUST unicast MLE Child Update Responses, each to MED_1 & SED_1, each including the following TLVs:
* - Address Registration TLV
* - Echoes back addresses configured by the Child in step 9
* - Mode TLV
* - Source Address TLV
*/
Log("Step 10: Leader (DUT)");
nexus.AdvanceTime(kStabilizationTime);
nexus.SaveTestInfo("test_7_1_2.json");
}
} // namespace Nexus
} // namespace ot
int main(void)
{
ot::Nexus::Test7_1_2();
printf("All tests passed\n");
return 0;
}
tests/nexus/verify_7_1_2.py
+205
View File
@@ -0,0 +1,205 @@
#!/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.null_field import nullField
def verify(pv):
# 7.1.2 Network data propagation - Border Router as Router in a Thread Network; correctly sets and propagates
# network data information during attach
#
# 7.1.2.1 Topology
# - MED_1 is configured to require complete network data. (Mode TLV)
# - SED_1 is configured to request only stable network data. (Mode TLV)
#
# 7.1.2.2 Purpose & Description
# The purpose of this test case is to verify that when global prefix information is set on the DUT, it properly
# unicasts information to the Leader using CoAP (Server Data Notification). This test case also verifies that
# the DUT correctly sets Network Data aggregated and disseminated by the Leader (stable/non-stable) of the
# network and transmits it properly to devices during the attach procedure.
#
# Spec Reference | V1.1 Section | V1.3.0 Section
# --------------------------------------------------------------------------|--------------------|--------------------
# Thread Network Data / Stable Thread Network Data / Network Data and Prop. | 5.13 / 5.14 / 5.15 | 5.13 / 5.14 / 5.15
pkts = pv.pkts
pv.summary.show()
LEADER = pv.vars['LEADER']
ROUTER_1 = pv.vars['ROUTER_1']
MED_1 = pv.vars['MED_1']
SED_1 = pv.vars['SED_1']
# Step 1: Leader
# - Description: Forms the network.
# - Pass Criteria: N/A.
print("Step 1: Leader")
# Step 2: Router_1 (DUT)
# - Description: User joins the DUT to the network and configures On-Mesh Prefix Set (it is also allowed to
# configure the On-Mesh Prefix Set on the DUT first and then attach DUT to Leader).
# - Prefix 1: P_prefix=2001::/64 P_stable=1 P_on_mesh=1 P_preferred=1 P_slaac=1 P_default=1.
# - Prefix 2: P_prefix=2002::/64 P_stable=0 P_on_mesh=1 P_preferred=1 P_slaac=1 P_default=1.
# - Pass Criteria:
# - The DUT MUST send MLE Advertisements properly.
# - The DUT MUST send a CoAP Server Data Notification message with the server’s information (Prefix, Border
# Router) to the Leader:
# - CoAP Request URI: coap://[<leader address>]:MM/a/sd
# - CoAP Payload: Thread Network Data TLV
print("Step 2: Router_1 (DUT)")
pkts.filter_wpan_src64(ROUTER_1).\
filter_LLANMA().\
filter_mle_cmd(consts.MLE_ADVERTISEMENT).\
must_next()
pkts.filter_wpan_src64(ROUTER_1).\
filter_coap_request(consts.SVR_DATA_URI).\
filter(lambda p: {
consts.NL_THREAD_NETWORK_DATA_TLV
} <= set(p.coap.tlv.type)).\
must_next()
# Step 3: Leader
# - Description: Automatically transmits a 2.04 Changed CoAP response to the DUT. Automatically transmits
# multicast MLE Data Response with the new information collected, adding also 6LoWPAN ID TLV for the prefix set
# on the DUT.
# - Pass Criteria: N/A.
print("Step 3: Leader")
# Step 4: Router_1 (DUT)
# - Description: Automatically broadcasts new network data.
# - Pass Criteria: The DUT MUST multicast the MLE Data Response message sent by the Leader.
print("Step 4: Router_1 (DUT)")
pkts.filter_wpan_src64(ROUTER_1).\
filter_LLANMA().\
filter_mle_cmd(consts.MLE_DATA_RESPONSE).\
filter(lambda p: {
consts.NETWORK_DATA_TLV
} <= set(p.mle.tlv.type)).\
must_next()
# Step 5: MED_1
# - Description: Harness instructs MED_1 to attach to Router_1 (DUT) and request complete network data.
# - Pass Criteria: N/A.
print("Step 5: MED_1")
# Step 6: Router_1 (DUT)
# - Description: Automatically sends the new network data to MED_1.
# - Pass Criteria:
# - The DUT MUST unicast MLE Child ID Response to MED_1, including the Network Data TLV with the following:
# - At least two Prefix TLVs (Prefix 1 and Prefix 2), each including:
# - 6LoWPAN ID sub-TLV
# - Border Router sub-TLV
print("Step 6: Router_1 (DUT)")
pkts.filter_wpan_src64(ROUTER_1).\
filter_wpan_dst64(MED_1).\
filter_mle_cmd(consts.MLE_CHILD_ID_RESPONSE).\
filter(lambda p: {
consts.NETWORK_DATA_TLV
} <= set(p.mle.tlv.type) and\
'2001::' in p.thread_nwd.tlv.prefix and\
'2002::' in p.thread_nwd.tlv.prefix and\
p.thread_nwd.tlv.type.count(consts.NWD_PREFIX_TLV) >= 2 and\
p.thread_nwd.tlv.type.count(consts.NWD_BORDER_ROUTER_TLV) >= 2 and\
p.thread_nwd.tlv.type.count(consts.NWD_6LOWPAN_ID_TLV) >= 2).\
must_next()
# Step 7: SED_1
# - Description: Harness instructs SED_1 to attach to Router_1 (DUT) and request only stable data.
# - Pass Criteria: N/A.
print("Step 7: SED_1")
# Step 8: Router_1 (DUT)
# - Description: Automatically sends the stable Network Data to SED_1.
# - Pass Criteria:
# - The DUT MUST unicast MLE Child ID Response to SED_1, including the Network Data TLV (only stable Network
# Data) with the following:
# - At least one Prefix TLV (Prefix 1), including
# - Border Router TLV
# - P_border_router_16 <0xFFFE>
# - Prefix 2 TLV MUST NOT be included.
print("Step 8: Router_1 (DUT)")
pkts.filter_wpan_src64(ROUTER_1).\
filter_wpan_dst64(SED_1).\
filter_mle_cmd(consts.MLE_CHILD_ID_RESPONSE).\
filter(lambda p: {
consts.NETWORK_DATA_TLV
} <= set(p.mle.tlv.type) and\
'2001::' in p.thread_nwd.tlv.prefix and\
'2002::' not in p.thread_nwd.tlv.prefix and\
p.thread_nwd.tlv.border_router_16 == [0xfffe]).\
must_next()
# Step 9: MED_1, SED_1
# - Description: After attaching, each device automatically sends its configured global address to the DUT, in
# the Address Registration TLV via the MLE Child Update Request command.
# - Pass Criteria: N/A.
print("Step 9: MED_1, SED_1")
# Step 10: Leader (DUT)
# - Description: Automatically replies to each Child with a Child Update Response.
# - Pass Criteria:
# - The DUT MUST unicast MLE Child Update Responses, each to MED_1 & SED_1, each including the following TLVs:
# - Address Registration TLV
# - Echoes back addresses configured by the Child in step 9
# - Mode TLV
# - Source Address TLV
print("Step 10: Leader (DUT)")
pkts.filter_wpan_src64(ROUTER_1).\
filter_wpan_dst64(MED_1).\
filter_mle_cmd(consts.MLE_CHILD_UPDATE_RESPONSE).\
filter(lambda p: {
consts.ADDRESS_REGISTRATION_TLV,
consts.MODE_TLV,
consts.SOURCE_ADDRESS_TLV
} <= set(p.mle.tlv.type)).\
must_next()
pkts.filter_wpan_src64(ROUTER_1).\
filter_wpan_dst64(SED_1).\
filter_mle_cmd(consts.MLE_CHILD_UPDATE_RESPONSE).\
filter(lambda p: {
consts.ADDRESS_REGISTRATION_TLV,
consts.MODE_TLV,
consts.SOURCE_ADDRESS_TLV
} <= set(p.mle.tlv.type)).\
must_next()
if __name__ == '__main__':
verify_utils.run_main(verify)