| #!/usr/bin/env python3 |
| # |
| # Copyright (c) 2016, 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 unittest |
| |
| import node |
| import mle |
| import network_layer |
| import config |
| |
| LEADER = 1 |
| ROUTER = 16 |
| DUT_REED = 17 |
| ED = 18 |
| MESH_LOCAL_PREFIX = 'fdde:ad00:beef:0:' |
| ROUTING_LACATOR = ':0:ff:fe00' |
| REED_ADVERTISEMENT_INTERVAL = 570 |
| REED_ADVERTISEMENT_MAX_JITTER = 60 |
| ROUTER_SELECTION_JITTER = 1 |
| |
| |
| class Cert_5_2_4_REEDUpgrade(unittest.TestCase): |
| def setUp(self): |
| self.simulator = config.create_default_simulator() |
| |
| self.nodes = {} |
| for i in range(1, 19): |
| self.nodes[i] = node.Node(i, simulator=self.simulator) |
| |
| self.nodes[LEADER].set_panid(0xface) |
| self.nodes[LEADER].set_mode('rsdn') |
| self.nodes[LEADER].enable_whitelist() |
| |
| for i in range(2, 17): |
| self.nodes[i].set_panid(0xface) |
| self.nodes[i].set_mode('rsdn') |
| self.nodes[i].add_whitelist(self.nodes[LEADER].get_addr64()) |
| self.nodes[LEADER].add_whitelist(self.nodes[i].get_addr64()) |
| self.nodes[i].enable_whitelist() |
| self.nodes[i].set_router_selection_jitter(1) |
| |
| self.nodes[DUT_REED].set_panid(0xface) |
| self.nodes[DUT_REED].set_mode('rsdn') |
| self.nodes[DUT_REED].add_whitelist(self.nodes[ROUTER].get_addr64()) |
| self.nodes[ROUTER].add_whitelist(self.nodes[DUT_REED].get_addr64()) |
| self.nodes[DUT_REED].add_whitelist(self.nodes[ED].get_addr64()) |
| self.nodes[DUT_REED].enable_whitelist() |
| self.nodes[DUT_REED].set_router_selection_jitter(1) |
| |
| self.nodes[ED].set_panid(0xface) |
| self.nodes[ED].set_mode('rsdn') |
| self.nodes[ED].add_whitelist(self.nodes[DUT_REED].get_addr64()) |
| self.nodes[ED].enable_whitelist() |
| |
| def tearDown(self): |
| for n in list(self.nodes.values()): |
| n.stop() |
| n.destroy() |
| self.simulator.stop() |
| |
| def test(self): |
| # 1 Ensure topology is formed correctly without the DUT_REED. |
| self.nodes[LEADER].start() |
| self.simulator.go(5) |
| self.assertEqual(self.nodes[LEADER].get_state(), 'leader') |
| |
| for i in range(2, 17): |
| self.nodes[i].start() |
| self.simulator.go(5) |
| self.assertEqual(self.nodes[i].get_state(), 'router') |
| |
| # 2 DUT_REED: Attach to ROUTER, 2-hops from the Leader. |
| self.nodes[DUT_REED].start() |
| self.simulator.go(5) |
| self.simulator.go(ROUTER_SELECTION_JITTER) |
| |
| reed_messages = self.simulator.get_messages_sent_by(DUT_REED) |
| |
| # The DUT_REED must not send a coap message here. |
| msg = reed_messages.does_not_contain_coap_message() |
| assert msg is True, "Error: The REED sent an Address Solicit Request" |
| |
| # 3 DUT_REED: Verify MLE Advertisement. |
| msg = reed_messages.next_mle_message(mle.CommandType.ADVERTISEMENT) |
| msg.assertSentWithHopLimit(255) |
| msg.assertSentToDestinationAddress('ff02::1') |
| msg.assertMleMessageContainsTlv(mle.SourceAddress) |
| msg.assertMleMessageContainsTlv(mle.LeaderData) |
| msg.assertMleMessageDoesNotContainTlv(mle.Route64) |
| |
| # 4 Wait for DUT_REED to send the second packet. |
| self.simulator.go( |
| REED_ADVERTISEMENT_INTERVAL + REED_ADVERTISEMENT_MAX_JITTER |
| ) |
| |
| # 5 DUT_REED: Verify the second MLE Advertisement. |
| reed_messages = self.simulator.get_messages_sent_by(DUT_REED) |
| msg = reed_messages.next_mle_message(mle.CommandType.ADVERTISEMENT) |
| |
| # 6 ED |
| self.nodes[ED].start() |
| self.simulator.go(5) |
| |
| # 7 DUT_REED: Verify MLE Parent Response. |
| reed_messages = self.simulator.get_messages_sent_by(DUT_REED) |
| msg = reed_messages.next_mle_message(mle.CommandType.PARENT_RESPONSE) |
| msg.assertSentToNode(self.nodes[ED]) |
| msg.assertMleMessageContainsTlv(mle.SourceAddress) |
| msg.assertMleMessageContainsTlv(mle.LeaderData) |
| msg.assertMleMessageContainsTlv(mle.LinkLayerFrameCounter) |
| msg.assertMleMessageContainsOptionalTlv(mle.MleFrameCounter) |
| msg.assertMleMessageContainsTlv(mle.Response) |
| msg.assertMleMessageContainsTlv(mle.Challenge) |
| msg.assertMleMessageContainsTlv(mle.LinkMargin) |
| msg.assertMleMessageContainsTlv(mle.Connectivity) |
| msg.assertMleMessageContainsTlv(mle.Version) |
| |
| # 8 DUT_REED: Verify Address Solicit Request. |
| msg = reed_messages.next_coap_message('0.02') |
| msg.assertCoapMessageRequestUriPath('/a/as') |
| msg.assertCoapMessageContainsTlv(network_layer.MacExtendedAddress) |
| msg.assertCoapMessageContainsTlv(network_layer.Status) |
| msg.assertCoapMessageContainsOptionalTlv(network_layer.Rloc16) |
| |
| # 9 DUT_REED: Verify Multicast Link Request. |
| msg = reed_messages.next_mle_message(mle.CommandType.LINK_REQUEST) |
| msg.assertSentToDestinationAddress('ff02::2') |
| msg.assertMleMessageContainsTlv(mle.Challenge) |
| msg.assertMleMessageContainsTlv(mle.LeaderData) |
| msg.assertMleMessageContainsTlv(mle.SourceAddress) |
| msg.assertMleMessageContainsTlv(mle.TlvRequest) |
| msg.assertMleMessageContainsTlv(mle.Version) |
| |
| # 10 DUT_REED: Verify MLE Child ID Response. |
| msg = reed_messages.next_mle_message(mle.CommandType.CHILD_ID_RESPONSE) |
| msg.assertSentToNode(self.nodes[ED]) |
| msg.assertMleMessageContainsTlv(mle.Address16) |
| |
| # 11 Verify connectivity by sending an ICMPv6 Echo Request to the |
| # Leader. |
| mleid = None |
| for addr in self.nodes[LEADER].get_addrs(): |
| if ( |
| addr.find(MESH_LOCAL_PREFIX) != -1 |
| and addr.find(ROUTING_LACATOR) == -1 |
| ): |
| mleid = addr |
| break |
| |
| self.assertTrue(self.nodes[ED].ping(mleid)) |
| |
| |
| if __name__ == '__main__': |
| unittest.main() |
