mirror of
https://github.com/espressif/openthread.git
synced 2026-09-26 19:07:32 +00:00
Abtin Keshavarzian
064529cbfc
Added `Core::AllowLinkBetween()` and `Core::UnallowLinkBetween()` helper methods to the Nexus test platform. These methods simplify establishing bidirectional links between nodes in simulation tests by handling the reciprocal `AllowList()` calls in a single step. Updated various Nexus test cases to utilize these new helpers, replacing manual bidirectional `AllowList()` calls. This change reduces verbosity and ensures consistency in how links are established in the test topology.
386 lines
15 KiB
C++
386 lines
15 KiB
C++
/*
|
|
* 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 kJoinNetworkTime = 200 * 1000;
|
|
|
|
/**
|
|
* Time to advance for the BR to perform automatic actions (RA, Network Data), in milliseconds.
|
|
*/
|
|
static constexpr uint32_t kBrActionTime = 100 * 1000;
|
|
|
|
/**
|
|
* Time to advance for the ping response, in milliseconds.
|
|
*/
|
|
static constexpr uint32_t kPingResponseTime = 5 * 1000;
|
|
|
|
/**
|
|
* Time to advance for leader timeout (NETWORK_ID_TIMEOUT + 10s), in milliseconds.
|
|
*/
|
|
static constexpr uint32_t kLeaderTimeoutTime = (120 + 10) * 1000;
|
|
|
|
/**
|
|
* Infrastructure interface index.
|
|
*/
|
|
static constexpr uint32_t kInfraIfIndex = 1;
|
|
|
|
/**
|
|
* Echo Request identifier.
|
|
*/
|
|
static constexpr uint16_t kEchoIdentifier = 0xabcd;
|
|
|
|
/**
|
|
* Echo Request payload size.
|
|
*/
|
|
static constexpr uint16_t kEchoPayloadSize = 10;
|
|
|
|
void Test_1_3_DBR_TC_2(void)
|
|
{
|
|
/**
|
|
* 1.2. [1.3] [CERT] Reachability - Multiple BRs - Single Thread / Single Infrastructure Link
|
|
*
|
|
* 1.2.1. Purpose
|
|
* To test the following:
|
|
* 1. Bi-directional reachability between Thread devices and infrastructure devices
|
|
* 2. No existing IPv6 infrastructure
|
|
* 3. Multiple BRS
|
|
* 4. DUT BR adopts existing ULA and OMR prefixes
|
|
*
|
|
* 1.2.2. Topology
|
|
* - BR 1 (DUT) - Thread Border Router
|
|
* - BR 2-Test Bed device operating as a Thread Border Router Device and the Leader
|
|
* - ED 1-Test Bed device operating as a Thread End Device, attached to BR_1
|
|
* - Eth 1-Test bed border router device on an Adjacent Infrastructure Link
|
|
*
|
|
* Spec Reference | V1.1 Section | V1.3.0 Section
|
|
* ---------------|--------------|---------------
|
|
* Reachability | N/A | 1.3
|
|
*/
|
|
|
|
Core nexus;
|
|
|
|
Node &br1 = nexus.CreateNode();
|
|
Node &br2 = nexus.CreateNode();
|
|
Node &ed1 = nexus.CreateNode();
|
|
Node ð1 = nexus.CreateNode();
|
|
|
|
br1.SetName("BR_1");
|
|
br2.SetName("BR_2");
|
|
ed1.SetName("ED_1");
|
|
eth1.SetName("Eth_1");
|
|
|
|
nexus.AdvanceTime(0);
|
|
|
|
SuccessOrQuit(Instance::SetGlobalLogLevel(kLogLevelNote));
|
|
|
|
Log("---------------------------------------------------------------------------------------");
|
|
Log("Step 1: Device: Eth 1, BR 2 Description (DBR-1.2): Form topology. Wait for BR_2 to...");
|
|
|
|
/**
|
|
* Step 1
|
|
* - Device: Eth 1, BR 2
|
|
* - Description (DBR-1.2): Form topology. Wait for BR_2 to: 1. Register as border router in Thread Network Data 2.
|
|
* Send multicast ND RAS PIO with ULA prefix (ULA_init) RIO with OMR prefix (OMR_init)
|
|
* - Pass Criteria: N/A
|
|
*/
|
|
|
|
AllowLinkBetween(br1, br2);
|
|
AllowLinkBetween(ed1, br1);
|
|
|
|
br2.Form();
|
|
nexus.AdvanceTime(kFormNetworkTime);
|
|
|
|
br2.Get<BorderRouter::InfraIf>().Init(kInfraIfIndex, true);
|
|
br2.Get<BorderRouter::RoutingManager>().Init();
|
|
SuccessOrQuit(br2.Get<BorderRouter::RoutingManager>().SetEnabled(true));
|
|
|
|
nexus.AdvanceTime(kBrActionTime);
|
|
|
|
Ip6::Prefix omrInit;
|
|
SuccessOrQuit(br2.Get<BorderRouter::RoutingManager>().GetOmrPrefix(omrInit));
|
|
nexus.AddTestVar("OMR_INIT", omrInit.ToString().AsCString());
|
|
|
|
Ip6::Prefix ulaInit;
|
|
SuccessOrQuit(br2.Get<BorderRouter::RoutingManager>().GetOnLinkPrefix(ulaInit));
|
|
nexus.AddTestVar("ULA_INIT", ulaInit.ToString().AsCString());
|
|
|
|
{
|
|
MeshCoP::Dataset::Info datasetInfo;
|
|
SuccessOrQuit(br2.Get<MeshCoP::ActiveDatasetManager>().Read(datasetInfo));
|
|
const MeshCoP::ExtendedPanId &extPanId = datasetInfo.Get<MeshCoP::Dataset::kExtendedPanId>();
|
|
nexus.AddTestVar("EXT_PAN_ID_VAR", extPanId.ToString().AsCString());
|
|
}
|
|
|
|
Log("---------------------------------------------------------------------------------------");
|
|
Log("Step 2: Device: BR 1 (DUT) Description (DBR-1.2): Enable: turn on device.");
|
|
|
|
/**
|
|
* Step 2
|
|
* - Device: BR 1 (DUT)
|
|
* - Description (DBR-1.2): Enable: turn on device.
|
|
* - Pass Criteria: N/A
|
|
*/
|
|
|
|
br1.Join(br2);
|
|
nexus.AdvanceTime(kJoinNetworkTime);
|
|
|
|
br1.Get<BorderRouter::InfraIf>().Init(kInfraIfIndex, true);
|
|
br1.Get<BorderRouter::RoutingManager>().Init();
|
|
SuccessOrQuit(br1.Get<BorderRouter::RoutingManager>().SetEnabled(true));
|
|
|
|
Log("---------------------------------------------------------------------------------------");
|
|
Log("Step 3: Device: BR 1 (DUT) Description (DBR-1.2): Automatically registers itself as a border router.");
|
|
|
|
/**
|
|
* Step 3
|
|
* - Device: BR 1 (DUT)
|
|
* - Description (DBR-1.2): Automatically registers itself as a border router in the Thread Network Data.
|
|
* - Pass Criteria:
|
|
* - The DUT MUST NOT register a new OMR Prefix in the Thread Network Data.
|
|
*/
|
|
|
|
nexus.AdvanceTime(kBrActionTime);
|
|
|
|
Log("---------------------------------------------------------------------------------------");
|
|
Log("Step 4: Device: BR_1 (DUT) Description (DBR-1.2): Automatically multicasts ND RAs on AIL.");
|
|
|
|
/**
|
|
* Step 4
|
|
* - Device: BR_1 (DUT)
|
|
* - Description (DBR-1.2): Automatically multicasts ND RAs on Adjacent Infrastructure Link.
|
|
* - Pass Criteria:
|
|
* - The DUT MUST multicast ND RAS, including the following
|
|
* - IPv6 destination MUST be ff02::1
|
|
* - MUST contain "Router Lifetime" = 0. (indicating it's not a default router)
|
|
* - Route Information Option (RIO) Prefix OMR prefix = OMR_init.
|
|
* - MUST NOT include Prefix Information Option (PIO)
|
|
* - Any ND RA messages MUST NOT include the following: Route Information Option (RIO) Prefix::/0 (the zero-length
|
|
* prefix)
|
|
*/
|
|
|
|
// Time already advanced.
|
|
|
|
Log("---------------------------------------------------------------------------------------");
|
|
Log("Step 4b: Device: ED 1 Description (DBR-1.2): Enable device. It attaches to the DUT.");
|
|
|
|
/**
|
|
* Step 4b
|
|
* - Device: ED 1
|
|
* - Description (DBR-1.2): Enable device. It attaches to the DUT.
|
|
* - Pass Criteria:
|
|
* - Verify the DUT still adheres to step 3 pass criteria for the Network Data when applied to the Thread
|
|
* Network Data that is sent to the Child ED 1.
|
|
*/
|
|
|
|
ed1.Join(br1, Node::kAsFed);
|
|
nexus.AdvanceTime(kJoinNetworkTime);
|
|
|
|
Log("---------------------------------------------------------------------------------------");
|
|
Log("Step 5: Device: Eth 1 Description (DBR-1.2): Harness instructs the device to send ICMPv6 Echo Request.");
|
|
|
|
/**
|
|
* Step 5
|
|
* - Device: Eth 1
|
|
* - Description (DBR-1.2): Harness instructs the device to send ICMPv6 Echo Request to ED 1 via BR 1 Thread link.
|
|
* 1. IPv6 Source: its address starting with prefix ULA_init 2. IPv6 Destination: ED_1 OMR address starting with
|
|
* prefix OMR init
|
|
* - Pass Criteria:
|
|
* - Eth_1 receives an ICMPv6 Echo Reply from ED_1.
|
|
* - 1. IPv6 Source: ED_1 OMR address starting with prefix OMR init
|
|
* - 2. IPv6 Destination: Eth_1 ULA address starting with prefix ULA init
|
|
*/
|
|
|
|
const Ip6::Address ð1Ula = eth1.mInfraIf.FindMatchingAddress(ulaInit.ToString().AsCString());
|
|
const Ip6::Address &ed1Omr = ed1.FindMatchingAddress(omrInit.ToString().AsCString());
|
|
|
|
nexus.AddTestVar("ETH_1_ULA_ADDR", eth1Ula.ToString().AsCString());
|
|
nexus.AddTestVar("ED_1_OMR_ADDR", ed1Omr.ToString().AsCString());
|
|
|
|
eth1.mInfraIf.SendEchoRequest(eth1Ula, ed1Omr, kEchoIdentifier, kEchoPayloadSize);
|
|
nexus.AdvanceTime(kPingResponseTime);
|
|
|
|
Log("---------------------------------------------------------------------------------------");
|
|
Log("Step 6: Device: ED_1 Description (DBR-1.2): Harness instructs the device to send ICMPv6 Echo Request.");
|
|
|
|
/**
|
|
* Step 6
|
|
* - Device: ED_1
|
|
* - Description (DBR-1.2): Harness instructs the device to send ICMPv6 Echo Request to Eth 1. 1. IPv6 Source: its
|
|
* OMR address starting with prefix OMR init) 2. IPv6 Destination: Eth_1 ULA address starting with prefix ULA init
|
|
* - Pass Criteria:
|
|
* - ED_1 receives an ICMPv6 Echo Reply from Eth_1 via BR_1 Thread link
|
|
* - 1. IPv6 Source: Eth_1 ULA address starting with prefix ULA init
|
|
* - 2. IPv6 Destination: ED_1 OMR address starting with prefix OMR init
|
|
*/
|
|
|
|
ed1.SendEchoRequest(eth1Ula, kEchoIdentifier, kEchoPayloadSize, 64, &ed1Omr);
|
|
nexus.AdvanceTime(kPingResponseTime);
|
|
|
|
Log("---------------------------------------------------------------------------------------");
|
|
Log("Step 7: Device: BR 2 Description (DBR-1.2): Harness disables the device.");
|
|
|
|
/**
|
|
* Step 7
|
|
* - Device: BR 2
|
|
* - Description (DBR-1.2): Harness disables the device. Note: this will eventually lead to the timing out and
|
|
* removal of the OMR init prefix in the Thread Network Data. However, during the short time period in which the
|
|
* next 3 test steps are executed this advertised OMR_init prefix remains valid and BR_1 keeps operating as is.
|
|
* - Pass Criteria: N/A
|
|
*/
|
|
|
|
br2.Get<Mle::Mle>().Stop();
|
|
|
|
Log("---------------------------------------------------------------------------------------");
|
|
Log("Step 8: Device: BR 1 (DUT) Description (DBR-1.2): Repeat Step 4");
|
|
|
|
/**
|
|
* Step 8
|
|
* - Device: BR 1 (DUT)
|
|
* - Description (DBR-1.2): Repeat Step 4
|
|
* - Pass Criteria:
|
|
* - Repeat Step 4
|
|
*/
|
|
|
|
nexus.AdvanceTime(kBrActionTime);
|
|
|
|
Log("---------------------------------------------------------------------------------------");
|
|
Log("Step 9: Device: Eth 1 Description (DBR-1.2): Repeat Step 5");
|
|
|
|
/**
|
|
* Step 9
|
|
* - Device: Eth 1
|
|
* - Description (DBR-1.2): Repeat Step 5
|
|
* - Pass Criteria:
|
|
* - Repeat Step 5
|
|
*/
|
|
|
|
eth1.mInfraIf.SendEchoRequest(eth1Ula, ed1Omr, kEchoIdentifier, kEchoPayloadSize);
|
|
nexus.AdvanceTime(kPingResponseTime);
|
|
|
|
Log("---------------------------------------------------------------------------------------");
|
|
Log("Step 10: Device: ED 1 Description (DBR-1.2): Repeat Step 6");
|
|
|
|
/**
|
|
* Step 10
|
|
* - Device: ED 1
|
|
* - Description (DBR-1.2): Repeat Step 6
|
|
* - Pass Criteria:
|
|
* - Repeat Step 6
|
|
*/
|
|
|
|
ed1.SendEchoRequest(eth1Ula, kEchoIdentifier, kEchoPayloadSize, 64, &ed1Omr);
|
|
nexus.AdvanceTime(kPingResponseTime);
|
|
|
|
Log("---------------------------------------------------------------------------------------");
|
|
Log("Step 11: Device: N/A Description (DBR-1.2): Harness waits for Leader timeout to occur.");
|
|
|
|
/**
|
|
* Step 11
|
|
* - Device: N/A
|
|
* - Description (DBR-1.2): Harness waits for Leader timeout to occur, after loss of BR_2 Leader. Note: this may
|
|
* be implemented by waiting at least ( NETWORK_ID_TIMEOUT + 10) seconds.
|
|
* - Pass Criteria: N/A
|
|
*/
|
|
|
|
nexus.AdvanceTime(kLeaderTimeoutTime);
|
|
|
|
Log("---------------------------------------------------------------------------------------");
|
|
Log("Step 12: Device: BR 1 (DUT) Description (DBR-1.2): Automatically becomes Leader and advertises...");
|
|
|
|
/**
|
|
* Step 12
|
|
* - Device: BR 1 (DUT)
|
|
* - Description (DBR-1.2): Automatically becomes Leader and advertises its own OMR prefix, as well as a ULA prefix
|
|
* for the adjacent infrastructure link (AIL).
|
|
* - Pass Criteria:
|
|
* - The DUT MUST become Leader of a new Partition, and MUST register a new OMR prefix OMR 1 in the Thread Network
|
|
* Data.
|
|
* - OMR 1 MUST NOT be equal to OMR_init.
|
|
* - DUT MUST advertise a route in Network Data as follows: Prefix TLV Prefix fc00::/7 Has Route sub-TLV Prf
|
|
* 'Medium' (00) or 'Low' ( 11)
|
|
*/
|
|
|
|
VerifyOrQuit(br1.Get<Mle::Mle>().IsLeader());
|
|
|
|
Ip6::Prefix omr1;
|
|
SuccessOrQuit(br1.Get<BorderRouter::RoutingManager>().GetOmrPrefix(omr1));
|
|
nexus.AddTestVar("OMR_1", omr1.ToString().AsCString());
|
|
|
|
Ip6::Prefix ula1;
|
|
SuccessOrQuit(br1.Get<BorderRouter::RoutingManager>().GetOnLinkPrefix(ula1));
|
|
nexus.AddTestVar("ULA_1", ula1.ToString().AsCString());
|
|
|
|
Log("---------------------------------------------------------------------------------------");
|
|
Log("Step 13: Device: BR_1 (DUT) Description (DBR-1.2): Automatically multicasts ND RAs on AIL.");
|
|
|
|
/**
|
|
* Step 13
|
|
* - Device: BR_1 (DUT)
|
|
* - Description (DBR-1.2): Automatically multicasts ND RAs on Adjacent Infrastructure Link.
|
|
* - Pass Criteria:
|
|
* - The DUT MUST multicast ND RAS, including the following
|
|
* - IPv6 destination MUST be ff02::1
|
|
* - M bit and O bit MUST be '0'
|
|
* - MUST contain "Router Lifetime" = 0. (indicating it's not a default router)
|
|
* - MUST include Route Information Option (RIO) Prefix OMR_1 Prf 'Medium' (00) or 'Low' (11)
|
|
* - MUST include Prefix Information Option (PIO) Prefix ULA 1 A bit MUST be '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
|
|
*/
|
|
|
|
nexus.AdvanceTime(kBrActionTime);
|
|
|
|
nexus.SaveTestInfo("test_1_3_DBR_TC_2.json");
|
|
}
|
|
|
|
} // namespace Nexus
|
|
} // namespace ot
|
|
|
|
int main(void)
|
|
{
|
|
ot::Nexus::Test_1_3_DBR_TC_2();
|
|
printf("All tests passed\n");
|
|
return 0;
|
|
}
|