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

[nexus] add test 7.1.4 Network data propagation - BR as Router (#12512)

Browse Source 
This commit adds a new Nexus test case 7.1.4 which verifies that
global prefix information can be set on the DUT (Router) after the
network is formed, and that the DUT correctly notifies the Leader
via CoAP and propagates the updated Network Data (stable/non-stable)
to its attached children (MED and SED).

The test setup uses:
- Leader: Already formed network.
- Router 1 (DUT): Attached to the Leader.
- MED 1: Attached to the DUT, requires complete network data.
- SED 1: Attached to the DUT, requests only stable network data.

The test verifies that:
- The DUT unicasts a CoAP Server Data Notification to the Leader
  after prefixes (2001::/64 stable and 2002::/64 non-stable) are
  added.
- The Leader multicasts the new network data.
- The DUT propagates the updated data to its children.
- MED 1 receives both prefixes and registers its addresses.
- SED 1 receives only the stable prefix (Prefix 1) and registers
  its addresses.

Summary of changes:
- Created tests/nexus/test_7_1_4.cpp:
    - Implements test logic using direct core method calls.
    - Sets log level to note.
    - Configures AllowList for specified links (Router1-Leader,
      Router1-MED1, Router1-SED1).
    - Includes 1-line log outputs for each test step.
    - Adheres to requested block comment formatting.
- Created tests/nexus/verify_7_1_4.py:
    - Implements pcap-based verification of PASS criteria.
    - Validates selective prefix propagation based on child mode.
    - 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_4 to the
  default test list.
This commit is contained in:
Jonathan Hui
2026-02-20 18:00:48 -06:00
committed by GitHub
parent 2c7e344c0b
commit fe9492fce6
4 changed files with 458 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/nexus/CMakeLists.txt
+1
View File
@@ -186,6 +186,7 @@ ot_nexus_test(6_6_2 "cert;nexus")
ot_nexus_test(7_1_1 "cert;nexus")
ot_nexus_test(7_1_2 "cert;nexus")
ot_nexus_test(7_1_3 "cert;nexus")
ot_nexus_test(7_1_4 "cert;nexus")
ot_nexus_test(9_2_1 "cert;nexus")
# Misc tests
tests/nexus/run_nexus_tests.sh
+1
View File
@@ -122,6 +122,7 @@ DEFAULT_TESTS=(
"7_1_1"
"7_1_2"
"7_1_3"
"7_1_4"
"9_2_1"
)
tests/nexus/test_7_1_4.cpp
+248
View File
@@ -0,0 +1,248 @@
/*
* 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 after routers have attached.
*/
static constexpr uint32_t kStabilizationTime = 10 * 1000;
/**
* Time to advance for a child to register its address.
*/
static constexpr uint32_t kChildUpdateWaitTime = 10 * 1000;
void Test7_1_4(const char *aJsonFile)
{
/**
* 7.1.4 Network data propagation – Border Router as Router in Thread network; registers new server data information
* after network is formed
*
* 7.1.4.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.4.2 Purpose & Description
* The purpose of this test case is to verify that when global prefix information is set on the DUT, the DUT
* properly unicasts information to the Leader using COAP frame (Server Data Notification). In addition, the DUT
* must correctly set Network Data (stable/non-stable) aggregated and disseminated by the Leader and transmit it
* properly to all devices already attached to it.
*
* Spec Reference | V1.1 Section | V1.3.0 Section
* -------------------------------------------|-----------------|-----------------
* Thread Network Data / Stable Thread | 5.13 / 5.14 / | 5.13 / 5.14 /
* Network Data / Network Data and | 5.15 | 5.15
* Propagation | |
*/
Core nexus;
Node &leader = nexus.CreateNode();
Node &router1 = nexus.CreateNode();
Node &med1 = nexus.CreateNode();
Node &sed1 = nexus.CreateNode();
leader.SetName("LEADER");
router1.SetName("ROUTER_1");
med1.SetName("MED_1");
sed1.SetName("SED_1");
/** Use AllowList to specify links between nodes. */
leader.AllowList(router1);
router1.AllowList(leader);
router1.AllowList(med1);
med1.AllowList(router1);
router1.AllowList(sed1);
sed1.AllowList(router1);
nexus.AdvanceTime(0);
Instance::SetLogLevel(kLogLevelNote);
/**
* Step 1: All
* - Description: Topology Ensure topology is formed correctly.
* - Pass Criteria: N/A
*/
Log("Step 1: All");
leader.Form();
nexus.AdvanceTime(kFormNetworkTime);
VerifyOrQuit(leader.Get<Mle::Mle>().IsLeader());
router1.Join(leader, Node::kAsFtd);
nexus.AdvanceTime(kAttachToRouterTime);
VerifyOrQuit(router1.Get<Mle::Mle>().IsRouter());
med1.Join(router1, Node::kAsMed);
sed1.Join(router1, Node::kAsSed);
SuccessOrQuit(sed1.Get<DataPollSender>().SetExternalPollPeriod(1000));
nexus.AdvanceTime(kAttachToRouterTime);
VerifyOrQuit(med1.Get<Mle::Mle>().IsAttached());
VerifyOrQuit(sed1.Get<Mle::Mle>().IsAttached());
nexus.AdvanceTime(kStabilizationTime);
/**
* Step 2: Router_1 (DUT)
* - Description: User configures the DUT with the following On-Mesh Prefix Set:
* - 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: N/A
*/
Log("Step 2: Router_1 (DUT)");
{
NetworkData::OnMeshPrefixConfig config;
config.Clear();
SuccessOrQuit(config.GetPrefix().FromString("2001::/64"));
config.mStable = true;
config.mOnMesh = true;
config.mPreferred = true;
config.mSlaac = true;
config.mDefaultRoute = true;
SuccessOrQuit(router1.Get<NetworkData::Local>().AddOnMeshPrefix(config));
config.Clear();
SuccessOrQuit(config.GetPrefix().FromString("2002::/64"));
config.mStable = false;
config.mOnMesh = true;
config.mPreferred = true;
config.mSlaac = true;
config.mDefaultRoute = true;
SuccessOrQuit(router1.Get<NetworkData::Local>().AddOnMeshPrefix(config));
router1.Get<NetworkData::Notifier>().HandleServerDataUpdated();
}
/**
* Step 3: Router_1 (DUT)
* - Description: Automatically transmits a CoAP Server Data Notification to the Leader
* - Pass Criteria: The DUT MUST send a CoAP Server Data Notification frame with the server’s information (Prefix,
* Border Router) to the Leader:
* - CoAP Request URI: coap://[<Leader address>]:MM/a/sd
* - CoAP Payload: Network Data TLV
*/
Log("Step 3: Router_1 (DUT)");
nexus.AdvanceTime(kStabilizationTime);
/**
* Step 4: Leader
* - Description: Automatically transmits a 2.04 Changed CoAP response to the DUT. Automatically multicasts a MLE
* Data Response, including the new information collected from the DUT.
* - Pass Criteria: N/A
*/
Log("Step 4: Leader");
nexus.AdvanceTime(kStabilizationTime);
/**
* Step 5: Router_1 (DUT)
* - Description: Automatically sends new network data to MED_1
* - Pass Criteria: The DUT MUST send a multicast MLE Data Response, including the following TLVs:
* - At least two Prefix TLVs (Prefix 1 and Prefix 2):
* - 6LowPAN ID TLV
* - Border Router TLV
*/
Log("Step 5: Router_1 (DUT)");
nexus.AdvanceTime(kStabilizationTime);
/**
* Step 6: MED_1
* - Description: Automatically sends the address configured to Router_1 (DUT) via the Address Registration TLV,
* included as part of the Child Update request command.
* - Pass Criteria: The DUT MUST unicast MLE Child Update Response to MED_1, including the following TLVs:
* - Source Address TLV
* - Address Registration TLV (Echoes back the addresses MED_1 has configured)
* - Mode TLV
*/
Log("Step 6: MED_1");
nexus.AdvanceTime(kChildUpdateWaitTime);
/**
* Step 7: Router_1 (DUT)
* - Description: Automatically sends notification of new network data to SED_1 via a unicast MLE Child Update
* Request or MLE Data Response.
* - Pass Criteria: The DUT MUST unicast MLE Child Update Request or MLE Data Response to SED_1.
*/
Log("Step 7: Router_1 (DUT)");
nexus.AdvanceTime(kChildUpdateWaitTime);
/**
* Step 8: SED_1
* - Description: After receiving the MLE Data Response or MLE Child Update Request, automatically sends the global
* address configured to Router_1 (DUT), via the Address Registration TLV, included as part of the Child Update
* request command.
* - Pass Criteria: N/A
*/
Log("Step 8: SED_1");
nexus.AdvanceTime(kChildUpdateWaitTime);
/**
* Step 9: Router_1 (DUT)
* - Description: Automatically sends a Child Update Response to SED_1, echoing back the configured addresses
* reported by SED_1
* - Pass Criteria: The DUT MUST unicast MLE Child Update Response to SED_1. The following TLVs MUST be included in
* the Child Update Response:
* - Source Address TLV
* - Address Registration TLV (Echoes back the addresses SED_1 has configured)
* - Mode TLV
*/
Log("Step 9: Router_1 (DUT)");
nexus.AdvanceTime(kChildUpdateWaitTime);
nexus.SaveTestInfo(aJsonFile);
}
} // namespace Nexus
} // namespace ot
int main(int argc, char *argv[])
{
ot::Nexus::Test7_1_4((argc > 2) ? argv[2] : "test_7_1_4.json");
printf("All tests passed\n");
return 0;
}
tests/nexus/verify_7_1_4.py
+208
View File
@@ -0,0 +1,208 @@
#!/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.4 Network data propagation – Border Router as Router in Thread network; registers new server data information
# after network is formed
#
# 7.1.4.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.4.2 Purpose & Description
# The purpose of this test case is to verify that when global prefix information is set on the DUT, the DUT
# properly unicasts information to the Leader using COAP frame (Server Data Notification). In addition, the DUT
# must correctly set Network Data (stable/non-stable) aggregated and disseminated by the Leader and transmit it
# properly to all devices already attached to it.
#
# Spec Reference | V1.1 Section | V1.3.0 Section
# -------------------------------------------|-----------------|-----------------
# Thread Network Data / Stable Thread | 5.13 / 5.14 / | 5.13 / 5.14 /
# Network Data / Network Data and | 5.15 | 5.15
# Propagation | |
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: All
# - Description: Topology Ensure topology is formed correctly.
# - Pass Criteria: N/A
print("Step 1: All")
pkts.filter_wpan_src64(LEADER).\
filter_LLANMA().\
filter_mle_cmd(consts.MLE_ADVERTISEMENT).\
must_next()
pkts.filter_wpan_src64(ROUTER_1).\
filter_mle_cmd(consts.MLE_ADVERTISEMENT).\
must_next()
# Step 2: Router_1 (DUT)
# - Description: User configures the DUT with the following On-Mesh Prefix Set:
# - 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: N/A
print("Step 2: Router_1 (DUT)")
# Step 3: Router_1 (DUT)
# - Description: Automatically transmits a CoAP Server Data Notification to the Leader
# - Pass Criteria: The DUT MUST send a CoAP Server Data Notification frame with the server’s information (Prefix,
# Border Router) to the Leader:
# - CoAP Request URI: coap://[<Leader address>]:MM/a/sd
# - CoAP Payload: Network Data TLV
print("Step 3: Router_1 (DUT)")
pkts.filter_wpan_src64(ROUTER_1).\
filter_coap_request(consts.SVR_DATA_URI).\
filter(lambda p: consts.NL_THREAD_NETWORK_DATA_TLV in p.coap.tlv.type).\
must_next()
# Step 4: Leader
# - Description: Automatically transmits a 2.04 Changed CoAP response to the DUT. Automatically multicasts a MLE
# Data Response, including the new information collected from the DUT.
# - Pass Criteria: N/A
print("Step 4: Leader")
# The MLE Data Response and CoAP ACK from Leader might be out of order.
# We find both and update the cursor to the later one.
_pkts = pkts.copy()
_mle_data_rsp = _pkts.filter_wpan_src64(LEADER).\
filter_LLANMA().\
filter_mle_cmd(consts.MLE_DATA_RESPONSE).\
filter(lambda p: p.thread_nwd.tlv.prefix is not nullField and\
'2001::' in p.thread_nwd.tlv.prefix and\
'2002::' in p.thread_nwd.tlv.prefix).\
must_next()
_coap_ack = pkts.filter_wpan_src64(LEADER).\
filter_coap_ack(consts.SVR_DATA_URI).\
must_next()
pkts.index = (max(pkts.index[0], _pkts.index[0]), max(pkts.index[1], _pkts.index[1]))
# Step 5: Router_1 (DUT)
# - Description: Automatically sends new network data to MED_1
# - Pass Criteria: The DUT MUST send a multicast MLE Data Response, including the following TLVs:
# - At least two Prefix TLVs (Prefix 1 and Prefix 2):
# - 6LowPAN ID TLV
# - Border Router TLV
print("Step 5: Router_1 (DUT)")
index_before_step5 = pkts.index
pkts.filter_wpan_src64(ROUTER_1).\
filter_LLANMA().\
filter_mle_cmd(consts.MLE_DATA_RESPONSE).\
filter(lambda p: p.thread_nwd.tlv.prefix is not nullField and\
'2001::' in p.thread_nwd.tlv.prefix and\
'2002::' in p.thread_nwd.tlv.prefix).\
must_next()
# Step 6: MED_1
# - Description: Automatically sends the address configured to Router_1 (DUT) via the Address Registration TLV,
# included as part of the Child Update request command.
# - Pass Criteria: The DUT MUST unicast MLE Child Update Response to MED_1, including the following TLVs:
# - Source Address TLV
# - Address Registration TLV (Echoes back the addresses MED_1 has configured)
# - Mode TLV
print("Step 6: MED_1")
pkts.filter_wpan_src64(MED_1).\
filter_mle_cmd(consts.MLE_CHILD_UPDATE_REQUEST).\
filter(lambda p: consts.ADDRESS_REGISTRATION_TLV in p.mle.tlv.type).\
must_next()
pkts.filter_wpan_src64(ROUTER_1).\
filter_mle_cmd(consts.MLE_CHILD_UPDATE_RESPONSE).\
filter(lambda p: {
consts.SOURCE_ADDRESS_TLV,
consts.ADDRESS_REGISTRATION_TLV,
consts.MODE_TLV
} <= set(p.mle.tlv.type)).\
must_next()
# Step 7: Router_1 (DUT)
# - Description: Automatically sends notification of new network data to SED_1 via a unicast MLE Child Update
# Request or MLE Data Response.
# - Pass Criteria: The DUT MUST unicast MLE Child Update Request or MLE Data Response to SED_1.
print("Step 7: Router_1 (DUT)")
pkts.index = index_before_step5
pkts.filter_wpan_src64(ROUTER_1).\
filter_mle_cmd2(consts.MLE_CHILD_UPDATE_REQUEST, consts.MLE_DATA_RESPONSE).\
filter(lambda p: p.thread_nwd.tlv.prefix is not nullField and\
'2001::' in p.thread_nwd.tlv.prefix and\
'2002::' not in p.thread_nwd.tlv.prefix).\
must_next()
# Step 8: SED_1
# - Description: After receiving the MLE Data Response or MLE Child Update Request, automatically sends the global
# address configured to Router_1 (DUT), via the Address Registration TLV, included as part of the Child Update
# request command.
# - Pass Criteria: N/A
print("Step 8: SED_1")
pkts.filter_wpan_src64(SED_1).\
filter_mle_cmd(consts.MLE_CHILD_UPDATE_REQUEST).\
filter(lambda p: consts.ADDRESS_REGISTRATION_TLV in p.mle.tlv.type).\
must_next()
# Step 9: Router_1 (DUT)
# - Description: Automatically sends a Child Update Response to SED_1, echoing back the configured addresses
# reported by SED_1
# - Pass Criteria: The DUT MUST unicast MLE Child Update Response to SED_1. The following TLVs MUST be included in
# the Child Update Response:
# - Source Address TLV
# - Address Registration TLV (Echoes back the addresses SED_1 has configured)
# - Mode TLV
print("Step 9: Router_1 (DUT)")
pkts.filter_wpan_src64(ROUTER_1).\
filter_mle_cmd(consts.MLE_CHILD_UPDATE_RESPONSE).\
filter(lambda p: {
consts.SOURCE_ADDRESS_TLV,
consts.ADDRESS_REGISTRATION_TLV,
consts.MODE_TLV
} <= set(p.mle.tlv.type)).\
must_next()
if __name__ == '__main__':
verify_utils.run_main(verify)