#!/usr/bin/env python3 # # Copyright (c) 2020, 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 logging import unittest import config import thread_cert # Test description: Here is the test case `5.11.1 DUA-TC-04: DUA re-registration` # # Topology: # -----------(eth)---------------- # | | # Router_1----BR_1---HOST # \ / # Router_2 # from pktverify.packet_verifier import PacketVerifier BR_1 = 1 ROUTER1 = 2 ROUTER2 = 3 HOST = 4 class BBR_5_11_01(thread_cert.TestCase): USE_MESSAGE_FACTORY = False TOPOLOGY = { BR_1: { 'name': 'BR_1', 'allowlist': [ROUTER1, ROUTER2], 'is_otbr': True, 'version': '1.2', }, ROUTER1: { 'name': 'Router_1', 'allowlist': [ROUTER2, BR_1], 'version': '1.2', }, ROUTER2: { 'name': 'Router_2', 'allowlist': [ROUTER1, BR_1], 'version': '1.2', }, HOST: { 'name': 'Host', 'is_host': True }, } def test(self): self.nodes[HOST].start() # P1: Router_1 is configured with leader weight of 72 in case the test is executed on a CCM network self.nodes[ROUTER1].set_weight(72) self.nodes[ROUTER1].start() self.simulator.go(config.LEADER_STARTUP_DELAY) self.assertEqual('leader', self.nodes[ROUTER1].get_state()) self.nodes[ROUTER2].start() self.simulator.go(5) self.assertEqual('router', self.nodes[ROUTER2].get_state()) # The OTBR docker enables SRP Server by default, lets explicitly # disable SRP server to avoid Network Data population. # TODO: Enhance the test script to tolerate additional Sertivce TLV # in Network Data. self.nodes[BR_1].srp_server_set_enabled(False) self.nodes[BR_1].start() self.simulator.go(5) self.assertEqual('router', self.nodes[BR_1].get_state()) self.nodes[BR_1].enable_backbone_router() self.simulator.go(3) self.assertTrue(self.nodes[BR_1].is_primary_backbone_router) self.nodes[BR_1].add_prefix(config.DOMAIN_PREFIX, "parosD") self.nodes[BR_1].register_netdata() self.simulator.go(5) self.assertIsNotNone(self.nodes[ROUTER2].get_ip6_address(config.ADDRESS_TYPE.DUA)) self.simulator.go(10) # must wait for DUA_DAD_REPEATS to complete logging.info("Host addresses: %r", self.nodes[HOST].get_addrs()) self.assertGreaterEqual(len(self.nodes[HOST].get_addrs()), 2) self.collect_ipaddrs() self.collect_rloc16s() Dg = self.nodes[ROUTER2].get_ip6_address(config.ADDRESS_TYPE.DUA) self.collect_extra_vars(Dg=Dg) logging.info("BR_1 addrs: %r", self.nodes[BR_1].get_addrs()) logging.info("Host addrs: %r", self.nodes[HOST].get_addrs()) # BR_1 and Host can ping each other on the Backbone link self.assertTrue(self.nodes[HOST].ping(self.nodes[BR_1].get_ip6_address(config.ADDRESS_TYPE.BACKBONE_GUA), backbone=True)) self.assertTrue(self.nodes[BR_1].ping(self.nodes[HOST].get_ip6_address(config.ADDRESS_TYPE.BACKBONE_GUA), backbone=True)) # Step 23: Host sends ping packet to destination Dg (successful if DUA features work) self.assertTrue(self.nodes[HOST].ping(Dg, backbone=True)) def verify(self, pv: PacketVerifier): pkts = pv.pkts pv.add_common_vars() pv.summary.show() pv.verify_attached('BR_1') MM = pv.vars['MM_PORT'] BB = pv.vars['BB_PORT'] BR_1 = pv.vars['BR_1'] BR_1_ETH = pv.vars['BR_1_ETH'] Host_ETH = pv.vars['Host_ETH'] BR_1_BGUA = pv.vars['BR_1_BGUA'] Host_BGUA = pv.vars['Host_BGUA'] Dg = pv.vars['Dg'] # DUA of Router_2 ROUTER2 = pv.vars['Router_2'] # Step 3: BR_1: Checks received Network Data and determines that it needs to send its BBR Dataset to the # leader to become primary BBR. pkts.filter_wpan_src64(BR_1).filter_coap_request('/a/sd', port=MM).must_next().must_verify(""" thread_nwd.tlv.server_16 is not null and thread_nwd.tlv.service.s_data.seqno is not null and thread_nwd.tlv.service.s_data.rrdelay is not null and thread_nwd.tlv.service.s_data.mlrtimeout is not null """) pv.verify_dua_registration(ROUTER2, Dg, pbbr_eth=BR_1_ETH, pbbr_src64=BR_1) # Verify Host ping BBR pkts.filter_eth_src(Host_ETH).filter_ipv6_src_dst(Host_BGUA, BR_1_BGUA).filter_ping_request().must_next() pkts.filter_eth_src(BR_1_ETH).filter_ipv6_src_dst(BR_1_BGUA, Host_BGUA).filter_ping_reply().must_next() # Verify BR_1 ping Host pkts.filter_eth_src(BR_1_ETH).filter_ipv6_src_dst(BR_1_BGUA, Host_BGUA).filter_ping_request().must_next() pkts.filter_eth_src(Host_ETH).filter_ipv6_src_dst(Host_BGUA, BR_1_BGUA).filter_ping_reply().must_next() # Step 16: Host: Queries DUA, Dg, with ND-NS pkts.filter_eth_src(Host_ETH).filter_icmpv6_nd_ns(Dg).must_next() # Step 17: BR_1: Responds with a neighbor advertisement. pkts.filter_eth_src(BR_1_ETH).filter_icmpv6_nd_na(Dg).must_next() if __name__ == '__main__': unittest.main()