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

[thread-cert] refactor case 5.3.8 using pktverify (#5816)

Browse Source
This commit is contained in:
Jing Ma
2020-11-26 08:33:49 -08:00
committed by GitHub
parent 5f2d8fcca2
commit 4f5a6b11b1
1 changed files with 99 additions and 50 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/scripts/thread-cert/Cert_5_3_08_ChildAddressSet.py
+99 -50
View File
@@ -31,9 +31,13 @@ import unittest
import command
import config
import copy
import ipv6
import mle
import thread_cert
from pktverify.consts import WIRESHARK_OVERRIDE_PREFS, MLE_ADVERTISEMENT, ADDR_QRY_URI, SOURCE_ADDRESS_TLV, ROUTE64_TLV, LEADER_DATA_TLV
from pktverify.packet_verifier import PacketVerifier
from pktverify.bytes import Bytes
DUT_LEADER = 1
BR = 2
@@ -42,10 +46,28 @@ MED2 = 4
MTDS = [MED1, MED2]
# Test Purpose and Description:
# -----------------------------
# The purpose of this test case is to validate that the DUT MTD Child Address Set
# can hold at least 4 IPv6 non-link-local addresses.
#
# Test Topology:
# -------------
# MED_1
# |
# BR - Leader(DUT) - MED_2
#
# DUT Types:
# ----------
# Leader
class Cert_5_3_8_ChildAddressSet(thread_cert.TestCase):
USE_MESSAGE_FACTORY = False
TOPOLOGY = {
DUT_LEADER: {
'name': 'LEADER',
'mode': 'rdn',
'panid': 0xface,
'allowlist': [BR, MED1, MED2]
@@ -57,18 +79,25 @@ class Cert_5_3_8_ChildAddressSet(thread_cert.TestCase):
'allowlist': [DUT_LEADER]
},
MED1: {
'name': 'MED_1',
'is_mtd': True,
'mode': 'rn',
'panid': 0xface,
'allowlist': [DUT_LEADER]
},
MED2: {
'name': 'MED_2',
'is_mtd': True,
'mode': 'rn',
'panid': 0xface,
'allowlist': [DUT_LEADER]
},
}
# override wireshark preferences with case needed parameters
CASE_WIRESHARK_PREFS = copy.deepcopy(WIRESHARK_OVERRIDE_PREFS)
CASE_WIRESHARK_PREFS['6lowpan.context1'] = '2001::/64'
CASE_WIRESHARK_PREFS['6lowpan.context2'] = '2002::/64'
CASE_WIRESHARK_PREFS['6lowpan.context3'] = '2003::/64'
def test(self):
self.nodes[DUT_LEADER].start()
@@ -85,93 +114,113 @@ class Cert_5_3_8_ChildAddressSet(thread_cert.TestCase):
self.nodes[BR].add_prefix('2003::/64', 'pdros')
self.nodes[BR].register_netdata()
# Set lowpan context of sniffer
self.simulator.set_lowpan_context(1, '2001::/64')
self.simulator.set_lowpan_context(2, '2002::/64')
self.simulator.set_lowpan_context(3, '2003::/64')
# 2 DUT_LEADER: Verify LEADER sent an Advertisement
leader_messages = self.simulator.get_messages_sent_by(DUT_LEADER)
msg = leader_messages.next_mle_message(mle.CommandType.ADVERTISEMENT)
command.check_mle_advertisement(msg)
# 3 MED1, MED2: MED1 and MED2 attach to DUT_LEADER
for i in MTDS:
self.nodes[i].start()
self.simulator.go(5)
self.assertEqual(self.nodes[i].get_state(), 'child')
self.collect_ipaddrs()
# 4 MED1: MED1 send an ICMPv6 Echo Request to the MED2 ML-EID
med2_ml_eid = self.nodes[MED2].get_ip6_address(config.ADDRESS_TYPE.ML_EID)
self.assertTrue(med2_ml_eid is not None)
self.assertTrue(self.nodes[MED1].ping(med2_ml_eid))
# Verify DUT_LEADER didn't generate an Address Query Request
leader_messages = self.simulator.get_messages_sent_by(DUT_LEADER)
msg = leader_messages.next_coap_message('0.02', '/a/aq', False)
assert (msg is None), "Error: The DUT_LEADER sent an unexpected Address Query Request"
# Wait for sniffer got packets
self.simulator.go(1)
# Verify MED2 sent an ICMPv6 Echo Reply
med2_messages = self.simulator.get_messages_sent_by(MED2)
msg = med2_messages.get_icmp_message(ipv6.ICMP_ECHO_RESPONSE)
assert (msg is not None), "Error: The MED2 didn't send ICMPv6 Echo Reply to MED1"
# 5 MED1: MED1 send an ICMPv6 Echo Request to the MED2 2001::GUA
addr = self.nodes[MED2].get_addr("2001::/64")
self.assertTrue(addr is not None)
self.assertTrue(self.nodes[MED1].ping(addr))
# Verify DUT_LEADER didn't generate an Address Query Request
leader_messages = self.simulator.get_messages_sent_by(DUT_LEADER)
msg = leader_messages.next_coap_message('0.02', '/a/aq', False)
assert (msg is None), "Error: The DUT_LEADER sent an unexpected Address Query Request"
# Wait for sniffer got packets
self.simulator.go(1)
# Verify MED2 sent an ICMPv6 Echo Reply
med2_messages = self.simulator.get_messages_sent_by(MED2)
msg = med2_messages.get_icmp_message(ipv6.ICMP_ECHO_RESPONSE)
assert (msg is not None), "Error: The MED2 didn't send ICMPv6 Echo Reply to MED1"
# 6 MED1: MED1 send an ICMPv6 Echo Request to the MED2 2002::GUA
addr = self.nodes[MED2].get_addr("2002::/64")
self.assertTrue(addr is not None)
self.assertTrue(self.nodes[MED1].ping(addr))
# Verify DUT_LEADER didn't generate an Address Query Request
leader_messages = self.simulator.get_messages_sent_by(DUT_LEADER)
msg = leader_messages.next_coap_message('0.02', '/a/aq', False)
assert (msg is None), "Error: The DUT_LEADER sent an unexpected Address Query Request"
# Wait for sniffer got packets
self.simulator.go(1)
# Verify MED2 sent an ICMPv6 Echo Reply
med2_messages = self.simulator.get_messages_sent_by(MED2)
msg = med2_messages.get_icmp_message(ipv6.ICMP_ECHO_RESPONSE)
assert (msg is not None), "Error: The MED2 didn't send ICMPv6 Echo Reply to MED1"
# 7 MED1: MED1 send an ICMPv6 Echo Request to the MED2 2003::GUA
addr = self.nodes[MED2].get_addr("2003::/64")
self.assertTrue(addr is not None)
self.assertTrue(self.nodes[MED1].ping(addr))
# Verify DUT_LEADER didn't generate an Address Query Request
leader_messages = self.simulator.get_messages_sent_by(DUT_LEADER)
msg = leader_messages.next_coap_message('0.02', '/a/aq', False)
assert (msg is None), "Error: The DUT_LEADER sent an unexpected Address Query Request"
# Wait for sniffer got packets
self.simulator.go(1)
# Verify MED2 sent an ICMPv6 Echo Reply
med2_messages = self.simulator.get_messages_sent_by(MED2)
msg = med2_messages.get_icmp_message(ipv6.ICMP_ECHO_RESPONSE)
assert (msg is not None), "Error: The MED2 didn't send ICMPv6 Echo Reply to MED1"
def verify(self, pv):
pkts = pv.pkts
pv.summary.show()
LEADER = pv.vars['LEADER']
MED_1 = pv.vars['MED_1']
MED_1_MLEID = pv.vars['MED_1_MLEID']
MED_2 = pv.vars['MED_2']
MED_2_MLEID = pv.vars['MED_2_MLEID']
MED_1_GUA = list()
MED_2_GUA = list()
MM = pv.vars['MM_PORT']
names = locals()
for i in (1, 2):
for addr in pv.vars['MED_%d_IPADDRS' % i]:
for j in range(1, 4):
if addr.startswith(Bytes('200%d' % j)):
names['MED_' + str(i) + '_GUA'].append(addr)
# Step 2: Leader is sending properly formatted MLE Advertisements.
# 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
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\
p.ipv6.hlim == 255).\
must_next()
# Step 3: Send a ICMPv6 Echo Request to the MED_2 ML-EID
# The DUT MUST NOT send an Address Query Request
# MED_2 MUST respond with an ICMPv6 Echo Reply
_pkt = pkts.filter_ipv6_src_dst(MED_1_MLEID, MED_2_MLEID).\
filter_ping_request().\
must_next()
pkts.filter_wpan_src64(LEADER).\
filter_RLARMA().\
filter_coap_request(ADDR_QRY_URI, port=MM).\
must_not_next()
pkts.filter_ipv6_src_dst(MED_2_MLEID, MED_1_MLEID).\
filter_ping_reply(identifier=_pkt.icmpv6.echo.identifier).\
must_next()
# Step 4-6: Send a ICMPv6 Echo Request to the MED_2 each GUA
# The DUT MUST NOT send an Address Query Request
# MED_2 MUST respond with an ICMPv6 Echo Reply
for med_1_addr, med_2_addr in zip(MED_1_GUA, MED_2_GUA):
_pkt = pkts.filter_ipv6_src_dst(med_1_addr, med_2_addr).\
filter_ping_request().\
must_next()
pkts.filter_wpan_src64(LEADER).\
filter_RLARMA().\
filter_coap_request(ADDR_QRY_URI, port=MM).\
must_not_next()
pkts.filter_ipv6_src_dst(med_2_addr, med_1_addr).\
filter_ping_reply(identifier=_pkt.icmpv6.echo.identifier).\
must_next()
if __name__ == '__main__':