/* * 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 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_3(const char *aJsonFile) { /** * 7.1.3 Network data propagation - Border Router as Leader of Thread network; advertises new network data * information after network is formed * * 7.1.3.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.3.2 Purpose & Description * The purpose of this test case is to verify that global prefix information can be set on the DUT, which is acting * as a Leader in the Thread network. The DUT must also demonstrate that it correctly sets the Network Data * (stable/non-stable) and propagates it properly in an already formed network. * * Spec Reference | V1.1 Section | V1.3.0 Section * ---------------------------------------------------|--------------------|-------------------- * Thread Network Data / Stable Thread Network Data / | 5.13 / 5.14 / 5.15 | 5.13 / 5.14 / 5.15 * Network Data and 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"); AllowLinkBetween(leader, router1); AllowLinkBetween(leader, med1); AllowLinkBetween(leader, sed1); nexus.AdvanceTime(0); SuccessOrQuit(Instance::SetGlobalLogLevel(kLogLevelNote)); /** * Step 1: All * - Description: Ensure topology is formed correctly. * - Pass Criteria: N/A */ Log("Step 1: Ensure topology is formed correctly."); leader.Form(); nexus.AdvanceTime(kFormNetworkTime); VerifyOrQuit(leader.Get().IsLeader()); router1.Join(leader, Node::kAsFtd); med1.Join(leader, Node::kAsMed); sed1.Join(leader, Node::kAsSed); nexus.AdvanceTime(kAttachToRouterTime); VerifyOrQuit(router1.Get().IsFullThreadDevice()); VerifyOrQuit(med1.Get().IsAttached()); VerifyOrQuit(sed1.Get().IsAttached()); nexus.AdvanceTime(kStabilizationTime); /** * Step 2: Leader (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: Leader (DUT) configures On-Mesh Prefixes."); { 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(leader.Get().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(leader.Get().AddOnMeshPrefix(config)); leader.Get().HandleServerDataUpdated(); } /** * Step 3: Leader (DUT) * - Description: Automatically sends the new network data to neighbors and rx-on-while-idle Children (MED_1). * - Pass Criteria: The DUT MUST send a multicast MLE Data Response with the new network information, which includes * the following TLVs: * - Network Data TLV * - At least two Prefix TLVs (Prefix 1 and Prefix 2): * - 6LoWPAN ID sub-TLV * - Border Router sub-TLV */ Log("Step 3: Leader (DUT) automatically sends the new network data to neighbors and rx-on-while-idle Children."); nexus.AdvanceTime(kStabilizationTime); /** * Step 4: MED_1 * - Description: Automatically sends the global address configured to its parent (the DUT), via the Address * Registration TLV included in its Child Update Request keep-alive message. * - Pass Criteria: N/A */ Log("Step 4: MED_1 automatically sends the global address configured to its parent."); nexus.AdvanceTime(kChildUpdateWaitTime); /** * Step 5: Leader (DUT) * - Description: Automatically sends MLE Child Update Response to MED_1. * - Pass Criteria: The DUT MUST unicast MLE Child Update Response to MED_1, containing the following TLVs: * - Source Address TLV * - Address Registration TLV (Echoes back the addresses MED_1 has configured) * - Mode TLV */ Log("Step 5: Leader (DUT) automatically sends MLE Child Update Response to MED_1."); nexus.AdvanceTime(kChildUpdateWaitTime); /** * Step 6: Leader (DUT) * - Description: Automatically sends notification of new network data to SED_1. Depending upon the DUT's device * implementation, two different behavior paths (A,B) are allowable. * - Pass Criteria: * - Path A: The DUT MUST unicast MLE Child Update Request to SED_1, including the following TLVs: * - Source Address TLV * - Leader Data TLV * - Network Data TLV * - Active Timestamp TLV * - Goto step 7 * - Path B: The DUT MUST unicast MLE Data Response to SED_1, including the following TLVs: * - Source Address TLV * - Leader Data TLV * - Network Data TLV * - Active Timestamp TLV * - Goto step 7 */ Log("Step 6: Leader (DUT) automatically sends notification of new network data to SED_1."); nexus.AdvanceTime(kAttachToRouterTime); /** * Step 7: SED_1 * - Description: After receiving the MLE Data Response or MLE Child Update Request, automatically sends the global * address configured to its parent (DUT), via the Address Registration TLV as part of the Child Update Request * command. * - Pass Criteria: N/A */ Log("Step 7: SED_1 automatically sends the global address configured to its parent."); nexus.AdvanceTime(kChildUpdateWaitTime); /** * Step 8: Leader (DUT) * - Description: Automatically sends MLE Child Update Response to SED_1. * - Pass Criteria: The DUT MUST unicast MLE Child Update Response to SED_1, including the following TLVs: * - Source Address TLV * - Address Registration TLV (Echoes back the addresses SED_1 has configured) * - Mode TLV */ Log("Step 8: Leader (DUT) automatically sends MLE Child Update Response to SED_1."); nexus.AdvanceTime(kChildUpdateWaitTime); nexus.SaveTestInfo(aJsonFile); } } /* namespace Nexus */ } /* namespace ot */ int main(int argc, char *argv[]) { ot::Nexus::Test7_1_3((argc > 2) ? argv[2] : "test_1_1_7_1_3.json"); printf("All tests passed\n"); return 0; }