Exemple #1
0
    def test(self):
        self.nodes[LEADER].start()
        self.simulator.go(5)
        self.assertEqual(self.nodes[LEADER].get_state(), 'leader')

        self.nodes[REED].start()
        self.simulator.go(5)
        self.assertEqual(self.nodes[REED].get_state(), 'child')

        self.nodes[MED].start()

        self.simulator.go(5)
        self.assertEqual(self.nodes[MED].get_state(), 'child')
        self.assertEqual(self.nodes[REED].get_state(), 'router')
        med_messages = self.simulator.get_messages_sent_by(MED)

        # Step 2 - DUT sends MLE Parent Request
        msg = med_messages.next_mle_message(mle.CommandType.PARENT_REQUEST)
        check_parent_request(msg, is_first_request=True)

        # Step 4 - DUT sends MLE Parent Request again
        msg = med_messages.next_mle_message(mle.CommandType.PARENT_REQUEST)
        check_parent_request(msg, is_first_request=False)

        # Step 6 - DUT sends Child ID Request
        msg = med_messages.next_mle_message(
            mle.CommandType.CHILD_ID_REQUEST, sent_to_node=self.nodes[REED]
        )
        check_child_id_request(
            msg,
            address_registration=CheckType.CONTAIN,
            tlv_request=CheckType.CONTAIN,
            mle_frame_counter=CheckType.OPTIONAL,
            route64=CheckType.OPTIONAL,
        )

        # Wait additional DEFAULT_CHILD_TIMEOUT to ensure the keep-alive
        # message (child update request from MED) happens.
        self.simulator.go(config.DEFAULT_CHILD_TIMEOUT)
        med_messages = self.simulator.get_messages_sent_by(MED)

        # Step 8 - DUT sends Child Update messages
        msg = med_messages.next_mle_message(
            mle.CommandType.CHILD_UPDATE_REQUEST
        )
        check_child_update_request_from_child(
            msg,
            source_address=CheckType.CONTAIN,
            leader_data=CheckType.CONTAIN,
        )

        # Step 10 - Leader sends ICMPv6 echo request, to DUT link local address
        med_addrs = self.nodes[MED].get_addrs()
        for addr in med_addrs:
            if addr[0:4] == 'fe80':
                self.assertTrue(self.nodes[REED].ping(addr))
    def test(self):
        self.nodes[LEADER].start()
        self.simulator.go(5)
        self.assertEqual(self.nodes[LEADER].get_state(), 'leader')

        self.nodes[REED].start()
        self.simulator.go(5)
        self.assertEqual(self.nodes[REED].get_state(), 'child')

        self.nodes[MED].start()

        self.simulator.go(5)
        self.assertEqual(self.nodes[MED].get_state(), 'child')
        self.assertEqual(self.nodes[REED].get_state(), 'router')
        med_messages = self.simulator.get_messages_sent_by(MED)

        # Step 2 - DUT sends MLE Parent Request
        msg = med_messages.next_mle_message(mle.CommandType.PARENT_REQUEST)
        check_parent_request(msg, is_first_request=True)

        # Step 4 - DUT sends MLE Parent Request again
        msg = med_messages.next_mle_message(mle.CommandType.PARENT_REQUEST)
        check_parent_request(msg, is_first_request=False)

        # Step 6 - DUT sends Child ID Request
        msg = med_messages.next_mle_message(mle.CommandType.CHILD_ID_REQUEST, sent_to_node=self.nodes[REED])
        check_child_id_request(msg, address_registration=CheckType.CONTAIN,
            tlv_request=CheckType.CONTAIN, mle_frame_counter=CheckType.OPTIONAL,
            route64=CheckType.OPTIONAL)

        # Wait additional DEFAULT_CHILD_TIMEOUT to ensure the keep-alive message (child update request from MED) happens.
        self.simulator.go(config.DEFAULT_CHILD_TIMEOUT)
        med_messages = self.simulator.get_messages_sent_by(MED)

        # Step 8 - DUT sends Child Update messages
        msg = med_messages.next_mle_message(mle.CommandType.CHILD_UPDATE_REQUEST)
        check_child_update_request_from_child(msg, source_address=CheckType.CONTAIN, leader_data=CheckType.CONTAIN)

        # Step 10 - Leader sends ICMPv6 echo request, to DUT link local address
        med_addrs = self.nodes[MED].get_addrs()
        for addr in med_addrs:
            if addr[0:4] == 'fe80':
                self.assertTrue(self.nodes[REED].ping(addr))
    def test(self):
        # 1 - All
        self.nodes[LEADER].start()
        self.simulator.go(5)
        self.assertEqual(self.nodes[LEADER].get_state(), 'leader')

        self.nodes[ROUTER].start()
        self.simulator.go(5)
        self.assertEqual(self.nodes[ROUTER].get_state(), 'router')

        self.nodes[SED1].start()
        self.simulator.go(5)
        self.assertEqual(self.nodes[SED1].get_state(), 'child')

        self.nodes[MED1].start()
        self.simulator.go(5)
        self.assertEqual(self.nodes[MED1].get_state(), 'child')

        # 2 - N/A
        # Clear collected messages
        self.simulator.get_messages_sent_by(LEADER)
        self.simulator.get_messages_sent_by(MED1)
        self.simulator.get_messages_sent_by(SED1)

        self.nodes[LEADER].add_prefix('2001:2:0:1::/64', 'paros')
        self.nodes[LEADER].add_prefix('2001:2:0:2::/64', 'paro')
        self.nodes[LEADER].register_netdata()
        self.simulator.go(5)

        # Set lowpan context of sniffer
        self.simulator.set_lowpan_context(1, '2001:2:0:1::/64')
        self.simulator.set_lowpan_context(2, '2001:2:0:2::/64')

        leader_messages = self.simulator.get_messages_sent_by(LEADER)
        med1_messages = self.simulator.get_messages_sent_by(MED1)
        sed1_messages = self.simulator.get_messages_sent_by(SED1)

        addrs = self.nodes[SED1].get_addrs()
        self.assertTrue(any('2001:2:0:1' in addr[0:10] for addr in addrs))
        self.assertFalse(any('2001:2:0:2' in addr[0:10] for addr in addrs))
        for addr in addrs:
            if addr[0:10] == '2001:2:0:1' or addr[0:10] == '2001:2:0:2':
                self.assertTrue(self.nodes[LEADER].ping(addr))

        addrs = self.nodes[MED1].get_addrs()
        self.assertTrue(any('2001:2:0:1' in addr[0:10] for addr in addrs))
        self.assertTrue(any('2001:2:0:2' in addr[0:10] for addr in addrs))
        for addr in addrs:
            if addr[0:10] == '2001:2:0:1' or addr[0:10] == '2001:2:0:2':
                self.assertTrue(self.nodes[LEADER].ping(addr))

        # 3 - Leader
        msg = leader_messages.next_mle_message(mle.CommandType.DATA_RESPONSE)
        check_data_response(
            msg,
            network_data_check=NetworkDataCheck(prefixes_check=PrefixesCheck(
                prefix_check_list=[
                    SinglePrefixCheck(b'2001000200000001'),
                    SinglePrefixCheck(b'2001000200000002'),
                ])),
        )

        # 4 - N/A
        # Get addresses registered by MED1
        msg = med1_messages.next_mle_message(
            mle.CommandType.CHILD_UPDATE_REQUEST)
        check_child_update_request_from_child(
            msg, address_registration=CheckType.CONTAIN, CIDs=[0, 1, 2])

        # 5 - Leader
        # Make a copy of leader's messages to ensure that we don't miss
        # messages to SED1
        leader_messages_copy = leader_messages.clone()
        msg = leader_messages_copy.next_mle_message(
            mle.CommandType.CHILD_UPDATE_RESPONSE,
            sent_to_node=self.nodes[MED1],
        )
        check_child_update_response(msg,
                                    address_registration=CheckType.CONTAIN,
                                    CIDs=[1, 2])

        # 6A & 6B - Leader
        if config.LEADER_NOTIFY_SED_BY_CHILD_UPDATE_REQUEST:
            msg = leader_messages.next_mle_message(
                mle.CommandType.CHILD_UPDATE_REQUEST,
                sent_to_node=self.nodes[SED1],
            )
            check_child_update_request_from_parent(
                msg,
                leader_data=CheckType.CONTAIN,
                network_data=CheckType.CONTAIN,
                active_timestamp=CheckType.CONTAIN,
            )
        else:
            msg = leader_messages.next_mle_message(
                mle.CommandType.DATA_RESPONSE, sent_to_node=self.nodes[SED1])
            check_data_response(msg, network_data_check=NetworkDataCheck())

        # 7 - N/A
        # Get addresses registered by SED1
        msg = sed1_messages.next_mle_message(
            mle.CommandType.CHILD_UPDATE_REQUEST)
        check_child_update_request_from_child(
            msg, address_registration=CheckType.CONTAIN, CIDs=[0, 1])

        # 8 - Leader
        msg = leader_messages.next_mle_message(
            mle.CommandType.CHILD_UPDATE_RESPONSE,
            sent_to_node=self.nodes[SED1],
        )
        check_child_update_response(msg,
                                    address_registration=CheckType.CONTAIN,
                                    CIDs=[1])
    def test(self):
        self.nodes[LEADER].start()
        self.simulator.go(5)
        self.assertEqual(self.nodes[LEADER].get_state(), 'leader')

        self.nodes[LEADER].add_prefix('2001:2:0:1::/64', 'paros')
        self.nodes[LEADER].add_prefix('2001:2:0:2::/64', 'paro')
        self.nodes[LEADER].register_netdata()

        # Set lowpan context of sniffer
        self.simulator.set_lowpan_context(1, '2001:2:0:1::/64')
        self.simulator.set_lowpan_context(2, '2001:2:0:2::/64')

        self.nodes[ROUTER].start()
        self.simulator.go(5)
        self.assertEqual(self.nodes[ROUTER].get_state(), 'router')

        self.nodes[SED1].start()
        self.simulator.go(5)
        self.assertEqual(self.nodes[SED1].get_state(), 'child')

        self.nodes[MED1].start()
        self.simulator.go(5)
        self.assertEqual(self.nodes[MED1].get_state(), 'child')

        addrs = self.nodes[SED1].get_addrs()
        self.assertTrue(any('2001:2:0:1' in addr[0:10] for addr in addrs))
        self.assertFalse(any('2001:2:0:2' in addr[0:10] for addr in addrs))
        for addr in addrs:
            if addr[0:10] == '2001:2:0:1' or addr[0:10] == '2001:2:0:2':
                self.assertTrue(self.nodes[LEADER].ping(addr))

        addrs = self.nodes[MED1].get_addrs()
        self.assertTrue(any('2001:2:0:1' in addr[0:10] for addr in addrs))
        self.assertTrue(any('2001:2:0:2' in addr[0:10] for addr in addrs))
        for addr in addrs:
            if addr[0:10] == '2001:2:0:1' or addr[0:10] == '2001:2:0:2':
                self.assertTrue(self.nodes[LEADER].ping(addr))

        leader_messages = self.simulator.get_messages_sent_by(LEADER)
        med1_messages = self.simulator.get_messages_sent_by(MED1)
        sed1_messages = self.simulator.get_messages_sent_by(SED1)

        # Step 1 - DUT sends MLE Advertisements
        msg = leader_messages.next_mle_message(mle.CommandType.ADVERTISEMENT)

        # Step 2 - DUT creates network data
        msg = leader_messages.next_mle_message(mle.CommandType.DATA_RESPONSE)
        check_data_response(
            msg,
            network_data_check=(NetworkDataCheckType.PREFIX_CONTENT, [{
                network_data.TlvType.PREFIX:
                b'2001000200000001'
            }, {
                network_data.TlvType.PREFIX:
                b'2001000200000002'
            }]))

        # Step 4 - DUT sends a MLE Child ID Response to Router1
        msg = leader_messages.next_mle_message(
            mle.CommandType.CHILD_ID_RESPONSE)
        check_child_id_response(
            msg, network_data_check=(NetworkDataCheckType.PREFIX_CNT, 2))

        # Step 6 - DUT sends a MLE Child ID Response to SED1
        msg = leader_messages.next_mle_message(
            mle.CommandType.CHILD_ID_RESPONSE)
        check_child_id_response(
            msg,
            network_data_check=(NetworkDataCheckType.PREFIX_CONTENT, [{
                network_data.TlvType.BORDER_ROUTER:
                0xFFFE
            }]))
        # For Step 10
        msg_chd_upd_res_to_sed = leader_messages.next_mle_message(
            mle.CommandType.CHILD_UPDATE_RESPONSE)

        # Step 8 - DUT sends a MLE Child ID Response to MED1
        msg = leader_messages.next_mle_message(
            mle.CommandType.CHILD_ID_RESPONSE)
        check_child_id_response(
            msg, network_data_check=(NetworkDataCheckType.PREFIX_CNT, 2))

        # Step 10 - DUT sends Child Update Response
        msg_chd_upd_res_to_med = leader_messages.next_mle_message(
            mle.CommandType.CHILD_UPDATE_RESPONSE)
        msg = med1_messages.next_mle_message(
            mle.CommandType.CHILD_UPDATE_REQUEST)
        check_child_update_request_from_child(
            msg, address_registration=CheckType.CONTAIN, CIDs=[0, 1, 2])

        check_child_update_response(msg_chd_upd_res_to_med,
                                    address_registration=CheckType.CONTAIN,
                                    CIDs=[1, 2])

        msg = sed1_messages.next_mle_message(
            mle.CommandType.CHILD_UPDATE_REQUEST)
        check_child_update_request_from_child(
            msg, address_registration=CheckType.CONTAIN, CIDs=[0, 1])
        check_child_update_response(msg_chd_upd_res_to_sed,
                                    address_registration=CheckType.CONTAIN,
                                    CIDs=[1])
    def test(self):
        self.nodes[LEADER].start()
        self.simulator.go(5)
        self.assertEqual(self.nodes[LEADER].get_state(), 'leader')

        self.nodes[LEADER].add_prefix('2001:2:0:1::/64', 'paros')
        self.nodes[LEADER].add_prefix('2001:2:0:2::/64', 'paro')
        self.nodes[LEADER].register_netdata()

        # Set lowpan context of sniffer
        self.simulator.set_lowpan_context(1, '2001:2:0:1::/64')
        self.simulator.set_lowpan_context(2, '2001:2:0:2::/64')

        self.nodes[ROUTER].start()
        self.simulator.go(5)
        self.assertEqual(self.nodes[ROUTER].get_state(), 'router')

        self.nodes[SED1].start()
        self.simulator.go(5)
        self.assertEqual(self.nodes[SED1].get_state(), 'child')

        self.nodes[MED1].start()
        self.simulator.go(5)
        self.assertEqual(self.nodes[MED1].get_state(), 'child')

        addrs = self.nodes[SED1].get_addrs()
        self.assertTrue(any('2001:2:0:1' in addr[0:10] for addr in addrs))
        self.assertFalse(any('2001:2:0:2' in addr[0:10] for addr in addrs))
        for addr in addrs:
            if addr[0:10] == '2001:2:0:1' or addr[0:10] == '2001:2:0:2':
                self.assertTrue(self.nodes[LEADER].ping(addr))

        addrs = self.nodes[MED1].get_addrs()
        self.assertTrue(any('2001:2:0:1' in addr[0:10] for addr in addrs))
        self.assertTrue(any('2001:2:0:2' in addr[0:10] for addr in addrs))
        for addr in addrs:
            if addr[0:10] == '2001:2:0:1' or addr[0:10] == '2001:2:0:2':
                self.assertTrue(self.nodes[LEADER].ping(addr))

        leader_messages = self.simulator.get_messages_sent_by(LEADER)
        med1_messages = self.simulator.get_messages_sent_by(MED1)
        sed1_messages = self.simulator.get_messages_sent_by(SED1)

        # Step 1 - DUT sends MLE Advertisements
        msg = leader_messages.next_mle_message(mle.CommandType.ADVERTISEMENT)

        # Step 2 - DUT creates network data
        msg = leader_messages.next_mle_message(mle.CommandType.DATA_RESPONSE)
        check_data_response(msg,
            network_data_check=NetworkDataCheck(
                prefixes_check=PrefixesCheck(prefix_check_list=[ SinglePrefixCheck(prefix=b'2001000200000001'), SinglePrefixCheck(prefix=b'2001000200000002') ])
            )
        )

        # Step 4 - DUT sends a MLE Child ID Response to Router1
        msg = leader_messages.next_mle_message(mle.CommandType.CHILD_ID_RESPONSE)
        check_child_id_response(msg,
            network_data_check=NetworkDataCheck(
                prefixes_check=PrefixesCheck(prefix_cnt=2)
            )
        )

        # Step 6 - DUT sends a MLE Child ID Response to SED1
        msg = leader_messages.next_mle_message(mle.CommandType.CHILD_ID_RESPONSE)
        check_child_id_response(msg,
            network_data_check=NetworkDataCheck(
                prefixes_check=PrefixesCheck(prefix_check_list=[ SinglePrefixCheck(border_router_16=0xFFFE) ])
            )
        )

        # For Step 10
        msg_chd_upd_res_to_sed = leader_messages.next_mle_message(mle.CommandType.CHILD_UPDATE_RESPONSE)

        # Step 8 - DUT sends a MLE Child ID Response to MED1
        msg = leader_messages.next_mle_message(mle.CommandType.CHILD_ID_RESPONSE)
        check_child_id_response(msg,
            network_data_check=NetworkDataCheck(
                prefixes_check=PrefixesCheck(prefix_cnt=2)
            )
        )

        # Step 10 - DUT sends Child Update Response
        msg_chd_upd_res_to_med = leader_messages.next_mle_message(mle.CommandType.CHILD_UPDATE_RESPONSE)
        msg = med1_messages.next_mle_message(mle.CommandType.CHILD_UPDATE_REQUEST)
        check_child_update_request_from_child(msg, address_registration=CheckType.CONTAIN, CIDs=[0, 1, 2])

        check_child_update_response(msg_chd_upd_res_to_med, address_registration=CheckType.CONTAIN, CIDs=[1, 2])

        msg = sed1_messages.next_mle_message(mle.CommandType.CHILD_UPDATE_REQUEST)
        check_child_update_request_from_child(msg, address_registration=CheckType.CONTAIN, CIDs=[0, 1])
        check_child_update_response(msg_chd_upd_res_to_sed, address_registration=CheckType.CONTAIN, CIDs=[1])
    def test(self):
        # 1 - All
        self.nodes[LEADER].start()
        self.simulator.go(5)
        self.assertEqual(self.nodes[LEADER].get_state(), 'leader')

        self.nodes[ROUTER].start()
        self.simulator.go(5)
        self.assertEqual(self.nodes[ROUTER].get_state(), 'router')

        self.nodes[SED1].start()
        self.simulator.go(5)
        self.assertEqual(self.nodes[SED1].get_state(), 'child')

        self.nodes[MED1].start()
        self.simulator.go(5)
        self.assertEqual(self.nodes[MED1].get_state(), 'child')

        # 2 - N/A
        # Clear collected messages
        self.simulator.get_messages_sent_by(LEADER)
        self.simulator.get_messages_sent_by(MED1)
        self.simulator.get_messages_sent_by(SED1)

        self.nodes[LEADER].add_prefix('2001:2:0:1::/64', 'paros')
        self.nodes[LEADER].add_prefix('2001:2:0:2::/64', 'paro')
        self.nodes[LEADER].register_netdata()
        self.simulator.go(5)

        # Set lowpan context of sniffer
        self.simulator.set_lowpan_context(1, '2001:2:0:1::/64')
        self.simulator.set_lowpan_context(2, '2001:2:0:2::/64')

        leader_messages = self.simulator.get_messages_sent_by(LEADER)
        med1_messages = self.simulator.get_messages_sent_by(MED1)
        sed1_messages = self.simulator.get_messages_sent_by(SED1)

        addrs = self.nodes[SED1].get_addrs()
        self.assertTrue(any('2001:2:0:1' in addr[0:10] for addr in addrs))
        self.assertFalse(any('2001:2:0:2' in addr[0:10] for addr in addrs))
        for addr in addrs:
            if addr[0:10] == '2001:2:0:1' or addr[0:10] == '2001:2:0:2':
                self.assertTrue(self.nodes[LEADER].ping(addr))

        addrs = self.nodes[MED1].get_addrs()
        self.assertTrue(any('2001:2:0:1' in addr[0:10] for addr in addrs))
        self.assertTrue(any('2001:2:0:2' in addr[0:10] for addr in addrs))
        for addr in addrs:
            if addr[0:10] == '2001:2:0:1' or addr[0:10] == '2001:2:0:2':
                self.assertTrue(self.nodes[LEADER].ping(addr))

        # 3 - Leader
        msg = leader_messages.next_mle_message(mle.CommandType.DATA_RESPONSE)
        check_data_response(msg,
            network_data_check=NetworkDataCheck(
                prefixes_check=PrefixesCheck(prefix_check_list=[ SinglePrefixCheck(b'2001000200000001'), SinglePrefixCheck(b'2001000200000002')])
            )
        )

        # 4 - N/A
        # Get addresses registered by MED1
        msg = med1_messages.next_mle_message(mle.CommandType.CHILD_UPDATE_REQUEST)
        check_child_update_request_from_child(msg, address_registration=CheckType.CONTAIN, CIDs=[0, 1, 2])

        # 5 - Leader
        # Make a copy of leader's messages to ensure that we don't miss messages to SED1
        leader_messages_copy = leader_messages.clone()
        msg = leader_messages_copy.next_mle_message(mle.CommandType.CHILD_UPDATE_RESPONSE, sent_to_node=self.nodes[MED1])
        check_child_update_response(msg, address_registration=CheckType.CONTAIN, CIDs=[1, 2])

        # 6A & 6B - Leader
        if config.LEADER_NOTIFY_SED_BY_CHILD_UPDATE_REQUEST:
            msg = leader_messages.next_mle_message(mle.CommandType.CHILD_UPDATE_REQUEST, sent_to_node=self.nodes[SED1])
            check_child_update_request_from_parent(msg,
                leader_data=CheckType.CONTAIN, network_data=CheckType.CONTAIN, active_timestamp=CheckType.CONTAIN)
        else:
            msg = leader_messages.next_mle_message(mle.CommandType.DATA_RESPONSE, sent_to_node=self.nodes[SED1])
            check_data_response(msg, network_data_check=command.NetworkDataCheck())

        # 7 - N/A
        # Get addresses registered by SED1
        msg = sed1_messages.next_mle_message(mle.CommandType.CHILD_UPDATE_REQUEST)
        check_child_update_request_from_child(msg, address_registration=CheckType.CONTAIN, CIDs=[0, 1])

        # 8 - Leader
        msg = leader_messages.next_mle_message(mle.CommandType.CHILD_UPDATE_RESPONSE, sent_to_node=self.nodes[SED1])
        check_child_update_response(msg, address_registration=CheckType.CONTAIN, CIDs=[1])