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

[thread-cert] refactor case 5.3.1 using pktverify (#5800)

Browse Source
This commit is contained in:
Jing Ma
2020-11-16 08:53:26 -08:00
committed by GitHub
parent b9c956174e
commit 8e705b0ada
2 changed files with 130 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/scripts/thread-cert/Cert_5_3_01_LinkLocal.py
+129 -5
View File
@@ -31,18 +31,40 @@ import unittest
import config
import thread_cert
from pktverify.consts import LINK_LOCAL_All_THREAD_NODES_MULTICAST_ADDRESS
from pktverify.packet_verifier import PacketVerifier
LEADER = 1
DUT_ROUTER1 = 2
FRAGMENTED_DATA_LEN = 256
# Test Purpose and Description:
# -----------------------------
# The purpose of this test case is to validate the Link-Local addresses
# that the DUT auto-configures.
#
# Test Topology:
# -------------
# Leader
# |
# Router(DUT)
#
# DUT Types:
# ----------
# Router
class Cert_5_3_1_LinkLocal(thread_cert.TestCase):
USE_MESSAGE_FACTORY = False
TOPOLOGY = {
LEADER: {
'name': 'LEADER',
'mode': 'rdn',
'panid': 0xface
},
DUT_ROUTER1: {
'name': 'ROUTER',
'mode': 'rdn',
'panid': 0xface,
'router_selection_jitter': 1
@@ -59,22 +81,124 @@ class Cert_5_3_1_LinkLocal(thread_cert.TestCase):
self.simulator.go(5)
self.assertEqual(self.nodes[DUT_ROUTER1].get_state(), 'router')
self.collect_rlocs()
self.collect_ipaddrs()
# 2 & 3
link_local = self.nodes[DUT_ROUTER1].get_ip6_address(config.ADDRESS_TYPE.LINK_LOCAL)
self.assertTrue(self.nodes[LEADER].ping(link_local, size=256))
self.assertTrue(self.nodes[LEADER].ping(link_local, size=FRAGMENTED_DATA_LEN))
self.assertTrue(self.nodes[LEADER].ping(link_local))
# 4 & 5
self.assertTrue(self.nodes[LEADER].ping('ff02::1', size=256))
self.assertTrue(self.nodes[LEADER].ping('ff02::1'))
self.assertTrue(self.nodes[LEADER].ping(config.LINK_LOCAL_ALL_NODES_ADDRESS, size=FRAGMENTED_DATA_LEN))
self.assertTrue(self.nodes[LEADER].ping(config.LINK_LOCAL_ALL_NODES_ADDRESS))
# 6 & 7
self.assertTrue(self.nodes[LEADER].ping('ff02::2', size=256))
self.assertTrue(self.nodes[LEADER].ping('ff02::2'))
self.assertTrue(self.nodes[LEADER].ping(config.LINK_LOCAL_ALL_ROUTERS_ADDRESS, size=FRAGMENTED_DATA_LEN))
self.assertTrue(self.nodes[LEADER].ping(config.LINK_LOCAL_ALL_ROUTERS_ADDRESS))
# 8
self.assertTrue(self.nodes[LEADER].ping(config.LINK_LOCAL_All_THREAD_NODES_MULTICAST_ADDRESS))
def verify(self, pv):
pkts = pv.pkts
pv.summary.show()
LEADER = pv.vars['LEADER']
LEADER_LLA = pv.vars['LEADER_LLA']
ROUTER_LLA = pv.vars['ROUTER_LLA']
# Step 1: Build the topology as described
pv.verify_attached('ROUTER')
# Step 2: Leader sends a Fragmented ICMPv6 Echo Request to DUT’s
# MAC extended address based Link-Local address
# The DUT MUST respond with an ICMPv6 Echo Reply
_pkt = pkts.filter_ping_request().\
filter_ipv6_src_dst(LEADER_LLA, ROUTER_LLA).\
filter(lambda p: p.icmpv6.data.len == FRAGMENTED_DATA_LEN).\
must_next()
pkts.filter_ping_reply(identifier=_pkt.icmpv6.echo.identifier).\
filter_ipv6_src_dst(ROUTER_LLA, LEADER_LLA).\
filter(lambda p: p.icmpv6.data.len == FRAGMENTED_DATA_LEN).\
must_next()
# Step 3: Leader sends an Unfragmented ICMPv6 Echo Request to DUT’s
# MAC extended address based Link-Local address
# The DUT MUST respond with an ICMPv6 Echo Reply
_pkt = pkts.filter_ping_request().\
filter_ipv6_src_dst(LEADER_LLA, ROUTER_LLA).\
must_next()
pkts.filter_ping_reply(identifier=_pkt.icmpv6.echo.identifier).\
filter_ipv6_src_dst(ROUTER_LLA, LEADER_LLA).\
must_next()
# Step 4: Leader sends a Fragmented ICMPv6 Echo Request to the
# Link-Local All Nodes multicast address (FF02::1)
# The DUT MUST respond with an ICMPv6 Echo Reply
_pkt = pkts.filter_ping_request().\
filter_wpan_src64(LEADER).\
filter_LLANMA().\
filter(lambda p: p.icmpv6.data.len == FRAGMENTED_DATA_LEN).\
must_next()
pkts.filter_ping_reply(identifier=_pkt.icmpv6.echo.identifier).\
filter_ipv6_src_dst(ROUTER_LLA, LEADER_LLA).\
filter(lambda p: p.icmpv6.data.len == FRAGMENTED_DATA_LEN).\
must_next()
# Step 5: Leader sends an Unfragmented ICMPv6 Echo Request to the
# Link-Local All Nodes multicast address (FF02::1)
# The DUT MUST respond with an ICMPv6 Echo Reply
_pkt = pkts.filter_ping_request().\
filter_wpan_src64(LEADER).\
filter_LLANMA().\
must_next()
pkts.filter_ping_reply(identifier=_pkt.icmpv6.echo.identifier).\
filter_ipv6_src_dst(ROUTER_LLA, LEADER_LLA).\
must_next()
# Step 6: Leader sends a Fragmented ICMPv6 Echo Request to the
# Link-Local All Routers multicast address (FF02::2)
# The DUT MUST respond with an ICMPv6 Echo Reply
_pkt = pkts.filter_ping_request().\
filter_wpan_src64(LEADER).\
filter_LLARMA().\
filter(lambda p: p.icmpv6.data.len == FRAGMENTED_DATA_LEN).\
must_next()
pkts.filter_ping_reply(identifier=_pkt.icmpv6.echo.identifier).\
filter_ipv6_src_dst(ROUTER_LLA, LEADER_LLA).\
filter(lambda p: p.icmpv6.data.len == FRAGMENTED_DATA_LEN).\
must_next()
# Step 7: Leader sends an Unfragmented ICMPv6 Echo Request to the
# Link-Local All Routers multicast address (FF02::2)
# The DUT MUST respond with an ICMPv6 Echo Reply
_pkt = pkts.filter_ping_request().\
filter_wpan_src64(LEADER).\
filter_LLARMA().\
must_next()
pkts.filter_ping_reply(identifier=_pkt.icmpv6.echo.identifier).\
filter_ipv6_src_dst(ROUTER_LLA, LEADER_LLA).\
must_next()
# Step 8: Leader sends an Unfragmented ICMPv6 Echo Request to the
# Link-Local All Thread Nodes multicast address
# The DUT MUST respond with an ICMPv6 Echo Reply
_pkt = pkts.filter_ping_request().\
filter_ipv6_src_dst(LEADER_LLA,
LINK_LOCAL_All_THREAD_NODES_MULTICAST_ADDRESS).\
must_next()
pkts.filter_ping_reply(identifier=_pkt.icmpv6.echo.identifier).\
filter_ipv6_src_dst(ROUTER_LLA, LEADER_LLA).\
must_next()
if __name__ == '__main__':
unittest.main()
tests/scripts/thread-cert/pktverify/layer_fields.py
+1
View File
@@ -466,6 +466,7 @@ _LAYER_FIELDS = {
'icmpv6.nd.ra.flag.h': _auto,
'icmpv6.echo.sequence_number': _auto,
'icmpv6.echo.identifier': _auto,
'icmpv6.data.len': _auto,
# COAP
'coap.code': _auto,