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

[nexus] implement test 1.2.LP.7.1.2 for Link Metrics (#12623)

Browse Source 
This commit implements Nexus test 1.2.LP.7.1.2, which validates the
Single Probe Link Metrics without Enhanced ACKs functionality.

The test verifies that:
- The DUT (Leader) successfully responds to Single Probe Link Metrics
  Requests from SED and SSED children using MLE Data Requests.
- The DUT correctly reports RSSI, Layer 2 LQI, and Link Margin metrics
  in MLE Data Responses.
- The DUT reports different RSSI values when the transmission power
  (simulated via MAC filter) is varied.

Changes:
- Add test_1_2_LP_7_1_2.cpp to implement the test logic using the
  Nexus simulation platform.
- Add verify_1_2_LP_7_1_2.py for automated packet verification,
  ensuring Link Metrics Query and Report TLVs are correctly formatted.
- Register the new test in tests/nexus/CMakeLists.txt.
- Add the test to the default test list in tests/nexus/run_nexus_tests.sh.
This commit is contained in:
Jonathan Hui
2026-03-05 22:16:40 -06:00
committed by GitHub
parent af3e9cc7b8
commit 4b754e03ba
5 changed files with 841 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/nexus/CMakeLists.txt
+1
View File
@@ -225,6 +225,7 @@ ot_nexus_test(1_2_LP_5_3_6 "cert;nexus")
ot_nexus_test(1_2_LP_5_3_7 "cert;nexus")
ot_nexus_test(1_2_LP_5_3_8 "cert;nexus")
ot_nexus_test(1_2_LP_7_1_1 "cert;nexus")
ot_nexus_test(1_2_LP_7_1_2 "cert;nexus")
# Misc tests
ot_nexus_test(border_admitter "core;nexus")
tests/nexus/run_nexus_tests.sh
+1
View File
@@ -160,6 +160,7 @@ DEFAULT_TESTS=(
"1_2_LP_5_3_7"
"1_2_LP_5_3_8"
"1_2_LP_7_1_1"
"1_2_LP_7_1_2"
)
# Use provided arguments or the default test list
tests/nexus/test_1_2_LP_7_1_2.cpp
+478
View File
@@ -0,0 +1,478 @@
/*
* 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, in milliseconds.
*/
static constexpr uint32_t kAttachAsChildTime = 20 * 1000;
/**
* Time to advance for CSL synchronization to complete, in milliseconds.
*/
static constexpr uint32_t kCslSyncTime = 5 * 1000;
/**
* Time to advance for Link Metrics report to be received, in milliseconds.
*/
static constexpr uint32_t kReportResponseTime = 2 * 1000;
/**
* Payload size for a standard ICMPv6 Echo Request.
*/
static constexpr uint16_t kEchoPayloadSize = 10;
/**
* CSL Period in milliseconds.
*/
static constexpr uint32_t kCslPeriodMs = 100;
/**
* CSL Period in units of 10 symbols (160 microseconds).
*/
static constexpr uint32_t kCslPeriod = kCslPeriodMs * 1000 / OT_US_PER_TEN_SYMBOLS;
/**
* RSSI value to simulate high transmission power.
*/
static constexpr int8_t kRssiHigh = -40;
/**
* RSSI value to simulate low transmission power.
*/
static constexpr int8_t kRssiLow = -70;
/**
* Query ID for Single Probe Query.
*/
static constexpr uint8_t kSingleProbeQueryId = 0;
static otLinkMetricsValues sMetricsValues;
static bool sReportReceived;
static void HandleReport(const otIp6Address *aAddress,
const otLinkMetricsValues *aMetricsValues,
otLinkMetricsStatus aStatus,
void *aContext)
{
OT_UNUSED_VARIABLE(aAddress);
OT_UNUSED_VARIABLE(aStatus);
OT_UNUSED_VARIABLE(aContext);
if (aMetricsValues != nullptr)
{
sMetricsValues = *aMetricsValues;
}
sReportReceived = true;
}
void Test1_2_LP_7_1_2(void)
{
/**
* 7.1.2 Single Probe Link Metrics without Enhanced ACK
*
* 7.1.2.1 Topology
* (Note: A specific topology diagram is not explicitly provided in the text, but the test involves the Leader
* (DUT), SED_1, and SSED_1.)
*
* 7.1.2.2 Purpose & Definition
* The purpose of this test case is to ensure that the DUT can successfully respond to a Single Probe Link Metrics
* Request from SEDs without Enhanced ACKs.
*
* Spec Reference | V1.2 Section
* -----------------|-------------
* Link Metrics | 4.11.3
*/
Core nexus;
Node &leader = nexus.CreateNode();
Node &sed1 = nexus.CreateNode();
Node &ssed1 = nexus.CreateNode();
leader.SetName("LEADER");
sed1.SetName("SED_1");
ssed1.SetName("SSED_1");
nexus.AdvanceTime(0);
Instance::SetLogLevel(kLogLevelNote);
Log("---------------------------------------------------------------------------------------");
Log("Step 1: Topology formation: DUT, SED_1, SSED_1.");
/**
* Step 1: All
* - Description: Topology formation: DUT, SED_1, SSED_1.
* - Pass Criteria: N/A
*/
leader.AllowList(sed1);
leader.AllowList(ssed1);
sed1.AllowList(leader);
ssed1.AllowList(leader);
leader.Form();
nexus.AdvanceTime(kFormNetworkTime);
VerifyOrQuit(leader.Get<Mle::Mle>().IsLeader());
Log("---------------------------------------------------------------------------------------");
Log("Step 2: Each device automatically attaches to the DUT.");
/**
* Step 2: SED_1, SSED_1
* - Description: Each device automatically attaches to the DUT.
* - Pass Criteria: N/A
*/
sed1.Join(leader, Node::kAsSed);
ssed1.Join(leader, Node::kAsSed);
SuccessOrQuit(sed1.Get<DataPollSender>().SetExternalPollPeriod(500));
SuccessOrQuit(ssed1.Get<DataPollSender>().SetExternalPollPeriod(500));
nexus.AdvanceTime(kAttachAsChildTime);
VerifyOrQuit(sed1.Get<Mle::Mle>().IsAttached());
VerifyOrQuit(ssed1.Get<Mle::Mle>().IsAttached());
ssed1.Get<Mac::Mac>().SetCslPeriod(kCslPeriod);
nexus.AdvanceTime(kCslSyncTime);
Log("---------------------------------------------------------------------------------------");
Log("Step 3: Harness verifies connectivity by instructing each device to send an ICMPv6 Echo Request to the DUT.");
/**
* Step 3: SED_1, SSED_1
* - Description: Harness verifies connectivity by instructing each device to send an ICMPv6 Echo Request to the
* DUT.
* - Pass Criteria:
* - 3.1 : The DUT MUST send an ICMPv6 Echo Reply to SED_1.
* - 3.2 : The DUT MUST send an ICMPv6 Echo Reply to SSED_1.
*/
nexus.SendAndVerifyEchoRequest(sed1, leader.Get<Mle::Mle>().GetMeshLocalEid(), kEchoPayloadSize);
nexus.SendAndVerifyEchoRequest(ssed1, leader.Get<Mle::Mle>().GetMeshLocalEid(), kEchoPayloadSize);
Log("---------------------------------------------------------------------------------------");
Log("Step 4: SED_1 configures TxPower = 'High' and sends Single Probe Link Metric for RSSI.");
/**
* Step 4: SED_1
* - Description: Harness configures the device with TxPower = 'High'. Harness instructs the device to send a
* Single Probe Link Metric for RSSI using MLE Data Request with the following payload:
* - TLV Request TLV (Link Metrics Report TLV specified)
* - Link Metrics Query TLV
* - Link Metrics Query ID Sub-TLV
* - Query ID = 0x00 (Single Probe Query)
* - Link Metrics Query Options Sub-TLV
* - Concatenation of Link Metric Type ID Flags = 0x0b
* - E = 0x00; L = 0x00
* - Type / Average Enum = 1 (Exponential Moving Avg)
* - Metric Enum = 3 (RSSI)
* - Pass Criteria: N/A
*/
SuccessOrQuit(leader.Get<Mac::Filter>().AddRssIn(sed1.Get<Mac::Mac>().GetExtAddress(), kRssiHigh));
LinkMetrics::Metrics metrics;
metrics.Clear();
metrics.mRssi = true;
sed1.Get<LinkMetrics::Initiator>().SetReportCallback(HandleReport, nullptr);
sReportReceived = false;
SuccessOrQuit(sed1.Get<LinkMetrics::Initiator>().Query(leader.Get<Mle::Mle>().GetLinkLocalAddress(),
kSingleProbeQueryId, &metrics));
Log("---------------------------------------------------------------------------------------");
Log("Step 5: Leader (DUT) automatically responds to SED_1 with MLE Data Response.");
/**
* Step 5: Leader (DUT)
* - Description: Automatically responds to SED_1 with MLE Data Response.
* - Pass Criteria: The DUT MUST reply to SED_1 with MLE Data Response with the following:
* - Link Metrics Report TLV
* - Link Metrics Report Sub-TLV
* - Metric Type ID Flags
* - Type / Average Enum = 0x01 (Exponential Moving Avg)
* - Metric Enum = 0x03 (RSSI)
* - RSSI Value (1-byte)
*/
nexus.AdvanceTime(kReportResponseTime);
VerifyOrQuit(sReportReceived);
VerifyOrQuit(sMetricsValues.mMetrics.mRssi);
uint8_t rssiHighRaw = sMetricsValues.mRssiValue;
Log("---------------------------------------------------------------------------------------");
Log("Step 6: SED_1 configures TxPower = 'Low' and sends Single Probe Link Metric for RSSI.");
/**
* Step 6: SED_1
* - Description: Harness configures the device with TxPower = 'Low'. Harness instructs the device to send a
* Single Probe Link Metric for RSSI using MLE Data Request with the following payload:
* - TLV Request TLV (Link Metrics Report TLV specified)
* - Link Metrics Query TLV
* - Link Metrics Query ID Sub-TLV
* - Query ID = 0x00 (Single Probe Query)
* - Link Metrics Query Options Sub-TLV
* - Concatenation of Link Metric Type ID Flags = 0x0b
* - E = 0x00; L = 0x00
* - Type / Average Enum = 1 (Exponential Moving Avg)
* - Metric Enum = 3 (RSSI)
* - Pass Criteria: N/A
*/
SuccessOrQuit(leader.Get<Mac::Filter>().AddRssIn(sed1.Get<Mac::Mac>().GetExtAddress(), kRssiLow));
sReportReceived = false;
SuccessOrQuit(sed1.Get<LinkMetrics::Initiator>().Query(leader.Get<Mle::Mle>().GetLinkLocalAddress(),
kSingleProbeQueryId, &metrics));
Log("---------------------------------------------------------------------------------------");
Log("Step 7: Leader (DUT) automatically responds to SED_1 with MLE Data Response.");
/**
* Step 7: Leader (DUT)
* - Description: Automatically responds to SED_1 with MLE Data Response.
* - Pass Criteria: The DUT MUST unicast MLE Data Response to SED_1 with a MLE Data Response including the
* following TLVs:
* - Link Metrics Report TLV
* - Link Metrics Report Sub-TLV
* - Metric Type ID Flags
* - E = 0x00
* - L = 0x00
* - Type / Average Enum = 0x01 (Exponential Moving Avg)
* - Metric Enum = 0x03 (RSSI)
* - RSSI value (1-byte)
*/
nexus.AdvanceTime(kReportResponseTime);
VerifyOrQuit(sReportReceived);
VerifyOrQuit(sMetricsValues.mMetrics.mRssi);
uint8_t rssiLowRaw = sMetricsValues.mRssiValue;
Log("---------------------------------------------------------------------------------------");
Log("Step 8: There should be a difference in the RSSI reported in steps 5 & 7.");
/**
* Step 8: Leader (DUT)
* - Description: There should be a difference in the RSSI reported in steps 5 & 7.
* - Pass Criteria: The DUT MUST report different RSSI values in the Link Metrics Report Sub-TLV from steps 5
* and 7.
*/
VerifyOrQuit(rssiHighRaw != rssiLowRaw);
Log("---------------------------------------------------------------------------------------");
Log("Step 9: SSED_1 sends Single Probe Link Metrics for Layer 2 LQI.");
/**
* Step 9: SSED_1
* - Description: Harness instructs the device to send a Single Probe Link Metrics for Layer 2 LQI using MLE Data
* Request with the following payload:
* - TLV Request TLV (Link Metrics Report TLV specified)
* - Link Metrics Query TLV
* - Link Metrics Query ID Sub-TLV
* - Query ID = 0x00 (Single Probe Query)
* - Link Metrics Query Options Sub-TLV
* - Concatenation of Link Metric Type ID Flags = 0x09
* - E = 0x00; L = 0x00
* - Type / Average Enum = 1 (Exponential Moving Avg)
* - Metric Enum = 1 (Layer 2 LQI)
* - Pass Criteria: N/A
*/
metrics.Clear();
metrics.mLqi = true;
ssed1.Get<LinkMetrics::Initiator>().SetReportCallback(HandleReport, nullptr);
sReportReceived = false;
SuccessOrQuit(ssed1.Get<LinkMetrics::Initiator>().Query(leader.Get<Mle::Mle>().GetLinkLocalAddress(),
kSingleProbeQueryId, &metrics));
Log("---------------------------------------------------------------------------------------");
Log("Step 10: Leader (DUT) automatically responds to SSED_1 with MLE Data Response.");
/**
* Step 10: Leader (DUT)
* - Description: Automatically responds to SSED_1 with MLE Data Response.
* - Pass Criteria: The DUT MUST unicast MLE Data Response to SSED_1 including the following TLVs:
* - Link Metrics Report TLV
* - Link Metrics Report Sub-TLV
* - Metric Type ID Flags
* - E = 0x00
* - L = 0x00
* - Type / Average Enum = 0x01 (Exponential Moving Avg)
* - Metric Enum = 0x01 (Layer 2 LQI)
* - Layer 2 LQI value (1-byte)
*/
nexus.AdvanceTime(kReportResponseTime);
VerifyOrQuit(sReportReceived);
VerifyOrQuit(sMetricsValues.mMetrics.mLqi);
Log("---------------------------------------------------------------------------------------");
Log("Step 11: SSED_1 sends Single Probe Link Metrics for Link Margin.");
/**
* Step 11: SSED_1
* - Description: Harness instructs the device to send a Single Probe Link Metrics for Link Margin using MLE
* Data Request with the following payload:
* - TLV Request TLV (Link Metrics Report TLV specified)
* - Link Metrics Query TLV
* - Link Metrics Query ID Sub-TLV
* - Query ID = 0 (Single Probe Query)
* - Link Metrics Query Options Sub-TLV
* - Concatenation of Link Metric Type ID Flags = 0x0a
* - E = 0x00; L = 0x00
* - Type / Average Enum = 1 (Exponential Moving Avg)
* - Metric Enum = 2 (Link Margin)
* - Pass Criteria: N/A
*/
metrics.Clear();
metrics.mLinkMargin = true;
sReportReceived = false;
SuccessOrQuit(ssed1.Get<LinkMetrics::Initiator>().Query(leader.Get<Mle::Mle>().GetLinkLocalAddress(),
kSingleProbeQueryId, &metrics));
Log("---------------------------------------------------------------------------------------");
Log("Step 12: Leader (DUT) automatically responds to SSED_1 with MLE Data Response.");
/**
* Step 12: Leader (DUT)
* - Description: Automatically responds to SSED_1 with MLE Data Response.
* - Pass Criteria: The DUT MUST unicast MLE Data Response to SSED_1, including the following TLVs:
* - Link Metrics Report TLV
* - Link Metrics Report Sub-TLV
* - Metric Type ID Flags
* - E = 0x00
* - L = 0x00
* - Type / Average Enum = 0x01 (Exponential Moving Avg)
* - Metric Enum = 0x02 (Link Margin)
* - Link Margin value (1-byte)
*/
nexus.AdvanceTime(kReportResponseTime);
VerifyOrQuit(sReportReceived);
VerifyOrQuit(sMetricsValues.mMetrics.mLinkMargin);
Log("---------------------------------------------------------------------------------------");
Log("Step 13: SSED_1 sends Single Probe Link Metrics for LQI, Link Margin, and RSSI.");
/**
* Step 13: SSED_1
* - Description: Harness instructs the device to send a Single Probe Link Metrics using MLE Data Request with
* the following payload:
* - TLV Request TLV (Link Metrics Report TLV specified)
* - Link Metrics Query TLV
* - Link Metrics Query ID Sub-TLV
* - Query ID = 0 (Single Probe Query)
* - Link Metrics Query Options Sub-TLV
* - Concatenation of Link Metric Type ID Flags = 0x090a0b
* - E= 0x00; L = 0x00
* - Type / Average Enum = 1 (Exponential Moving Avg)
* - Metric Enum = 1 (Layer 2 LQI)
* - E= 0x00; L = 0x00
* - Type / Average Enum = 1 (Exponential Moving Avg)
* - Metric Enum = 2 (Link Margin)
* - E= 0x00; L = 0x00
* - Type / Average Enum = 1 (Exponential Moving Avg)
* - Metric Enum = 3 (RSSI)
* - Pass Criteria: N/A
*/
metrics.Clear();
metrics.mLqi = true;
metrics.mLinkMargin = true;
metrics.mRssi = true;
sReportReceived = false;
SuccessOrQuit(ssed1.Get<LinkMetrics::Initiator>().Query(leader.Get<Mle::Mle>().GetLinkLocalAddress(),
kSingleProbeQueryId, &metrics));
Log("---------------------------------------------------------------------------------------");
Log("Step 14: Leader (DUT) automatically responds to SSED_1 with MLE Data Response.");
/**
* Step 14: Leader (DUT)
* - Description: Automatically responds to SSED_1 with MLE Data Response.
* - Pass Criteria: The DUT MUST unicast MLE Data Response to SSED_1, including the following TLVs:
* - Link Metrics Report TLV
* - Link Metrics Report Sub-TLV
* - Metric Type ID Flags
* - E = 0x00
* - L = 0x00
* - Type / Average Enum = 0x01 (Exponential Moving Avg)
* - Metric Enum = 0x01 (Layer 2 LQI)
* - Layer 2 LQI value (1-byte)
* - E = 0x00
* - L = 0x00
* - Type / Average Enum = 0x01 (Exponential Moving Avg)
* - Metric Enum = 0x02 (Link Margin)
* - Link Margin value (1-byte)
* - E = 0x00
* - L = 0x00
* - Type / Average Enum = 0x01 (Exponential Moving Avg)
* - Metric Enum = 0x03 (RSSI)
* - RSSI value (1-byte)
*/
nexus.AdvanceTime(kReportResponseTime);
VerifyOrQuit(sReportReceived);
VerifyOrQuit(sMetricsValues.mMetrics.mLqi);
VerifyOrQuit(sMetricsValues.mMetrics.mLinkMargin);
VerifyOrQuit(sMetricsValues.mMetrics.mRssi);
nexus.SaveTestInfo("test_1_2_LP_7_1_2.json");
}
} // namespace Nexus
} // namespace ot
int main(void)
{
ot::Nexus::Test1_2_LP_7_1_2();
printf("All tests passed\n");
return 0;
}
tests/nexus/verify_1_2_LP_7_1_2.py
+360
View File
@@ -0,0 +1,360 @@
#!/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):
# 7.1.2 Single Probe Link Metrics without Enhanced ACK
#
# 7.1.2.1 Topology
# (Note: A specific topology diagram is not explicitly provided in the text, but the test involves the Leader
# (DUT), SED_1, and SSED_1.)
#
# 7.1.2.2 Purpose & Definition
# The purpose of this test case is to ensure that the DUT can successfully respond to a Single Probe Link Metrics
# Request from SEDs without Enhanced ACKs.
#
# Spec Reference | V1.2 Section
# -----------------|-------------
# Link Metrics | 4.11.3
pkts = pv.pkts
pv.summary.show()
LEADER = pv.vars['LEADER']
LEADER_RLOC16 = pv.vars['LEADER_RLOC16']
SED_1 = pv.vars['SED_1']
SED_1_RLOC16 = pv.vars['SED_1_RLOC16']
SSED_1 = pv.vars['SSED_1']
SSED_1_RLOC16 = pv.vars['SSED_1_RLOC16']
# Step 1: All
# - Description: Topology formation: DUT, SED_1, SSED_1.
# - Pass Criteria: N/A
print("Step 1: Topology formation: DUT, SED_1, SSED_1.")
# Step 2: SED_1, SSED_1
# - Description: Each device automatically attaches to the DUT.
# - Pass Criteria: N/A
print("Step 2: Each device automatically attaches to the DUT.")
# Step 3: SED_1, SSED_1
# - Description: Harness verifies connectivity by instructing each device to send an ICMPv6 Echo Request to the DUT.
# - Pass Criteria:
# - 3.1 : The DUT MUST send an ICMPv6 Echo Reply to SED_1.
# - 3.2 : The DUT MUST send an ICMPv6 Echo Reply to SSED_1.
print(
"Step 3: Harness verifies connectivity by instructing each device to send an ICMPv6 Echo Request to the DUT.")
# 3.1
_pkt = pkts.copy().\
filter_ping_request().\
filter_wpan_src16(SED_1_RLOC16).\
filter_wpan_dst16(LEADER_RLOC16).\
must_next()
pkts.copy().\
filter_ping_reply(identifier=_pkt.icmpv6.echo.identifier).\
filter_wpan_src16(LEADER_RLOC16).\
filter_wpan_dst16(SED_1_RLOC16).\
must_next()
# 3.2
_pkt = pkts.copy().\
filter_ping_request().\
filter_wpan_src16(SSED_1_RLOC16).\
filter_wpan_dst16(LEADER_RLOC16).\
must_next()
pkts.copy().\
filter_ping_reply(identifier=_pkt.icmpv6.echo.identifier).\
filter_wpan_src16(LEADER_RLOC16).\
filter_wpan_dst16(SSED_1_RLOC16).\
must_next()
# Step 4: SED_1
# - Description: Harness configures the device with TxPower = ‘High’. Harness instructs the device to send a
# Single Probe Link Metric for RSSI using MLE Data Request with the following payload:
# - TLV Request TLV (Link Metrics Report TLV specified)
# - Link Metrics Query TLV
# - Link Metrics Query ID Sub-TLV
# - Query ID = 0x00 (Single Probe Query)
# - Link Metrics Query Options Sub-TLV
# - Concatenation of Link Metric Type ID Flags = 0x0b
# - E = 0x00; L = 0x00
# - Type / Average Enum = 1 (Exponential Moving Avg)
# - Metric Enum = 3 (RSSI)
# - Pass Criteria: N/A
print("Step 4: SED_1 sends Single Probe Link Metric for RSSI.")
pkts.filter_wpan_src64(SED_1).\
filter_wpan_dst64(LEADER).\
filter_mle_cmd(consts.MLE_DATA_REQUEST).\
filter(lambda p: {
consts.TLV_REQUEST_TLV,
consts.LINK_METRICS_QUERY_TLV
} <= set(p.mle.tlv.type)).\
filter(lambda p: p.mle.tlv.query_id == 0x00).\
filter(lambda p: p.mle.tlv.link_query_options == '0b').\
must_next()
# Step 5: Leader (DUT)
# - Description: Automatically responds to SED_1 with MLE Data Response.
# - Pass Criteria: The DUT MUST reply to SED_1 with MLE Data Response with the following:
# - Link Metrics Report TLV
# - Link Metrics Report Sub-TLV
# - Metric Type ID Flags
# - Type / Average Enum = 0x01 (Exponential Moving Avg)
# - Metric Enum = 0x03 (RSSI)
# - RSSI Value (1-byte)
print("Step 5: Leader (DUT) automatically responds to SED_1 with MLE Data Response.")
_step5_pkt = pkts.filter_wpan_src64(LEADER).\
filter_wpan_dst64(SED_1).\
filter_mle_cmd(consts.MLE_DATA_RESPONSE).\
filter(lambda p: consts.LINK_METRICS_REPORT_TLV in p.mle.tlv.type).\
filter(lambda p: p.mle.tlv.metric_type_id_flags.metric == [consts.LINK_METRICS_METRIC_TYPE_ENUM_RSSI]).\
filter(lambda p: p.mle.tlv.metric_type_id_flags.type == [consts.LINK_METRICS_TYPE_AVERAGE_ENUM_EXPONENTIAL]).\
must_next()
# Step 6: SED_1
# - Description: Harness configures the device with TxPower = ‘Low’. Harness instructs the device to send a
# Single Probe Link Metric for RSSI using MLE Data Request with the following payload:
# - TLV Request TLV (Link Metrics Report TLV specified)
# - Link Metrics Query TLV
# - Link Metrics Query ID Sub-TLV
# - Query ID = 0x00 (Single Probe Query)
# - Link Metrics Query Options Sub-TLV
# - Concatenation of Link Metric Type ID Flags = 0x0b
# - E = 0x00; L = 0x00
# - Type / Average Enum = 1 (Exponential Moving Avg)
# - Metric Enum = 3 (RSSI)
# - Pass Criteria: N/A
print("Step 6: SED_1 sends Single Probe Link Metric for RSSI.")
pkts.filter_wpan_src64(SED_1).\
filter_wpan_dst64(LEADER).\
filter_mle_cmd(consts.MLE_DATA_REQUEST).\
filter(lambda p: {
consts.TLV_REQUEST_TLV,
consts.LINK_METRICS_QUERY_TLV
} <= set(p.mle.tlv.type)).\
filter(lambda p: p.mle.tlv.query_id == 0x00).\
filter(lambda p: p.mle.tlv.link_query_options == '0b').\
must_next()
# Step 7: Leader (DUT)
# - Description: Automatically responds to SED_1 with MLE Data Response.
# - Pass Criteria: The DUT MUST unicast MLE Data Response to SED_1 with a MLE Data Response including the
# following TLVs:
# - Link Metrics Report TLV
# - Link Metrics Report Sub-TLV
# - Metric Type ID Flags
# - E = 0x00
# - L = 0x00
# - Type / Average Enum = 0x01 (Exponential Moving Avg)
# - Metric Enum = 0x03 (RSSI)
# - RSSI value (1-byte)
print("Step 7: Leader (DUT) automatically responds to SED_1 with MLE Data Response.")
_step7_pkt = pkts.filter_wpan_src64(LEADER).\
filter_wpan_dst64(SED_1).\
filter_mle_cmd(consts.MLE_DATA_RESPONSE).\
filter(lambda p: consts.LINK_METRICS_REPORT_TLV in p.mle.tlv.type).\
filter(lambda p: p.mle.tlv.metric_type_id_flags.metric == [consts.LINK_METRICS_METRIC_TYPE_ENUM_RSSI]).\
filter(lambda p: p.mle.tlv.metric_type_id_flags.type == [consts.LINK_METRICS_TYPE_AVERAGE_ENUM_EXPONENTIAL]).\
must_next()
# Step 8: Leader (DUT)
# - Description: There should be a difference in the RSSI reported in steps 5 & 7.
# - Pass Criteria: The DUT MUST report different RSSI values in the Link Metrics Report Sub-TLV from steps 5 and 7.
print("Step 8: There should be a difference in the RSSI reported in steps 5 & 7.")
# Behavioral verification is performed in the C++ test code.
# Step 9: SSED_1
# - Description: Harness instructs the device to send a Single Probe Link Metrics for Layer 2 LQI using MLE Data
# Request with the following payload:
# - TLV Request TLV (Link Metrics Report TLV specified)
# - Link Metrics Query TLV
# - Link Metrics Query ID Sub-TLV
# - Query ID = 0x00 (Single Probe Query)
# - Link Metrics Query Options Sub-TLV
# - Concatenation of Link Metric Type ID Flags = 0x09
# - E = 0x00; L = 0x00
# - Type / Average Enum = 1 (Exponential Moving Avg)
# - Metric Enum = 1 (Layer 2 LQI)
# - Pass Criteria: N/A
print("Step 9: SSED_1 sends Single Probe Link Metrics for Layer 2 LQI.")
pkts.filter_wpan_src64(SSED_1).\
filter_wpan_dst64(LEADER).\
filter_mle_cmd(consts.MLE_DATA_REQUEST).\
filter(lambda p: {
consts.TLV_REQUEST_TLV,
consts.LINK_METRICS_QUERY_TLV
} <= set(p.mle.tlv.type)).\
filter(lambda p: p.mle.tlv.query_id == 0x00).\
filter(lambda p: p.mle.tlv.link_query_options == '09').\
must_next()
# Step 10: Leader (DUT)
# - Description: Automatically responds to SSED_1 with MLE Data Response.
# - Pass Criteria: The DUT MUST unicast MLE Data Response to SSED_1 including the following TLVs:
# - Link Metrics Report TLV
# - Link Metrics Report Sub-TLV
# - Metric Type ID Flags
# - E = 0x00
# - L = 0x00
# - Type / Average Enum = 0x01 (Exponential Moving Avg)
# - Metric Enum = 0x01 (Layer 2 LQI)
# - Layer 2 LQI value (1-byte)
print("Step 10: Leader (DUT) automatically responds to SSED_1 with MLE Data Response.")
pkts.filter_wpan_src64(LEADER).\
filter_wpan_dst64(SSED_1).\
filter_mle_cmd(consts.MLE_DATA_RESPONSE).\
filter(lambda p: consts.LINK_METRICS_REPORT_TLV in p.mle.tlv.type).\
filter(lambda p: p.mle.tlv.metric_type_id_flags.metric == [consts.LINK_METRICS_METRIC_TYPE_ENUM_LQI]).\
filter(lambda p: p.mle.tlv.metric_type_id_flags.type == [consts.LINK_METRICS_TYPE_AVERAGE_ENUM_EXPONENTIAL]).\
must_next()
# Step 11: SSED_1
# - Description: Harness instructs the device to send a Single Probe Link Metrics for Link Margin using MLE Data
# Request with the following payload:
# - TLV Request TLV (Link Metrics Report TLV specified)
# - Link Metrics Query TLV
# - Link Metrics Query ID Sub-TLV
# - Query ID = 0 (Single Probe Query)
# - Link Metrics Query Options Sub-TLV
# - Concatenation of Link Metric Type ID Flags = 0x0a
# - E = 0x00; L = 0x00
# - Type / Average Enum = 1 (Exponential Moving Avg)
# - Metric Enum = 2 (Link Margin)
# - Pass Criteria: N/A
print("Step 11: SSED_1 sends Single Probe Link Metrics for Link Margin.")
pkts.filter_wpan_src64(SSED_1).\
filter_wpan_dst64(LEADER).\
filter_mle_cmd(consts.MLE_DATA_REQUEST).\
filter(lambda p: {
consts.TLV_REQUEST_TLV,
consts.LINK_METRICS_QUERY_TLV
} <= set(p.mle.tlv.type)).\
filter(lambda p: p.mle.tlv.query_id == 0x00).\
filter(lambda p: p.mle.tlv.link_query_options == '0a').\
must_next()
# Step 12: Leader (DUT)
# - Description: Automatically responds to SSED_1 with MLE Data Response.
# - Pass Criteria: The DUT MUST unicast MLE Data Response to SSED_1, including the following TLVs:
# - Link Metrics Report TLV
# - Link Metrics Report Sub-TLV
# - Metric Type ID Flags
# - E = 0x00
# - L = 0x00
# - Type / Average Enum = 0x01 (Exponential Moving Avg)
# - Metric Enum = 0x02 (Link Margin)
# - Link Margin value (1-byte)
print("Step 12: Leader (DUT) automatically responds to SSED_1 with MLE Data Response.")
pkts.filter_wpan_src64(LEADER).\
filter_wpan_dst64(SSED_1).\
filter_mle_cmd(consts.MLE_DATA_RESPONSE).\
filter(lambda p: consts.LINK_METRICS_REPORT_TLV in p.mle.tlv.type).\
filter(lambda p: p.mle.tlv.metric_type_id_flags.metric == [consts.LINK_METRICS_METRIC_TYPE_ENUM_LINK_MARGIN]).\
filter(lambda p: p.mle.tlv.metric_type_id_flags.type == [consts.LINK_METRICS_TYPE_AVERAGE_ENUM_EXPONENTIAL]).\
must_next()
# Step 13: SSED_1
# - Description: Harness instructs the device to send a Single Probe Link Metrics using MLE Data Request with
# the following payload:
# - TLV Request TLV (Link Metrics Report TLV specified)
# - Link Metrics Query TLV
# - Link Metrics Query ID Sub-TLV
# - Query ID = 0 (Single Probe Query)
# - Link Metrics Query Options Sub-TLV
# - Concatenation of Link Metric Type ID Flags = 0x090a0b
# - E= 0x00; L = 0x00
# - Type / Average Enum = 1 (Exponential Moving Avg)
# - Metric Enum = 1 (Layer 2 LQI)
# - E= 0x00; L = 0x00
# - Type / Average Enum = 1 (Exponential Moving Avg)
# - Metric Enum = 2 (Link Margin)
# - E= 0x00; L = 0x00
# - Type / Average Enum = 1 (Exponential Moving Avg)
# - Metric Enum = 3 (RSSI)
# - Pass Criteria: N/A
print("Step 13: SSED_1 sends Single Probe Link Metrics for LQI, Link Margin, and RSSI.")
pkts.filter_wpan_src64(SSED_1).\
filter_wpan_dst64(LEADER).\
filter_mle_cmd(consts.MLE_DATA_REQUEST).\
filter(lambda p: {
consts.TLV_REQUEST_TLV,
consts.LINK_METRICS_QUERY_TLV
} <= set(p.mle.tlv.type)).\
filter(lambda p: p.mle.tlv.query_id == 0x00).\
filter(lambda p: p.mle.tlv.link_query_options == '090a0b').\
must_next()
# Step 14: Leader (DUT)
# - Description: Automatically responds to SSED_1 with MLE Data Response.
# - Pass Criteria: The DUT MUST unicast MLE Data Response to SSED_1, including the following TLVs:
# - Link Metrics Report TLV
# - Link Metrics Report Sub-TLV
# - Metric Type ID Flags
# - E = 0x00
# - L = 0x00
# - Type / Average Enum = 0x01 (Exponential Moving Avg)
# - Metric Enum = 0x01 (Layer 2 LQI)
# - Layer 2 LQI value (1-byte)
# - E = 0x00
# - L = 0x00
# - Type / Average Enum = 0x01 (Exponential Moving Avg)
# - Metric Enum = 0x02 (Link Margin)
# - Link Margin value (1-byte)
# - E = 0x00
# - L = 0x00
# - Type / Average Enum = 0x01 (Exponential Moving Avg)
# - Metric Enum = 0x03 (RSSI)
# - RSSI value (1-byte)
print("Step 14: Leader (DUT) automatically responds to SSED_1 with MLE Data Response.")
pkts.filter_wpan_src64(LEADER).\
filter_wpan_dst64(SSED_1).\
filter_mle_cmd(consts.MLE_DATA_RESPONSE).\
filter(lambda p: consts.LINK_METRICS_REPORT_TLV in p.mle.tlv.type).\
filter(lambda p: p.mle.tlv.metric_type_id_flags.metric == [
consts.LINK_METRICS_METRIC_TYPE_ENUM_LQI, consts.LINK_METRICS_METRIC_TYPE_ENUM_LINK_MARGIN,
consts.LINK_METRICS_METRIC_TYPE_ENUM_RSSI
]).\
filter(lambda p: p.mle.tlv.metric_type_id_flags.type == [
consts.LINK_METRICS_TYPE_AVERAGE_ENUM_EXPONENTIAL, consts.LINK_METRICS_TYPE_AVERAGE_ENUM_EXPONENTIAL,
consts.LINK_METRICS_TYPE_AVERAGE_ENUM_EXPONENTIAL
]).\
must_next()
if __name__ == '__main__':
verify_utils.run_main(verify)
tests/nexus/verify_utils.py
+1
View File
@@ -300,6 +300,7 @@ def apply_patches():
layer_fields._LAYER_FIELDS['thread_meshcop.tlv.pending_tstamp'] = layer_fields._list(
layer_fields._thread_timestamp)
layer_fields._LAYER_FIELDS['thread_meshcop.tlv.delay_timer'] = layer_fields._auto
layer_fields._LAYER_FIELDS['mle.tlv.link_query_options'] = layer_fields._bytes
def which_tshark_patch():
default_path = '/tmp/thread-wireshark/tshark'