|
1
|
|
|
import pytest |
|
2
|
|
|
import os, struct, copy |
|
3
|
|
|
import logging |
|
4
|
|
|
|
|
5
|
|
|
from mock import Mock |
|
6
|
|
|
from mock import patch, call |
|
7
|
|
|
from mock import MagicMock |
|
8
|
|
|
from mock import PropertyMock |
|
9
|
|
|
|
|
10
|
|
|
from hypothesis import given, example, settings |
|
11
|
|
|
from hypothesis import strategies as st |
|
12
|
|
|
|
|
13
|
|
|
from bricknil.message_dispatch import MessageDispatch |
|
14
|
|
|
from bricknil.messages import UnknownMessageError, HubPropertiesMessage |
|
15
|
|
|
from bricknil.const import DEVICES |
|
16
|
|
|
|
|
17
|
|
|
class TestMessages: |
|
18
|
|
|
|
|
19
|
|
|
def setup(self): |
|
20
|
|
|
# Create the main dispatch |
|
21
|
|
|
self.hub = MagicMock() |
|
22
|
|
|
self.m = MessageDispatch(self.hub) |
|
23
|
|
|
|
|
24
|
|
|
def _with_header(self, msg:bytearray): |
|
25
|
|
|
l = len(msg)+2 |
|
26
|
|
|
assert l<127 |
|
27
|
|
|
return bytearray([l, 0]+list(msg)) |
|
28
|
|
|
|
|
29
|
|
|
@given(st.data()) |
|
30
|
|
|
def test_port_value_message(self, data): |
|
31
|
|
|
port = data.draw(st.integers(0,255)) |
|
32
|
|
|
width = data.draw(st.integers(1,3)) |
|
33
|
|
|
nbytes = 1<<(width-1) |
|
34
|
|
|
values = data.draw(st.lists(st.integers(0,255),min_size=nbytes,max_size=nbytes )) |
|
35
|
|
|
msg_type = 0x45 |
|
36
|
|
|
msg = bytearray([msg_type, port]+values) |
|
37
|
|
|
l = self.m.parse(self._with_header(msg)) |
|
38
|
|
|
self.hub.peripheral_queue.put.assert_called_with(('value_change', (port,values))) |
|
39
|
|
|
|
|
40
|
|
|
@given(port=st.integers(0,255), |
|
41
|
|
|
mode_ptr=st.integers(0, 0xffff), |
|
42
|
|
|
mode_data=st.lists(st.integers(0,255), min_size=1, max_size=100), |
|
43
|
|
|
) |
|
44
|
|
|
def test_port_combo_value_message(self, port, mode_ptr, mode_data): |
|
45
|
|
|
msg_type = 0x46 |
|
46
|
|
|
mptr = struct.pack('H', mode_ptr) |
|
47
|
|
|
msg = bytearray([msg_type, int(port)])+mptr+bytearray(mode_data) |
|
48
|
|
|
l = self.m.parse(self._with_header(msg)) |
|
49
|
|
|
assert l==f'Port {port} changed combo value to {list(msg[2:])}' |
|
50
|
|
|
self.hub.peripheral_queue.put.assert_called_with(('value_change', (port,list(msg[2:])))) |
|
51
|
|
|
|
|
52
|
|
|
@given(prop=st.integers(0,255), |
|
53
|
|
|
op = st.integers(0,255), |
|
54
|
|
|
msg_data=st.lists(st.integers(0,255), min_size=1, max_size=100), |
|
55
|
|
|
) |
|
56
|
|
|
@example(prop=0, op=1, msg_data=[0]) |
|
57
|
|
|
@example(prop=0, op=0, msg_data=[0]) |
|
58
|
|
|
@example(prop=2, op=6, msg_data=[0]) |
|
59
|
|
|
def test_hub_properties_message(self, prop, op, msg_data): |
|
60
|
|
|
msg_type = 0x01 |
|
61
|
|
|
msg = bytearray([msg_type, prop, op]+msg_data) |
|
62
|
|
|
msg = self._with_header(msg) |
|
63
|
|
|
msg_original = self.m._parse_msg_bytes(list(msg)) |
|
64
|
|
|
|
|
65
|
|
|
if prop not in list(range(1,16)): |
|
66
|
|
|
l = self.m.parse(msg) |
|
67
|
|
|
assert l == f'Hub property: {msg_original}' |
|
68
|
|
|
else: |
|
69
|
|
|
if op not in list(range(1,7)): |
|
70
|
|
|
l = self.m.parse(msg) |
|
71
|
|
|
assert l == f'Hub property: {HubPropertiesMessage.prop_names[prop]} {msg_original}' |
|
72
|
|
|
else: |
|
73
|
|
|
l = self.m.parse(msg) |
|
74
|
|
|
remaining = self.m._parse_msg_bytes(list(msg[5:])) |
|
75
|
|
|
if prop==0x02 and op==0x06: |
|
76
|
|
|
self.hub.peripheral_queue.put.assert_called_with(('value_change', (255,list(msg[5:])))) |
|
77
|
|
|
else: |
|
78
|
|
|
assert l == f'Hub property: {HubPropertiesMessage.prop_names[prop]} {HubPropertiesMessage.operation_names[op]} {remaining}' |
|
79
|
|
|
|
|
80
|
|
|
|
|
81
|
|
|
@given( event=st.integers(0,2), |
|
82
|
|
|
port=st.integers(0,255), |
|
83
|
|
|
data=st.data() |
|
84
|
|
|
) |
|
85
|
|
|
def test_attach_message(self, data, port, event): |
|
86
|
|
|
msg_type = 0x04 |
|
87
|
|
|
msg = bytearray([msg_type, port, event]) |
|
88
|
|
|
if event == 0: #detach |
|
89
|
|
|
l = self.m.parse(self._with_header(msg)) |
|
90
|
|
|
assert l == f'Detached IO Port:{port}' |
|
91
|
|
|
elif event == 1: #attach |
|
92
|
|
|
# Need 10 bytes |
|
93
|
|
|
#dev_id = data.draw(st.integers(0,255)) |
|
94
|
|
|
dev_id = data.draw(st.sampled_from(sorted(DEVICES.keys()))) |
|
95
|
|
|
fw_version = data.draw(st.lists(st.integers(0,255), min_size=8, max_size=8)) |
|
96
|
|
|
msg = msg + bytearray([dev_id, 0])+ bytearray(fw_version) |
|
97
|
|
|
l = self.m.parse(self._with_header(msg)) |
|
98
|
|
|
self.hub.peripheral_queue.put.assert_any_call(('update_port', (port, self.m.port_info[port]))) |
|
99
|
|
|
self.hub.peripheral_queue.put.assert_any_call(('port_detected', port)) |
|
100
|
|
|
# ALso need to make sure the port info is added to dispatch |
|
101
|
|
|
assert self.m.port_info[port]['name'] == DEVICES[dev_id] |
|
102
|
|
|
elif event == 2: # virtual attach |
|
103
|
|
|
dev_id = data.draw(st.sampled_from(sorted(DEVICES.keys()))) |
|
104
|
|
|
v_port_a = data.draw(st.integers(0,255)) |
|
105
|
|
|
v_port_b = data.draw(st.integers(0,255)) |
|
106
|
|
|
msg = msg + bytearray([dev_id, 0, v_port_a, v_port_b]) |
|
107
|
|
|
l = self.m.parse(self._with_header(msg)) |
|
108
|
|
|
self.hub.peripheral_queue.put.assert_any_call(('update_port', (port, self.m.port_info[port]))) |
|
109
|
|
|
self.hub.peripheral_queue.put.assert_any_call(('port_detected', port)) |
|
110
|
|
|
assert l == f'Attached VirtualIO Port:{port} {self.m.port_info[port]["name"]} Port A: {v_port_a}, Port B: {v_port_b}' |
|
111
|
|
|
assert self.m.port_info[port]['virtual'] == (v_port_a, v_port_b) |
|
112
|
|
|
assert self.m.port_info[port]['name'] == DEVICES[dev_id] |
|
113
|
|
|
|
|
114
|
|
|
@given( mode = st.integers(1,2), |
|
115
|
|
|
port = st.integers(0,255), |
|
116
|
|
|
data = st.data() |
|
117
|
|
|
) |
|
118
|
|
|
def test_port_information_message(self, data, port, mode): |
|
119
|
|
|
msg_type = 0x43 |
|
120
|
|
|
if mode == 1: |
|
121
|
|
|
capabilities = data.draw(st.integers(0,15)) # bit mask of 4 bits |
|
122
|
|
|
nmodes = data.draw(st.integers(0,255)) |
|
123
|
|
|
input_modes = [data.draw(st.integers(0,255)), data.draw(st.integers(0,255))] |
|
124
|
|
|
output_modes = [data.draw(st.integers(0,255)), data.draw(st.integers(0,255))] |
|
125
|
|
|
msg = bytearray([msg_type, port, mode, capabilities, nmodes]+input_modes+output_modes) |
|
126
|
|
|
l = self.m.parse(self._with_header(msg)) |
|
127
|
|
|
|
|
128
|
|
|
self.hub.peripheral_queue.put.assert_any_call(('update_port', (port, self.m.port_info[port]))) |
|
129
|
|
|
self.hub.peripheral_queue.put.assert_any_call(('port_info_received', port)) |
|
130
|
|
|
|
|
131
|
|
|
# Make sure the proper capabilities have been set |
|
132
|
|
|
bitmask = ['output', 'input', 'combinable', 'synchronizable'] # capabilities |
|
133
|
|
|
for i,cap in enumerate(bitmask): |
|
134
|
|
|
assert self.m.port_info[port][cap] == capabilities & (1<<i) |
|
135
|
|
|
|
|
136
|
|
|
for i in range(8): |
|
137
|
|
|
if input_modes[0] & (1<<i): |
|
138
|
|
|
assert self.m.port_info[port]['modes'][i]['input'] |
|
139
|
|
|
if input_modes[1] & (1<<i): |
|
140
|
|
|
assert self.m.port_info[port]['modes'][i+8]['input'] |
|
141
|
|
|
if output_modes[0] & (1<<i): |
|
142
|
|
|
assert self.m.port_info[port]['modes'][i]['output'] |
|
143
|
|
|
if output_modes[1] & (1<<i): |
|
144
|
|
|
assert self.m.port_info[port]['modes'][i+8]['output'] |
|
145
|
|
|
|
|
146
|
|
|
elif mode == 2: |
|
147
|
|
|
# Combination info |
|
148
|
|
|
# Up to 8x 16-bit words (bitmasks) of combinations possible |
|
149
|
|
|
ncombos = data.draw(st.integers(0,6)) # how many combos should we allow |
|
150
|
|
|
combos = data.draw(st.lists(st.integers(0,255), min_size=ncombos*2, max_size=ncombos*2)) |
|
151
|
|
|
msg = bytearray([msg_type, port, mode]+combos+[0,0]) |
|
152
|
|
|
l = self.m.parse(self._with_header(msg)) |
|
153
|
|
|
|
|
154
|
|
|
self.hub.peripheral_queue.put.assert_any_call(('update_port', (port, self.m.port_info[port]))) |
|
155
|
|
|
self.hub.peripheral_queue.put.assert_any_call(('port_combination_info_received', port)) |
|
156
|
|
|
|
|
157
|
|
|
# Assert number of combos |
|
158
|
|
|
#assert len(combos)/2 == len(self.m.port_info[port]['mode_combinations']) |
|
159
|
|
|
|
|
160
|
|
|
@given(feedback=st.integers(0,32), |
|
161
|
|
|
port=st.integers(0,255) |
|
162
|
|
|
) |
|
163
|
|
|
def test_port_output_feedback_message(self, port, feedback): |
|
164
|
|
|
msg_type = 0x82 |
|
165
|
|
|
msg = bytearray([msg_type, port, feedback]) |
|
166
|
|
|
self.m.parse(self._with_header(msg)) |
|
167
|
|
|
|
|
168
|
|
|
@given(mode_type=st.sampled_from([0,1,2,3,4,5, 0x80]),#([0,1,2,3,4,5,0x80]), |
|
169
|
|
|
mode=st.integers(0,255), |
|
170
|
|
|
port=st.integers(0,255), |
|
171
|
|
|
data=st.data() |
|
172
|
|
|
) |
|
173
|
|
|
@settings(deadline=None) |
|
174
|
|
|
def test_port_mode_info_message(self, port, mode, mode_type, data): |
|
175
|
|
|
msg_type = 0x44 |
|
176
|
|
|
|
|
177
|
|
|
if mode_type == 0: |
|
178
|
|
|
name = data.draw(st.text(min_size=1, max_size=11)) |
|
179
|
|
|
payload = bytearray(name.encode('utf-8')) |
|
180
|
|
|
elif mode_type == 1 or mode_type == 2 or mode_type==3: |
|
181
|
|
|
payload = data.draw(st.lists(st.integers(0,255), min_size=8, max_size=8)) |
|
182
|
|
|
payload = bytearray(payload) |
|
183
|
|
|
elif mode_type == 4: |
|
184
|
|
|
name = data.draw(st.text(min_size=1, max_size=5)) |
|
185
|
|
|
payload = bytearray(name.encode('utf-8')) |
|
186
|
|
|
elif mode_type == 5: |
|
187
|
|
|
payload = data.draw(st.lists(st.integers(0,255), min_size=2, max_size=2)) |
|
188
|
|
|
payload = bytearray(payload) |
|
189
|
|
|
elif mode_type == 0x80: |
|
190
|
|
|
ndatasets = data.draw(st.integers(0,255)) |
|
191
|
|
|
dataset_type = data.draw(st.integers(0,3)) |
|
192
|
|
|
total_figures = data.draw(st.integers(0,255)) |
|
193
|
|
|
decimals = data.draw(st.integers(0,255)) |
|
194
|
|
|
payload = bytearray([ndatasets, dataset_type, total_figures, decimals]) |
|
195
|
|
|
pass |
|
196
|
|
|
else: |
|
197
|
|
|
assert False |
|
198
|
|
|
|
|
199
|
|
|
msg = bytearray([msg_type, port, mode, mode_type]) + payload |
|
|
|
|
|
|
200
|
|
|
self.m.parse(self._with_header(msg)) |
|
201
|
|
|
|
|
202
|
|
|
|
|
203
|
|
|
|
|
204
|
|
|
|
|
205
|
|
|
|
|
206
|
|
|
|
|
207
|
|
|
|
|
208
|
|
|
|
|
209
|
|
|
|
|
210
|
|
|
|
|
211
|
|
|
|
|
212
|
|
|
|
|
213
|
|
|
|
virantha /
bricknil
Loading history...