espressif/openthread
1
0
Fork 0
mirror of https://github.com/espressif/openthread.git synced 2026-08-28 21:09:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

[thread-cert] refactor case 5.2.3 using pktverify (#5775)

Browse Source
This commit is contained in:
Jing Ma
2020-11-05 21:11:05 -08:00
committed by GitHub
parent c35ccd83bb
commit ebb2fd53ef
2 changed files with 158 additions and 27 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/scripts/thread-cert/Cert_5_2_03_LeaderReject2Hops.py
+154 -27
View File
@@ -32,16 +32,43 @@ import unittest
import mle
import network_layer
import thread_cert
from pktverify.consts import MLE_ADVERTISEMENT, MLE_PARENT_RESPONSE, MLE_CHILD_ID_RESPONSE, ADDR_SOL_URI, SOURCE_ADDRESS_TLV, CHALLENGE_TLV, RESPONSE_TLV, LINK_LAYER_FRAME_COUNTER_TLV, ADDRESS16_TLV, ROUTE64_TLV, LEADER_DATA_TLV, NETWORK_DATA_TLV, CONNECTIVITY_TLV, LINK_MARGIN_TLV, VERSION_TLV, ADDRESS_REGISTRATION_TLV, NL_MAC_EXTENDED_ADDRESS_TLV, NL_RLOC16_TLV, NL_STATUS_TLV, NL_ROUTER_MASK_TLV, COAP_CODE_ACK, ADDR_SOL_NA, ADDR_SOL_SUCCESS
from pktverify.packet_verifier import PacketVerifier
from pktverify.null_field import nullField
DUT_LEADER = 1
ROUTER_1 = 2
ROUTER_31 = 32
ROUTER_32 = 33
# Test Purpose and Description:
# -----------------------------
# The purpose of this test case is to show that the DUT will
# only allow 32 active routers on the network and reject the
# Address Solicit Request from a 33rd router - that is
# 2-hops away - with a No Address Available status.
#
# Test Topology:
# -------------
# Leader[DUT]
# / \
# Router_1 --- Router_31
# |
# |
# Router_32
#
# DUT Types:
# ----------
# Leader
class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
USE_MESSAGE_FACTORY = False
TOPOLOGY = {
DUT_LEADER: {
'name':
'LEADER',
'mode':
'rdn',
'panid':
@@ -56,6 +83,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
]
},
ROUTER_1: {
'name': 'ROUTER_1',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -64,6 +92,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER, ROUTER_32]
},
3: {
'name': 'ROUTER_2',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -72,6 +101,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
4: {
'name': 'ROUTER_3',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -80,6 +110,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
5: {
'name': 'ROUTER_4',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -88,6 +119,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
6: {
'name': 'ROUTER_5',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -96,6 +128,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
7: {
'name': 'ROUTER_6',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -104,6 +137,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
8: {
'name': 'ROUTER_7',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -112,6 +146,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
9: {
'name': 'ROUTER_8',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -120,6 +155,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
10: {
'name': 'ROUTER_9',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -128,6 +164,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
11: {
'name': 'ROUTER_10',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -136,6 +173,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
12: {
'name': 'ROUTER_11',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -144,6 +182,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
13: {
'name': 'ROUTER_12',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -152,6 +191,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
14: {
'name': 'ROUTER_13',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -160,6 +200,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
15: {
'name': 'ROUTER_14',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -168,6 +209,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
16: {
'name': 'ROUTER_15',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -176,6 +218,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
17: {
'name': 'ROUTER_16',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -184,6 +227,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
18: {
'name': 'ROUTER_17',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -192,6 +236,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
19: {
'name': 'ROUTER_18',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -200,6 +245,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
20: {
'name': 'ROUTER_19',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -208,6 +254,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
21: {
'name': 'ROUTER_20',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -216,6 +263,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
22: {
'name': 'ROUTER_21',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -224,6 +272,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
23: {
'name': 'ROUTER_22',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -232,6 +281,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
24: {
'name': 'ROUTER_23',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -240,6 +290,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
25: {
'name': 'ROUTER_24',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -248,6 +299,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
26: {
'name': 'ROUTER_25',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -256,6 +308,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
27: {
'name': 'ROUTER_26',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -264,6 +317,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
28: {
'name': 'ROUTER_27',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -272,6 +326,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
29: {
'name': 'ROUTER_28',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -280,6 +335,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
30: {
'name': 'ROUTER_29',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -288,6 +344,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
31: {
'name': 'ROUTER_30',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -296,6 +353,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
ROUTER_31: {
'name': 'ROUTER_31',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -304,6 +362,7 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
ROUTER_32: {
'name': 'ROUTER_32',
'mode': 'rdn',
'panid': 0xface,
'router_downgrade_threshold': 33,
@@ -314,7 +373,6 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
}
def test(self):
# 1
self.nodes[DUT_LEADER].start()
self.simulator.go(5)
self.assertEqual(self.nodes[DUT_LEADER].get_state(), 'leader')
@@ -323,41 +381,110 @@ class Cert_5_2_3_LeaderReject2Hops(thread_cert.TestCase):
self.nodes[i].start()
self.simulator.go(5)
self.assertEqual(self.nodes[i].get_state(), 'router')
self.collect_rlocs()
leader_messages = self.simulator.get_messages_sent_by(DUT_LEADER)
# 2
self.nodes[ROUTER_31].start()
self.simulator.go(5)
self.assertEqual(self.nodes[ROUTER_31].get_state(), 'router')
# 3 - DUT_LEADER
# This method flushes the message queue so calling this method again
# will return only the newly logged messages.
leader_messages = self.simulator.get_messages_sent_by(DUT_LEADER)
msg = leader_messages.next_coap_message('2.04')
msg.assertCoapMessageContainsTlv(network_layer.Status)
msg.assertCoapMessageContainsTlv(network_layer.RouterMask)
msg.assertCoapMessageContainsTlv(network_layer.Rloc16)
status_tlv = msg.get_coap_message_tlv(network_layer.Status)
self.assertEqual(network_layer.StatusValues.SUCCESS, status_tlv.status)
# 4 - DUT_LEADER
msg = leader_messages.last_mle_message(mle.CommandType.ADVERTISEMENT)
msg.assertAssignedRouterQuantity(32)
# 5 - Router_32
self.nodes[ROUTER_32].start()
self.simulator.go(5)
# 6 - DUT_LEADER
leader_messages = self.simulator.get_messages_sent_by(DUT_LEADER)
msg = leader_messages.next_coap_message('2.04')
msg.assertCoapMessageContainsTlv(network_layer.Status)
def verify(self, pv: PacketVerifier):
pkts = pv.pkts
pv.summary.show()
status_tlv = msg.get_coap_message_tlv(network_layer.Status)
self.assertEqual(network_layer.StatusValues.NO_ADDRESS_AVAILABLE, status_tlv.status)
LEADER = pv.vars['LEADER']
LEADER_RLOC = pv.vars['LEADER_RLOC']
ROUTER_31 = pv.vars['ROUTER_31']
ROUTER_32 = pv.vars['ROUTER_32']
# Step 1: Topology is created, the DUT is the Leader of the network
# and there is a total of 32 active routers, including the Leader.
for i in range(1, 32):
pv.verify_attached('ROUTER_%d' % i)
# Step 2: Router_31 to attaches to the network and sends an Address
# Solicit Request to become an active router.
_pkt = pkts.filter_wpan_src64(ROUTER_31).\
filter_ipv6_dst(LEADER_RLOC).\
filter_coap_request(ADDR_SOL_URI).\
filter(lambda p: {
NL_MAC_EXTENDED_ADDRESS_TLV,
NL_STATUS_TLV
} == set(p.coap.tlv.type)
).\
must_next()
# Step 3: Leader sends an Address Solicit Response.
# Ensure the Address Solicit Response is properly formatted:
# CoAP Response Code
# 2.04 Changed
# CoAP Payload
# - Status TLV (value = Success)
# - RLOC16 TLV
# - Router Mask TLV
pkts.filter_wpan_src64(LEADER).\
filter_ipv6_dst(_pkt.ipv6.src).\
filter_coap_ack(ADDR_SOL_URI).\
filter(lambda p: {
NL_STATUS_TLV,
NL_RLOC16_TLV,
NL_ROUTER_MASK_TLV
} == set(p.coap.tlv.type) and\
p.coap.code == COAP_CODE_ACK and\
p.thread_address.tlv.status == ADDR_SOL_SUCCESS\
).\
must_next()
# Step 4: Leader The DUT sends MLE Advertisements.
# The MLE Advertisements from the Leader MUST contain
# the Route64 TLV with 32 assigned Router IDs.
pkts.filter_wpan_src64(LEADER).\
filter_LLANMA().\
filter_mle_cmd(MLE_ADVERTISEMENT).\
filter(lambda p: {
LEADER_DATA_TLV,
ROUTE64_TLV,
SOURCE_ADDRESS_TLV
} == set(p.mle.tlv.type) and\
len(p.mle.tlv.route64.cost) == 32 and\
p.ipv6.hlim == 255
).\
must_next()
# Step 5: Router_32 to attach to any of the active routers, 2-hops
# from the leader, and to send an Address Solicit Request
# to become an active router.
_pkt = pkts.filter_wpan_src64(ROUTER_32).\
filter_ipv6_dst(LEADER_RLOC).\
filter_coap_request(ADDR_SOL_URI).\
filter(lambda p: {
NL_MAC_EXTENDED_ADDRESS_TLV,
NL_STATUS_TLV
} == set(p.coap.tlv.type)
).\
must_next()
# Step 6: Leader sends an Address Solicit Response.
# Ensure the Address Solicit Response is properly formatted:
# CoAP Response Code
# 2.04 Changed
# CoAP Payload
# - Status TLV (value = No Address Available)
pkts.filter_wpan_src64(LEADER).\
filter_ipv6_dst(_pkt.ipv6.src).\
filter_coap_ack(ADDR_SOL_URI).\
filter(lambda p:
p.coap.code == COAP_CODE_ACK and\
p.thread_address.tlv.status == ADDR_SOL_NA
).\
must_next()
if __name__ == '__main__':
tests/scripts/thread-cert/pktverify/consts.py
+4
View File
@@ -98,6 +98,10 @@ MGMT_ACTIVE_SET_URI = '/c/as'
MGMT_PENDING_SET_URI = '/c/ps'
MGMT_DATASET_CHANGED_URI = '/c/dc'
# ADDR SOL Status
ADDR_SOL_SUCCESS = 0
ADDR_SOL_NA = 1
# MLE TLVs
SOURCE_ADDRESS_TLV = 0
MODE_TLV = 1