diff --git a/tests/scripts/thread-cert/Cert_5_3_10_AddressQuery.py b/tests/scripts/thread-cert/Cert_5_3_10_AddressQuery.py index 46b1cc016..dda0d9cc7 100755 --- a/tests/scripts/thread-cert/Cert_5_3_10_AddressQuery.py +++ b/tests/scripts/thread-cert/Cert_5_3_10_AddressQuery.py @@ -27,28 +27,34 @@ # POSSIBILITY OF SUCH DAMAGE. # +import copy +import ipaddress import time import unittest +import command +import config +import ipv6 +import network_layer import node LEADER = 1 BR = 2 -ROUTER2 = 3 -ROUTER3 = 4 -SED2 = 5 +ROUTER1 = 3 +DUT_ROUTER2 = 4 +MED1 = 5 class Cert_5_3_10_AddressQuery(unittest.TestCase): def setUp(self): self.nodes = {} - for i in range(1,6): - self.nodes[i] = node.Node(i, (i == SED2)) + for i in range(1, 6): + self.nodes[i] = node.Node(i, (i == MED1)) self.nodes[LEADER].set_panid(0xface) self.nodes[LEADER].set_mode('rsdn') self.nodes[LEADER].add_whitelist(self.nodes[BR].get_addr64()) - self.nodes[LEADER].add_whitelist(self.nodes[ROUTER2].get_addr64()) - self.nodes[LEADER].add_whitelist(self.nodes[ROUTER3].get_addr64()) + self.nodes[LEADER].add_whitelist(self.nodes[ROUTER1].get_addr64()) + self.nodes[LEADER].add_whitelist(self.nodes[DUT_ROUTER2].get_addr64()) self.nodes[LEADER].enable_whitelist() self.nodes[BR].set_panid(0xface) @@ -57,32 +63,40 @@ class Cert_5_3_10_AddressQuery(unittest.TestCase): self.nodes[BR].enable_whitelist() self.nodes[BR].set_router_selection_jitter(1) - self.nodes[ROUTER2].set_panid(0xface) - self.nodes[ROUTER2].set_mode('rsdn') - self.nodes[ROUTER2].add_whitelist(self.nodes[LEADER].get_addr64()) - self.nodes[ROUTER2].add_whitelist(self.nodes[SED2].get_addr64()) - self.nodes[ROUTER2].enable_whitelist() - self.nodes[ROUTER2].set_router_selection_jitter(1) + self.nodes[ROUTER1].set_panid(0xface) + self.nodes[ROUTER1].set_mode('rsdn') + self.nodes[ROUTER1].add_whitelist(self.nodes[LEADER].get_addr64()) + self.nodes[ROUTER1].add_whitelist(self.nodes[DUT_ROUTER2].get_addr64()) + self.nodes[ROUTER1].enable_whitelist() + self.nodes[ROUTER1].set_router_selection_jitter(1) - self.nodes[ROUTER3].set_panid(0xface) - self.nodes[ROUTER3].set_mode('rsdn') - self.nodes[ROUTER3].add_whitelist(self.nodes[LEADER].get_addr64()) - self.nodes[ROUTER3].add_whitelist(self.nodes[ROUTER2].get_addr64()) - self.nodes[ROUTER3].enable_whitelist() - self.nodes[ROUTER3].set_router_selection_jitter(1) + self.nodes[DUT_ROUTER2].set_panid(0xface) + self.nodes[DUT_ROUTER2].set_mode('rsdn') + self.nodes[DUT_ROUTER2].add_whitelist(self.nodes[LEADER].get_addr64()) + self.nodes[DUT_ROUTER2].add_whitelist(self.nodes[ROUTER1].get_addr64()) + self.nodes[DUT_ROUTER2].add_whitelist(self.nodes[MED1].get_addr64()) + self.nodes[DUT_ROUTER2].enable_whitelist() + self.nodes[DUT_ROUTER2].set_router_selection_jitter(1) - self.nodes[SED2].set_panid(0xface) - self.nodes[SED2].set_mode('sn') - self.nodes[SED2].add_whitelist(self.nodes[ROUTER2].get_addr64()) - self.nodes[SED2].set_timeout(3) - self.nodes[SED2].enable_whitelist() + self.nodes[MED1].set_panid(0xface) + self.nodes[MED1].set_mode('rsn') + self.nodes[MED1].add_whitelist(self.nodes[DUT_ROUTER2].get_addr64()) + self.nodes[MED1].enable_whitelist() + + self.sniffer = config.create_default_thread_sniffer() + self.sniffer.start() def tearDown(self): + self.sniffer.stop() + del self.sniffer + for node in list(self.nodes.values()): node.stop() del self.nodes def test(self): + # 1 & 2 + # Build and verify the topology self.nodes[LEADER].start() self.nodes[LEADER].set_state('leader') self.assertEqual(self.nodes[LEADER].get_state(), 'leader') @@ -91,52 +105,105 @@ class Cert_5_3_10_AddressQuery(unittest.TestCase): time.sleep(5) self.assertEqual(self.nodes[BR].get_state(), 'router') - self.nodes[BR].add_prefix('2001:2:0:3::/64', 'paros') - self.nodes[BR].add_prefix('2001:2:0:4::/64', 'paros') + # Configure two On-Mesh Prefixes on the BR + self.nodes[BR].add_prefix('2003::/64', 'paros') + self.nodes[BR].add_prefix('2004::/64', 'paros') self.nodes[BR].register_netdata() - self.nodes[ROUTER2].start() + # Set lowpan context of sniffer + self.sniffer.set_lowpan_context(1, '2003::/64') + self.sniffer.set_lowpan_context(2, '2004::/64') + + self.nodes[DUT_ROUTER2].start() time.sleep(5) - self.assertEqual(self.nodes[ROUTER2].get_state(), 'router') + self.assertEqual(self.nodes[DUT_ROUTER2].get_state(), 'router') - self.nodes[ROUTER3].start() + self.nodes[ROUTER1].start() time.sleep(5) - self.assertEqual(self.nodes[ROUTER3].get_state(), 'router') + self.assertEqual(self.nodes[ROUTER1].get_state(), 'router') - self.nodes[SED2].start() + self.nodes[MED1].start() time.sleep(5) - self.assertEqual(self.nodes[SED2].get_state(), 'child') + self.assertEqual(self.nodes[MED1].get_state(), 'child') - addrs = self.nodes[ROUTER3].get_addrs() - for addr in addrs: - if addr[0:4] != 'fe80': - self.assertTrue(self.nodes[SED2].ping(addr)) + # 3 MED1: MED1 sends an ICMPv6 Echo Request to Router1 using GUA 2003:: address + router1_addr = self.nodes[ROUTER1].get_addr("2003::/64") + self.assertTrue(router1_addr is not None) + self.assertTrue(self.nodes[MED1].ping(router1_addr)) - addrs = self.nodes[SED2].get_addrs() - for addr in addrs: - if addr[0:4] != 'fe80': - self.assertTrue(self.nodes[BR].ping(addr)) + # Wait for sniffer got Address Notification messages + time.sleep(1) - addrs = self.nodes[ROUTER3].get_addrs() - for addr in addrs: - if addr[0:4] != 'fe80': - self.assertTrue(self.nodes[SED2].ping(addr)) + # Verify DUT_ROUTER2 sent an Address Query Request + dut_router2_messages = self.sniffer.get_messages_sent_by(DUT_ROUTER2) + msg = dut_router2_messages.next_coap_message('0.02', '/a/aq') + command.check_address_query(msg, self.nodes[DUT_ROUTER2], config.REALM_LOCAL_ALL_ROUTERS_ADDRESS) - self.nodes[ROUTER3].stop() - time.sleep(300) - - addrs = self.nodes[ROUTER3].get_addrs() - for addr in addrs: - if addr[0:4] != 'fe80': - self.assertFalse(self.nodes[SED2].ping(addr)) + # Verify the DUT_ROUTER2 forwarded ICMPv6 Echo Request to ROUTER1 + msg = dut_router2_messages.get_icmp_message(ipv6.ICMP_ECHO_REQUEST) + assert msg is not None, "Error: The DUT_ROUTER2 didn't forward ICMPv6 Echo Request to ROUTER1" + msg.assertSentToNode(self.nodes[ROUTER1]) - self.nodes[SED2].stop() - time.sleep(10) + # 4 BR: BR sends an ICMPv6 Echo Request to MED1 using GUA 2003:: address + med1_addr = self.nodes[MED1].get_addr("2003::/64") + self.assertTrue(med1_addr is not None) + self.assertTrue(self.nodes[BR].ping(med1_addr)) - addrs = self.nodes[SED2].get_addrs() - for addr in addrs: - if addr[0:4] != 'fe80': - self.assertFalse(self.nodes[BR].ping(addr)) + # Wait for sniffer got Address Notification messages + time.sleep(1) + + # Verify DUT_ROUTER2 sent an Address Notification message + dut_router2_messages = self.sniffer.get_messages_sent_by(DUT_ROUTER2) + msg = dut_router2_messages.next_coap_message('0.02', '/a/an') + command.check_address_notification(msg, self.nodes[DUT_ROUTER2], self.nodes[BR]) + + # 5 MED1: MED1 sends an ICMPv6 Echo Request to ROUTER1 using GUA 2003:: address + addr = self.nodes[ROUTER1].get_addr("2003::/64") + self.assertTrue(addr is not None) + self.assertTrue(self.nodes[MED1].ping(addr)) + + # Wait for sniffer got ICMPv6 Echo Reply + time.sleep(1) + + # Verify DUT_ROUTER2 didn't generate an Address Query Request + dut_router2_messages = self.sniffer.get_messages_sent_by(DUT_ROUTER2) + dut_router2_messages_temp = copy.deepcopy(dut_router2_messages) + msg = dut_router2_messages.next_coap_message('0.02', '/a/aq', False) + assert msg is None, "Error: The DUT_ROUTER2 sent an unexpected Address Query Request" + + # Verify DUT_ROUTER2 forwarded ICMPv6 Echo Reply to MED1 + msg = dut_router2_messages_temp.get_icmp_message(ipv6.ICMP_ECHO_RESPONSE) + assert msg is not None, "Error: The DUT_ROUTER2 didn't forward ICMPv6 Echo Reply to MED1" + msg.assertSentToNode(self.nodes[MED1]) + + # 6 DUT_ROUTER2: Power off ROUTER1 and wait 580 seconds to allow the LEADER to expire its Router ID + router1_id = self.nodes[ROUTER1].get_router_id() + self.nodes[ROUTER1].stop() + time.sleep(580) + + # Send an ICMPv6 Echo Request from MED1 to ROUTER1 GUA 2003:: address + self.assertFalse(self.nodes[MED1].ping(router1_addr)) + + # Verify the DUT_ROUTER2 has removed all entries based on ROUTER1's Router ID + command.check_router_id_cached(self.nodes[DUT_ROUTER2], router1_id, False) + + # Verify DUT_ROUTER2 sent an Address Query Request + dut_router2_messages = self.sniffer.get_messages_sent_by(DUT_ROUTER2) + msg = dut_router2_messages.next_coap_message('0.02', '/a/aq') + msg.assertSentToDestinationAddress(config.REALM_LOCAL_ALL_ROUTERS_ADDRESS) + + # 7 MED1: Power off MED1 and wait to allow DUT_ROUTER2 to timeout the child + self.nodes[MED1].stop() + time.sleep(config.MLE_END_DEVICE_TIMEOUT) + + # BR sends two ICMPv6 Echo Requests to MED1 GUA 2003:: address + self.assertFalse(self.nodes[BR].ping(med1_addr)) + self.assertFalse(self.nodes[BR].ping(med1_addr)) + + # Verify DUT_ROUTER2 didn't generate an Address Notification message + dut_router2_messages = self.sniffer.get_messages_sent_by(DUT_ROUTER2) + msg = dut_router2_messages.next_coap_message('0.02', '/a/an/', False) + assert msg is None, "Error: The DUT_ROUTER2 sent an unexpected Address Notification message" if __name__ == '__main__': unittest.main() diff --git a/tests/scripts/thread-cert/Makefile.am b/tests/scripts/thread-cert/Makefile.am index 6cbe91f66..ea21ce393 100644 --- a/tests/scripts/thread-cert/Makefile.am +++ b/tests/scripts/thread-cert/Makefile.am @@ -267,6 +267,7 @@ XFAIL_NCP_TESTS = \ Cert_5_2_05_AddressQuery.py \ Cert_5_3_08_ChildAddressSet.py \ Cert_5_3_09_AddressQuery.py \ + Cert_5_3_10_AddressQuery.py \ Cert_8_1_01_Commissioning.py \ Cert_8_1_02_Commissioning.py \ Cert_8_2_01_JoinerRouter.py \ diff --git a/tests/scripts/thread-cert/command.py b/tests/scripts/thread-cert/command.py index 53b2da63e..44b9c2c4b 100644 --- a/tests/scripts/thread-cert/command.py +++ b/tests/scripts/thread-cert/command.py @@ -207,3 +207,22 @@ def check_child_id_response(command_msg, route64 = CheckType.OPTIONAL, network_d check_mle_optional_tlv(command_msg, pending_timestamp, mle.PendingTimestamp) check_mle_optional_tlv(command_msg, active_operational_dataset, mle.ActiveOperationalDataset) check_mle_optional_tlv(command_msg, pending_operational_dataset, mle.PendingOperationalDataset) + +def check_coap_optional_tlv(coap_msg, type, tlv): + if (type == CheckType.CONTAIN): + coap_msg.assertCoapMessageContainsTlv(tlv) + elif (type == CheckType.NOT_CONTAIN): + coap_msg.assertCoapMessageDoesNotContainTlv(tlv) + elif (type == CheckType.OPTIONAL): + coap_msg.assertCoapMessageContainsOptionalTlv(tlv) + else: + raise ValueError("Invalid check type") + +def check_router_id_cached(node, router_id, cached = True): + """Verify if the node has cached any entries based on the router ID + """ + eidcaches = node.get_eidcaches() + if cached: + assert any(router_id == (int(rloc, 16) >> 10) for (_, rloc) in eidcaches) + else: + assert any(router_id == (int(rloc, 16) >> 10) for (_, rloc) in eidcaches) is False diff --git a/tests/scripts/thread-cert/config.py b/tests/scripts/thread-cert/config.py index eadf5c117..a6a1f4b1c 100644 --- a/tests/scripts/thread-cert/config.py +++ b/tests/scripts/thread-cert/config.py @@ -65,6 +65,7 @@ MAX_NEIGHBOR_AGE = 100 INFINITE_COST_TIMEOUT = 90 MAX_ADVERTISEMENT_INTERVAL = 32 +MLE_END_DEVICE_TIMEOUT = 100 def create_default_network_data_prefix_sub_tlvs_factories(): return { diff --git a/tests/scripts/thread-cert/message.py b/tests/scripts/thread-cert/message.py index c1604e615..3f496ee64 100644 --- a/tests/scripts/thread-cert/message.py +++ b/tests/scripts/thread-cert/message.py @@ -238,6 +238,18 @@ class Message(object): assert(contains_tlv == True) + def assertCoapMessageDoesNotContainTlv(self, tlv_class_type): + if self.type != MessageType.COAP: + raise ValueError("Invalid message type. Expected COAP message.") + + contains_tlv = False + for tlv in self.coap.payload: + if isinstance(tlv, tlv_class_type): + contains_tlv = True + break + + assert(contains_tlv == False) + def assertCoapMessageContainsOptionalTlv(self, tlv_class_type): if self.type != MessageType.COAP: raise ValueError("Invalid message type. Expected CoAP message.") diff --git a/tests/scripts/thread-cert/node.py b/tests/scripts/thread-cert/node.py index cd5caa9d0..a585172ff 100755 --- a/tests/scripts/thread-cert/node.py +++ b/tests/scripts/thread-cert/node.py @@ -197,6 +197,9 @@ class Node: def get_addr(self, prefix): return self.interface.get_addr(prefix) + def get_eidcaches(self): + return self.interface.get_eidcaches() + def add_service(self, enterpriseNumber, serviceData, serverData): self.interface.add_service(enterpriseNumber, serviceData, serverData) diff --git a/tests/scripts/thread-cert/node_cli.py b/tests/scripts/thread-cert/node_cli.py index dfa61edf8..43b8513fd 100644 --- a/tests/scripts/thread-cert/node_cli.py +++ b/tests/scripts/thread-cert/node_cli.py @@ -400,6 +400,21 @@ class otCli: return None + def get_eidcaches(self): + eidcaches = [] + self.send_command('eidcache') + + while True: + i = self.pexpect.expect(['([a-fA-F0-9\:]+) ([a-fA-F0-9]+)\r\n', 'Done']) + if i == 0: + eid = self.pexpect.match.groups()[0].decode("utf-8") + rloc = self.pexpect.match.groups()[1].decode("utf-8") + eidcaches.append((eid, rloc)) + elif i == 1: + break + + return eidcaches + def add_service(self, enterpriseNumber, serviceData, serverData): cmd = 'service add ' + enterpriseNumber + ' ' + serviceData+ ' ' + serverData self.send_command(cmd)