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

[nexus] add test 5.5.3 Split and Merge: Branch with Child (#12434)

Browse Source 
This commit adds a new Nexus test case for 'Split and Merge: Branch
with Child' (5.5.3) as specified in the test specification.

Summary of changes:
- Implemented Nexus test 5.5.3:
    - Added tests/nexus/test_5_5_3.cpp: Sets up a network topology
      with a Leader, two Routers, and two MEDs. Simulates a network
      split by stopping the Leader and allows Routers to form new
      partitions. Reintroduces the Leader and verifies that partitions
      successfully merge back together. Uses direct method calls,
      sets log level to note, and uses AllowList for topology.
    - Added tests/nexus/verify_5_5_3.py: PCAP verification script for
      test 5.5.3. Ensures correct MLE Advertisement, Parent Request,
      Child ID Request, and Address Solicit exchanges during split
      and merge. Validates end-to-end ICMPv6 Echo connectivity after
      the merge.
- Updated build and execution scripts:
    - Modified tests/nexus/CMakeLists.txt to build the new 5.5.3 test.
    - Updated tests/nexus/run_nexus_tests.sh to include 5.5.3 in the
      default test list.
This commit is contained in:
Jonathan Hui
2026-02-13 14:26:05 -06:00
committed by GitHub
parent 86efe4927a
commit 3ea572212e
5 changed files with 709 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/nexus/CMakeLists.txt
+1
View File
@@ -150,6 +150,7 @@ ot_nexus_test(5_3_10 "cert;nexus")
ot_nexus_test(5_3_11 "cert;nexus")
ot_nexus_test(5_5_1 "cert;nexus")
ot_nexus_test(5_5_2 "cert;nexus")
ot_nexus_test(5_5_3 "cert;nexus")
# Misc tests
ot_nexus_test(border_admitter "core;nexus")
tests/nexus/run_nexus_tests.sh
+1
View File
@@ -80,6 +80,7 @@ DEFAULT_TESTS=(
"5_3_11"
"5_5_1"
"5_5_2"
"5_5_3"
)
# Use provided arguments or the default test list
tests/nexus/test_5_5_3.cpp
+391
View File
@@ -0,0 +1,391 @@
/*
* 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 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;
/**
* Wait period after leader reboot.
*/
static constexpr uint32_t kWaitPeriod = 250 * 1000;
/**
* High partition weight.
*/
static constexpr uint8_t kHighWeight = 72;
/**
* The identifier used for Echo Request.
*/
static constexpr uint16_t kEchoIdentifier = 0x1234;
void Test5_5_3(void)
{
/**
* 5.5.3 Split and Merge: Branch with Child
*
* 5.5.3.1 Topology
* - Topology A: DUT, Router_1, MED_2, Router_2, MED_3
* - Topology B: Leader, Router_2, DUT, MED_2, MED_3
*
* 5.5.3.2 Purpose & Description
* The purpose of this test case is to show that the Router_1 will create a new partition once the Leader is
* removed from the network for a time period longer than the Leader timeout (120 seconds), and the network
* will merge back together once the Leader device is reintroduced to the network.
*
* Spec Reference | V1.1 Section | V1.3.0 Section
* --------------------------|--------------|---------------
* Thread Network Partitions | 5.16 | 5.16
*/
Core nexus;
Node &leader = nexus.CreateNode();
Node &router1 = nexus.CreateNode();
Node &router2 = nexus.CreateNode();
Node &med2 = nexus.CreateNode();
Node &med3 = nexus.CreateNode();
leader.SetName("LEADER");
router1.SetName("ROUTER_1");
router2.SetName("ROUTER_2");
med2.SetName("MED_2");
med3.SetName("MED_3");
nexus.AdvanceTime(0);
Instance::SetLogLevel(kLogLevelNote);
Log("---------------------------------------------------------------------------------------");
Log("Step 0: All");
/**
* Step 0: All
* - Description: Topology formation.
* - Pass Criteria: N/A
*/
leader.AllowList(router1);
leader.AllowList(router2);
router1.AllowList(leader);
router1.AllowList(med2);
router2.AllowList(leader);
router2.AllowList(med3);
med2.AllowList(router1);
med3.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());
med2.Join(router1, Node::kAsMed);
med3.Join(router2, Node::kAsMed);
nexus.AdvanceTime(kStabilizationTime);
VerifyOrQuit(med2.Get<Mle::Mle>().IsAttached());
VerifyOrQuit(med3.Get<Mle::Mle>().IsAttached());
Log("---------------------------------------------------------------------------------------");
Log("Step 1: Router_2");
/**
* Step 1: Router_2
* - Description: Harness configures the device to form new partitions with the high partition weight (72).
* - Pass Criteria: N/A
*/
router2.Get<Mle::Mle>().SetLeaderWeight(kHighWeight);
Log("---------------------------------------------------------------------------------------");
Log("Step 2: Leader, Router_1 (DUT)");
/**
* Step 2: Leader, Router_1 (DUT)
* - Description: Automatically transmit MLE advertisements.
* - Pass Criteria:
* - The DUT MUST send MLE Advertisements 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 Advertisement:
* - Leader Data TLV
* - Route64 TLV
* - Source Address TLV
*/
nexus.AdvanceTime(kStabilizationTime);
Log("---------------------------------------------------------------------------------------");
Log("Step 3: Leader");
/**
* Step 3: Leader
* - Description: Leader device is restarted.
* - If DUT=Leader and testing is manual, this is a UI pop-up box interaction.
* - Allowed Leader reboot time is 125 seconds (must be greater than Leader Timeout value [default 120
* seconds]).
* - Harness begins a 250 second wait period during which steps 4-13 are expected to happen automatically.
* - Pass Criteria:
* - For DUT = Leader: The DUT MUST stop sending MLE advertisements.
*/
leader.Get<Mle::Mle>().Stop();
nexus.AdvanceTime(kWaitPeriod);
Log("---------------------------------------------------------------------------------------");
Log("Step 4: Router_1");
/**
* Step 4: Router_1
* - Description: Automatically attempts to reattach to previous partition.
* - Pass Criteria:
* - For DUT = Router:
* - The DUT MUST attempt to reattach to its original partition by sending MLE Parent Requests to the
* Link-Local All-Routers multicast address (FF02::2) with an IP Hop Limit of 255.
* - The following TLVs MUST be present in the MLE Parent Request:
* - Challenge TLV
* - Mode TLV
* - Scan Mask TLV (value = 0xc0)
* - Version TLV
* - The DUT MUST make two separate attempts to reconnect to its current partition in this manner.
*/
Log("---------------------------------------------------------------------------------------");
Log("Step 5: Leader");
/**
* Step 5: Leader
* - Description: Does not respond to MLE Parent Requests.
* - Pass Criteria:
* - For DUT = Leader: The DUT MUST NOT respond to the MLE Parent Requests.
*/
Log("---------------------------------------------------------------------------------------");
Log("Step 6: Router_1");
/**
* Step 6: Router_1
* - Description: Automatically attempts to attach to any other Partition.
* - Pass Criteria:
* - For DUT = Router:
* - The DUT MUST attempt to attach to any other partition within range by sending a MLE Parent Request to
* the Link-Local All-Routers multicast address (FF02::2) with an IP Hop Limit of 255.
* - The following TLVs MUST be present and valid in the MLE Parent Request:
* - Challenge TLV
* - Mode TLV
* - Scan Mask TLV (value = 0x80)
* - Version TLV
*/
Log("---------------------------------------------------------------------------------------");
Log("Step 7: Router_1");
/**
* Step 7: Router_1
* - Description: Automatically starts a new partition as Leader and begins transmitting MLE Advertisements.
* - Pass Criteria:
* - For DUT = Router:
* - The DUT MUST send MLE Advertisements 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:
* - Source Address TLV
* - Leader Data TLV (Router_1 MUST choose a new and random initial Partition ID, VN_Version, and
* VN_Stable_version.)
* - Route64 TLV (DUT MUST choose a new and random initial ID sequence number and delete all previous
* information from its routing tables.)
*/
VerifyOrQuit(router1.Get<Mle::Mle>().IsLeader());
VerifyOrQuit(router2.Get<Mle::Mle>().IsLeader());
Log("---------------------------------------------------------------------------------------");
Log("Step 8: Original Leader device");
/**
* Step 8: Original Leader device
* - Description: Automatically reattaches to the network.
* - Pass Criteria:
* - For DUT = Leader:
* - The DUT MUST send properly formatted MLE Parent Requests to the Link-Local All-Routers multicast address
* with an IP Hop Limit of 255.
* - The following TLVs MUST be present and valid in the MLE Parent Request:
* - Challenge TLV
* - Mode TLV
* - Scan Mask TLV (If the DUT sends multiple Parent Requests, the first one MUST be sent only to All
* Routers; subsequent ones MAY be sent to routers and REEDS)
* - Version TLV
*/
SuccessOrQuit(leader.Get<Mle::Mle>().Start());
Log("---------------------------------------------------------------------------------------");
Log("Step 9: Original Leader device");
/**
* Step 9: Original Leader device
* - Description: Automatically sends MLE Child ID Request to Router_2.
* - Pass Criteria:
* - For DUT = Leader:
* - The DUT MUST unicast MLE Child ID Request to Router_2.
* - The following TLVs MUST be present in the Child ID Request:
* - Link-layer Frame Counter TLV
* - Mode TLV
* - Response TLV
* - Timeout TLV
* - TLV Request TLV, containing: Address16 TLV, Network Data TLV, Route64 TLV (optional)
* - Version TLV
* - MLE Frame Counter TLV (optional; MAY be omitted if the sender uses the same internal counter for both
* link-layer and MLE security)
*/
nexus.AdvanceTime(kAttachToRouterTime);
VerifyOrQuit(leader.Get<Mle::Mle>().IsAttached());
Log("---------------------------------------------------------------------------------------");
Log("Step 10: Original Leader device");
/**
* Step 10: Original Leader device
* - Description: Automatically sends MLE Advertisements.
* - Pass Criteria:
* - For DUT = Leader:
* - The DUT MUST send MLE advertisements 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 Advertisement:
* - Leader Data TLV
* - Route64 TLV
* - Source Address TLV
*/
nexus.AdvanceTime(kAttachToRouterTime);
VerifyOrQuit(leader.Get<Mle::Mle>().IsRouter());
Log("---------------------------------------------------------------------------------------");
Log("Step 11: Router_1");
/**
* Step 11: Router_1
* - Description: Router_1 and Router_2 network partitions automatically merge.
* - Pass Criteria:
* - For DUT = Router:
* - The DUT MUST attach to Router_2’s network partition.
* - The DUT’s Address Solicit Request MUST be formatted as below:
* - CoAP Request URI: coap://<leader address>:MM/a/as
* - CoAP Payload:
* - MAC Extended Address TLV
* - Status TLV (value = 4 [PARENT_PARTITION_CHANGE])
* - RLOC16 TLV (optional)
*/
leader.AllowList(router1);
router1.AllowList(leader);
nexus.AdvanceTime(kWaitPeriod);
VerifyOrQuit(router1.Get<Mle::Mle>().GetLeaderData().GetPartitionId() ==
router2.Get<Mle::Mle>().GetLeaderData().GetPartitionId());
Log("---------------------------------------------------------------------------------------");
Log("Step 12: MED_2");
/**
* Step 12: MED_2
* - Description: Automatically sends MLE Child Update Request to Router_1 at its keep-alive interval.
* - Pass Criteria: N/A
*/
Log("---------------------------------------------------------------------------------------");
Log("Step 13: Router_1");
/**
* Step 13: Router_1
* - Description: Automatically responds with MLE Child Update Response.
* - Pass Criteria:
* - For DUT = Router:
* - The DUT MUST unicast MLE Child Update Response to MED_2, with the updated TLVs of the new partition.
* - The following TLVs MUST be present in the MLE Child Update Response:
* - Mode TLV
* - Leader Data TLV
* - Source Address TLV
* - Address Registration TLV (optional)
*/
nexus.AdvanceTime(kStabilizationTime);
Log("---------------------------------------------------------------------------------------");
Log("Step 14: MED_2");
/**
* Step 14: MED_2
* - Description: Harness instructs the device to send an ICMPv6 Echo Request to MED_3.
* - Pass Criteria:
* - MED_2 MUST receive an ICMPv6 Echo Reply from MED_3, validating the network merge and the connectivity
* between the partitions.
*/
med2.SendEchoRequest(med3.Get<Mle::Mle>().GetMeshLocalEid(), kEchoIdentifier);
nexus.AdvanceTime(kStabilizationTime);
nexus.SaveTestInfo("test_5_5_3.json");
}
} // namespace Nexus
} // namespace ot
int main(void)
{
ot::Nexus::Test5_5_3();
printf("All tests passed\n");
return 0;
}
tests/nexus/verify_5_3_3.py
+2 -1
View File
@@ -160,7 +160,8 @@ def verify(pv):
end_of_step_4 = pkts.index
# Now check in the range up to this reply.
pkts.range(start_of_step_4, end_of_step_4).filter_wpan_src64(DUT).\
pkts.range(start_of_step_4, end_of_step_4).\
filter_wpan_src64(DUT).\
filter_ipv6_src(pv.vars['DUT_RLOC']).\
filter_coap_request(consts.ADDR_QRY_URI).\
filter(lambda p: p.coap.tlv.target_eid == pv.vars['ROUTER_3_MLEID']).\
tests/nexus/verify_5_5_3.py
+314
View File
@@ -0,0 +1,314 @@
#!/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.5.3 Split and Merge: Branch with Child
#
# 5.5.3.1 Topology
# - Topology A: DUT, Router_1, MED_2, Router_2, MED_3
# - Topology B: Leader, Router_2, DUT, MED_2, MED_3
#
# 5.5.3.2 Purpose & Description
# The purpose of this test case is to show that the Router_1 will create a new partition once the Leader is
# removed from the network for a time period longer than the Leader timeout (120 seconds), and the network
# will merge back together once the Leader device is reintroduced to the network.
#
# Spec Reference | V1.1 Section | V1.3.0 Section
# --------------------------|--------------|---------------
# Thread Network Partitions | 5.16 | 5.16
pkts = pv.pkts
pv.summary.show()
LEADER = pv.vars['LEADER']
ROUTER_1 = pv.vars['ROUTER_1']
ROUTER_2 = pv.vars['ROUTER_2']
MED_2 = pv.vars['MED_2']
MED_3 = pv.vars['MED_3']
# Step 0: All
# - Description: Topology formation.
# - Pass Criteria: N/A
print("Step 0: All")
# Step 1: Router_2
# - Description: Harness configures the device to form new partitions with the high partition weight (72).
# - Pass Criteria: N/A
print("Step 1: Router_2")
# Step 2: Leader, Router_1 (DUT)
# - Description: Automatically transmit MLE advertisements.
# - Pass Criteria:
# - The DUT MUST send MLE Advertisements 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 Advertisement:
# - Leader Data TLV
# - Route64 TLV
# - Source Address TLV
print("Step 2: Leader, Router_1 (DUT)")
pkts.copy().filter_mle_cmd(consts.MLE_ADVERTISEMENT).\
filter_LLANMA().\
filter_wpan_src64(ROUTER_1).\
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: Leader
# - Description: Leader device is restarted.
# - If DUT=Leader and testing is manual, this is a UI pop-up box interaction.
# - Allowed Leader reboot time is 125 seconds (must be greater than Leader Timeout value [default 120
# seconds]).
# - Harness begins a 250 second wait period during which steps 4-13 are expected to happen automatically.
# - Pass Criteria:
# - For DUT = Leader: The DUT MUST stop sending MLE advertisements.
print("Step 3: Leader")
# Step 4: Router_1
# - Description: Automatically attempts to reattach to previous partition.
# - Pass Criteria:
# - For DUT = Router:
# - The DUT MUST attempt to reattach to its original partition by sending MLE Parent Requests to the
# Link-Local All-Routers multicast address (FF02::2) with an IP Hop Limit of 255.
# - The following TLVs MUST be present in the MLE Parent Request:
# - Challenge TLV
# - Mode TLV
# - Scan Mask TLV (value = 0xc0)
# - Version TLV
# - The DUT MUST make two separate attempts to reconnect to its current partition in this manner.
print("Step 4: Router_1")
pkts.filter_mle_cmd(consts.MLE_PARENT_REQUEST).\
filter_LLARMA().\
filter_wpan_src64(ROUTER_1).\
filter(lambda p: {
consts.CHALLENGE_TLV,
consts.MODE_TLV,
consts.SCAN_MASK_TLV,
consts.VERSION_TLV
} <= set(p.mle.tlv.type) and p.ipv6.hlim == 255 and p.mle.tlv.scan_mask.r == 1 and p.mle.tlv.scan_mask.e == 1).\
must_next()
# Step 5: Leader
# - Description: Does not respond to MLE Parent Requests.
# - Pass Criteria:
# - For DUT = Leader: The DUT MUST NOT respond to the MLE Parent Requests.
print("Step 5: Leader")
# Step 6: Router_1
# - Description: Automatically attempts to attach to any other Partition.
# - Pass Criteria:
# - For DUT = Router:
# - The DUT MUST attempt to attach to any other partition within range by sending a MLE Parent Request to
# the Link-Local All-Routers multicast address (FF02::2) with an IP Hop Limit of 255.
# - The following TLVs MUST be present and valid in the MLE Parent Request:
# - Challenge TLV
# - Mode TLV
# - Scan Mask TLV (value = 0x80)
# - Version TLV
print("Step 6: Router_1")
pkts.filter_mle_cmd(consts.MLE_PARENT_REQUEST).\
filter_LLARMA().\
filter_wpan_src64(ROUTER_1).\
filter(lambda p: {
consts.CHALLENGE_TLV,
consts.MODE_TLV,
consts.SCAN_MASK_TLV,
consts.VERSION_TLV
} <= set(p.mle.tlv.type) and p.ipv6.hlim == 255 and p.mle.tlv.scan_mask.r == 1 and p.mle.tlv.scan_mask.e == 0).\
must_next()
# Step 7: Router_1
# - Description: Automatically starts a new partition as Leader and begins transmitting MLE Advertisements.
# - Pass Criteria:
# - For DUT = Router:
# - The DUT MUST send MLE Advertisements 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:
# - Source Address TLV
# - Leader Data TLV (Router_1 MUST choose a new and random initial Partition ID, VN_Version, and
# VN_Stable_version.)
# - Route64 TLV (DUT MUST choose a new and random initial ID sequence number and delete all previous
# information from its routing tables.)
print("Step 7: Router_1")
pkts.filter_mle_cmd(consts.MLE_ADVERTISEMENT).\
filter_LLANMA().\
filter_wpan_src64(ROUTER_1).\
filter(lambda p: {
consts.SOURCE_ADDRESS_TLV,
consts.LEADER_DATA_TLV,
consts.ROUTE64_TLV
} <= set(p.mle.tlv.type) and p.ipv6.hlim == 255).\
must_next()
# Step 8: Original Leader device
# - Description: Automatically reattaches to the network.
# - Pass Criteria:
# - For DUT = Leader:
# - The DUT MUST send properly formatted MLE Parent Requests to the Link-Local All-Routers multicast address
# with an IP Hop Limit of 255.
# - The following TLVs MUST be present and valid in the MLE Parent Request:
# - Challenge TLV
# - Mode TLV
# - Scan Mask TLV (If the DUT sends multiple Parent Requests, the first one MUST be sent only to All
# Routers; subsequent ones MAY be sent to routers and REEDS)
# - Version TLV
print("Step 8: Original Leader device")
pkts.filter_mle_cmd(consts.MLE_PARENT_REQUEST).\
filter_LLARMA().\
filter_wpan_src64(LEADER).\
filter(lambda p: {
consts.CHALLENGE_TLV,
consts.MODE_TLV,
consts.SCAN_MASK_TLV,
consts.VERSION_TLV
} <= set(p.mle.tlv.type) and p.ipv6.hlim == 255).\
must_next()
# Step 9: Original Leader device
# - Description: Automatically sends MLE Child ID Request to Router_2.
# - Pass Criteria:
# - For DUT = Leader:
# - The DUT MUST unicast MLE Child ID Request to Router_2.
# - The following TLVs MUST be present in the Child ID Request:
# - Link-layer Frame Counter TLV
# - Mode TLV
# - Response TLV
# - Timeout TLV
# - TLV Request TLV, containing: Address16 TLV, Network Data TLV, Route64 TLV (optional)
# - Version TLV
# - MLE Frame Counter TLV (optional; MAY be omitted if the sender uses the same internal counter for both
# link-layer and MLE security)
print("Step 9: Original Leader device")
pkts.filter_mle_cmd(consts.MLE_CHILD_ID_REQUEST).\
filter_wpan_src64(LEADER).\
filter_wpan_dst64(ROUTER_2).\
filter(lambda p: {
consts.LINK_LAYER_FRAME_COUNTER_TLV,
consts.MODE_TLV,
consts.RESPONSE_TLV,
consts.TIMEOUT_TLV,
consts.TLV_REQUEST_TLV,
consts.VERSION_TLV
} <= set(p.mle.tlv.type)).\
must_next()
# Step 10: Original Leader device
# - Description: Automatically sends MLE Advertisements.
# - Pass Criteria:
# - For DUT = Leader:
# - The DUT MUST send MLE advertisements 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 Advertisement:
# - Leader Data TLV
# - Route64 TLV
# - Source Address TLV
print("Step 10: Original Leader device")
pkts.filter_mle_cmd(consts.MLE_ADVERTISEMENT).\
filter_LLANMA().\
filter_wpan_src64(LEADER).\
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 11: Router_1
# - Description: Router_1 and Router_2 network partitions automatically merge.
# - Pass Criteria:
# - For DUT = Router:
# - The DUT MUST attach to Router_2’s network partition.
# - The DUT’s Address Solicit Request MUST be formatted as below:
# - CoAP Request URI: coap://<leader address>:MM/a/as
# - CoAP Payload:
# - MAC Extended Address TLV
# - Status TLV (value = 4 [PARENT_PARTITION_CHANGE])
# - RLOC16 TLV (optional)
print("Step 11: Router_1")
pkts.filter_wpan_src64(ROUTER_1).\
filter_coap_request('/a/as').\
filter(lambda p: {
consts.NL_MAC_EXTENDED_ADDRESS_TLV,
consts.NL_STATUS_TLV
} <= set(p.coap.tlv.type) and p.coap.tlv.status == 4).\
must_next()
# Step 12: MED_2
# - Description: Automatically sends MLE Child Update Request to Router_1 at its keep-alive interval.
# - Pass Criteria: N/A
print("Step 12: MED_2")
# Step 13: Router_1
# - Description: Automatically responds with MLE Child Update Response.
# - Pass Criteria:
# - For DUT = Router:
# - The DUT MUST unicast MLE Child Update Response to MED_2, with the updated TLVs of the new partition.
# - The following TLVs MUST be present in the MLE Child Update Response:
# - Mode TLV
# - Leader Data TLV
# - Source Address TLV
# - Address Registration TLV (optional)
print("Step 13: Router_1")
pkts.filter_mle_cmd(consts.MLE_CHILD_UPDATE_RESPONSE).\
filter_wpan_src64(ROUTER_1).\
filter_wpan_dst64(MED_2).\
filter(lambda p: {
consts.MODE_TLV,
consts.LEADER_DATA_TLV,
consts.SOURCE_ADDRESS_TLV
} <= set(p.mle.tlv.type)).\
must_next()
# Step 14: MED_2
# - Description: Harness instructs the device to send an ICMPv6 Echo Request to MED_3.
# - Pass Criteria:
# - MED_2 MUST receive an ICMPv6 Echo Reply from MED_3, validating the network merge and the connectivity
# between the partitions.
print("Step 14: MED_2")
_pkt = pkts.filter_ping_request().filter_wpan_src64(MED_2).must_next()
pkts.filter_ping_reply().\
filter(lambda p: p.ipv6.src == _pkt.ipv6.dst and p.ipv6.dst == _pkt.ipv6.src).\
must_next()
if __name__ == '__main__':
verify_utils.run_main(verify)