espressif/openthread
1
0
Fork 0
mirror of https://github.com/espressif/openthread.git synced 2026-06-05 21:14:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

[nexus] add test 5.3.7 Duplicate Address Detection (#12419)

Browse Source 
This commit adds a new Nexus test case for 'Duplicate Address Detection'
(5.3.7) as specified in the test specification.

Summary of changes:
- Implemented Nexus test 5.3.7:
    - Added test_5_3_7.cpp: Sets up a network topology with a Leader
      (DUT), two Routers, two MEDs, and one SED. Configures an on-mesh
      prefix and assigns the same IPv6 address to two different nodes
      (MED_1 and SED_1). Instructs MED_2 to send an Echo Request to
      the duplicate address and verifies the resulting Address Query
      and Address Error Notification exchanges. Uses direct method calls
      and sets log level to note.
    - Added verify_5_3_7.py: PCAP verification script for test 5.3.7.
      Ensures that the Leader sends MLE Advertisements, multicasts an
      Address Query (/aq) to FF03::2, receives Address Notifications
      (/an) from Routers, and finally multicasts an Address Error
      Notification (/ae) to FF03::2.
- Updated build and execution scripts:
    - Modified CMakeLists.txt to build the new 5.3_7 test executable.
    - Updated run_nexus_tests.sh to include 5_3_7 in the default test
      list.
This commit is contained in:
Jonathan Hui
2026-02-12 12:06:43 -06:00
committed by GitHub
parent 8489fb3727
commit 5d8ba73b8a
4 changed files with 433 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/nexus/CMakeLists.txt
+1
View File
@@ -143,6 +143,7 @@ ot_nexus_test(5_3_3 "cert;nexus")
ot_nexus_test(5_3_4 "cert;nexus")
ot_nexus_test(5_3_5 "cert;nexus")
ot_nexus_test(5_3_6 "cert;nexus")
ot_nexus_test(5_3_7 "cert;nexus")
# Misc tests
ot_nexus_test(border_admitter "core;nexus")
tests/nexus/run_nexus_tests.sh
+1
View File
@@ -73,6 +73,7 @@ DEFAULT_TESTS=(
"5_3_4"
"5_3_5"
"5_3_6"
"5_3_7"
)
# Use provided arguments or the default test list
tests/nexus/test_5_3_7.cpp
+284
View File
@@ -0,0 +1,284 @@
/*
* 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 "common/preference.hpp"
#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 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;
/**
* The 2001::/64 prefix used in the test.
*/
static const char kPrefix[] = "2001::/64";
/**
* The address used for duplicate address detection.
*/
static const char kDuplicateAddress[] = "2001::1";
/**
* The identifier used for Echo Request.
*/
static constexpr uint16_t kEchoIdentifier = 0x1234;
void Test5_3_7(void)
{
/**
* 5.3.7 Duplicate Address Detection
*
* 5.3.7.1 Topology
* - Leader (DUT)
* - Router_1
* - Router_2
* - MED_1 (Attached to Router_1)
* - MED_2 (Attached to Leader)
* - SED_1 (Attached to Router_2)
*
* 5.3.7.2 Purpose & Description
* The purpose of this test case is to validate the DUT’s ability to perform duplicate address detection.
*
* Spec Reference | V1.1 Section | V1.3.0 Section
* ---------------------------------|--------------|---------------
* Duplicate IPv6 Address Detection | 5.6 | 5.6
*/
Core nexus;
Node &leader = nexus.CreateNode();
Node &router1 = nexus.CreateNode();
Node &router2 = nexus.CreateNode();
Node &med1 = nexus.CreateNode();
Node &med2 = nexus.CreateNode();
Node &sed1 = nexus.CreateNode();
leader.SetName("LEADER");
router1.SetName("ROUTER_1");
router2.SetName("ROUTER_2");
med1.SetName("MED_1");
med2.SetName("MED_2");
sed1.SetName("SED_1");
nexus.AdvanceTime(0);
Instance::SetLogLevel(kLogLevelNote);
Log("---------------------------------------------------------------------------------------");
Log("Step 1: All");
/**
* Step 1: All
* - Description: Ensure topology is formed correctly.
* - Pass Criteria: N/A
*/
leader.AllowList(router1);
leader.AllowList(router2);
leader.AllowList(med2);
router1.AllowList(leader);
router1.AllowList(router2);
router1.AllowList(med1);
router2.AllowList(leader);
router2.AllowList(router1);
router2.AllowList(sed1);
med1.AllowList(router1);
med2.AllowList(leader);
sed1.AllowList(router2);
leader.Form();
nexus.AdvanceTime(kFormNetworkTime);
VerifyOrQuit(leader.Get<Mle::Mle>().IsLeader());
router1.Join(leader);
router2.Join(leader);
nexus.AdvanceTime(kAttachToRouterTime);
VerifyOrQuit(router1.Get<Mle::Mle>().IsRouter());
VerifyOrQuit(router2.Get<Mle::Mle>().IsRouter());
med1.Join(router1, Node::kAsMed);
med2.Join(leader, Node::kAsMed);
sed1.Join(router2, Node::kAsSed);
nexus.AdvanceTime(kStabilizationTime);
VerifyOrQuit(med1.Get<Mle::Mle>().IsAttached());
VerifyOrQuit(med2.Get<Mle::Mle>().IsAttached());
VerifyOrQuit(sed1.Get<Mle::Mle>().IsAttached());
Log("---------------------------------------------------------------------------------------");
Log("Step 2: Leader (DUT)");
/**
* Step 2: Leader (DUT)
* - Description: Transmit MLE advertisements.
* - Pass Criteria:
* - The DUT MUST send properly formatted MLE Advertisements.
* - MLE Advertisements MUST be sent with an IP Hop Limit of 255 to the Link-Local All Nodes multicast address
* (FF02::1).
* - The following TLVs MUST be present in the MLE Advertisements:
* - Leader Data TLV
* - Route64 TLV
* - Source Address TLV
*/
nexus.AdvanceTime(kStabilizationTime);
Log("---------------------------------------------------------------------------------------");
Log("Step 3: Router_2");
/**
* Step 3: Router_2
* - Description: Harness configures the following On-Mesh Prefix on the device:
* - Prefix 1: P_Prefix=2001::/64 P_stable=1 P_default=1 P_slaac=1 P_on_mesh=1 P_preferred=1
* - Pass Criteria: N/A
*/
{
NetworkData::OnMeshPrefixConfig config;
config.Clear();
SuccessOrQuit(config.GetPrefix().FromString(kPrefix));
config.mStable = true;
config.mDefaultRoute = true;
config.mSlaac = true;
config.mOnMesh = true;
config.mPreferred = true;
config.mPreference = Preference::kMedium;
SuccessOrQuit(router2.Get<NetworkData::Local>().AddOnMeshPrefix(config));
router2.Get<NetworkData::Notifier>().HandleServerDataUpdated();
}
nexus.AdvanceTime(kStabilizationTime);
Log("---------------------------------------------------------------------------------------");
Log("Step 4: MED_1, SED_1");
/**
* Step 4: MED_1, SED_1
* - Description: Harness configures both devices with the same 2001:: address.
* - Pass Criteria: N/A
*/
{
Ip6::Netif::UnicastAddress unicastAddress;
unicastAddress.InitAsThreadOriginGlobalScope();
SuccessOrQuit(unicastAddress.GetAddress().FromString(kDuplicateAddress));
SuccessOrQuit(med1.Get<ThreadNetif>().AddExternalUnicastAddress(unicastAddress));
SuccessOrQuit(sed1.Get<ThreadNetif>().AddExternalUnicastAddress(unicastAddress));
}
nexus.AdvanceTime(kStabilizationTime);
Log("---------------------------------------------------------------------------------------");
Log("Step 5: MED_2");
/**
* Step 5: MED_2
* - Description: Harness instructs device to send an ICMPv6 Echo Request to the address configured on MED_1 and
* SED_1 with Prefix 2001::
* - Pass Criteria:
* - The DUT MUST multicast an Address Query message to the Realm-Local All-Routers address (FF03::2):
* - ADDR_QRY.req (/aq) - Address Query Request
* - CoAP URI-Path: NON POST coap://[<FF03::2>]:MM/a/aq
* - CoAP Payload:
* - Target EID TLV
*/
{
Ip6::Address destination;
SuccessOrQuit(destination.FromString(kDuplicateAddress));
med2.SendEchoRequest(destination, kEchoIdentifier);
}
nexus.AdvanceTime(kStabilizationTime);
Log("---------------------------------------------------------------------------------------");
Log("Step 6: Router_1, Router_2");
/**
* Step 6: Router_1, Router_2
* - Description: Automatically respond with Address Notification message with matching Target TLVs.
* - Pass Criteria: N/A
*/
nexus.AdvanceTime(kStabilizationTime);
Log("---------------------------------------------------------------------------------------");
Log("Step 7: Leader (DUT)");
/**
* Step 7: Leader (DUT)
* - Description: Automatically sends a Multicast Address Error Notification.
* - Pass Criteria:
* - The DUT MUST issue an Address Error Notification message to the Realm-Local All-Routers multicast address
* (FF03::2):
* - ADDR_ERR.ntf(/ae) - Address Error Notification
* - CoAP URI-Path: NON POST coap://[<peer address>]:MM/a/ae
* - CoAP Payload:
* - Target EID TLV
* - ML-EID TLV
* - The IPv6 Source address MUST be the RLOC of the originator,,,
*/
nexus.AdvanceTime(kStabilizationTime);
nexus.SaveTestInfo("test_5_3_7.json");
}
} // namespace Nexus
} // namespace ot
int main(void)
{
ot::Nexus::Test5_3_7();
printf("All tests passed\n");
return 0;
}
tests/nexus/verify_5_3_7.py
+147
View File
@@ -0,0 +1,147 @@
#!/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.3.7 Duplicate Address Detection
#
# 5.3.7.1 Topology
# - Leader (DUT)
# - Router_1
# - Router_2
# - MED_1 (Attached to Router_1)
# - MED_2 (Attached to Leader)
# - SED_1 (Attached to Router_2)
#
# 5.3.7.2 Purpose & Description
# The purpose of this test case is to validate the DUT’s ability to perform duplicate address detection.
#
# Spec Reference | V1.1 Section | V1.3.0 Section
# ---------------------------------|--------------|---------------
# Duplicate IPv6 Address Detection | 5.6 | 5.6
pkts = pv.pkts
pv.summary.show()
LEADER = pv.vars['LEADER']
ROUTER_1 = pv.vars['ROUTER_1']
ROUTER_2 = pv.vars['ROUTER_2']
# Step 1: All
# - Description: Ensure topology is formed correctly.
# - Pass Criteria: N/A
print("Step 1: All")
# Step 2: Leader (DUT)
# - Description: Transmit MLE advertisements.
# - Pass Criteria:
# - The DUT MUST send properly formatted MLE Advertisements.
# - MLE Advertisements MUST be sent with an IP Hop Limit of 255 to the Link-Local All Nodes multicast address
# (FF02::1).
# - The following TLVs MUST be present in the MLE Advertisements:
# - Leader Data TLV
# - Route64 TLV
# - Source Address TLV
print("Step 2: Leader (DUT)")
pkts.copy().filter_mle_cmd(consts.MLE_ADVERTISEMENT).\
filter_wpan_src64(LEADER).\
filter_LLANMA().\
filter(lambda p: {
consts.LEADER_DATA_TLV,
consts.ROUTE64_TLV,
consts.SOURCE_ADDRESS_TLV
} <= set(p.mle.tlv.type) and\
p.ipv6.hlim == 255).\
must_next()
# Step 3: Router_2
# - Description: Harness configures the following On-Mesh Prefix on the device:
# - Prefix 1: P_Prefix=2001::/64 P_stable=1 P_default=1 P_slaac=1 P_on_mesh=1 P_preferred=1
# - Pass Criteria: N/A
print("Step 3: Router_2")
# Step 4: MED_1, SED_1
# - Description: Harness configures both devices with the same 2001:: address.
# - Pass Criteria: N/A
print("Step 4: MED_1, SED_1")
# Step 5: MED_2
# - Description: Harness instructs device to send an ICMPv6 Echo Request to the address configured on MED_1 and
# SED_1 with Prefix 2001::
# - Pass Criteria:
# - The DUT MUST multicast an Address Query message to the Realm-Local All-Routers address (FF03::2):
# - ADDR_QRY.req (/aq) - Address Query Request
# - CoAP URI-Path: NON POST coap://[<FF03::2>]:MM/a/aq
# - CoAP Payload:
# - Target EID TLV
print("Step 5: MED_2")
pkts.copy().filter_wpan_src64(LEADER).\
filter_RLARMA().\
filter_coap_request(consts.ADDR_QRY_URI).\
filter(lambda p: p.coap.tlv.target_eid == '2001::1').\
must_next()
# Step 6: Router_1, Router_2
# - Description: Automatically respond with Address Notification message with matching Target TLVs.
# - Pass Criteria: N/A
print("Step 6: Router_1, Router_2")
pkts.copy().filter_wpan_src64(ROUTER_1).filter_coap_request(consts.ADDR_NTF_URI).must_next()
pkts.copy().filter_wpan_src64(ROUTER_2).filter_coap_request(consts.ADDR_NTF_URI).must_next()
# Step 7: Leader (DUT)
# - Description: Automatically sends a Multicast Address Error Notification.
# - Pass Criteria:
# - The DUT MUST issue an Address Error Notification message to the Realm-Local All-Routers multicast address
# (FF03::2):
# - ADDR_ERR.ntf(/ae) - Address Error Notification
# - CoAP URI-Path: NON POST coap://[<peer address>]:MM/a/ae
# - CoAP Payload:
# - Target EID TLV
# - ML-EID TLV
# - The IPv6 Source address MUST be the RLOC of the originator,,,
print("Step 7: Leader (DUT)")
pkts.copy().filter_wpan_src64(LEADER).\
filter_RLARMA().\
filter_coap_request(consts.ADDR_ERR_URI).\
filter(lambda p: p.coap.tlv.target_eid == '2001::1' and p.ipv6.src == pv.vars['LEADER_RLOC']).\
must_next()
if __name__ == '__main__':
verify_utils.run_main(verify)