blob: 8e8a89ba91ad40d3f649ee489c3f85e7afa4a376 [file] [log] [blame]
Azim Khan951a2c82018-06-29 03:47:08 +01001# Greentea host test script for Mbed TLS on-target test suite testing.
Azim Khanf0e42fb2017-08-02 14:47:13 +01002#
Azim Khan8d686bf2018-07-04 23:29:46 +01003# Copyright (C) 2018, Arm Limited, All Rights Reserved
Azim Khanf0e42fb2017-08-02 14:47:13 +01004# SPDX-License-Identifier: Apache-2.0
5#
6# Licensed under the Apache License, Version 2.0 (the "License"); you may
7# not use this file except in compliance with the License.
8# You may obtain a copy of the License at
9#
10# http://www.apache.org/licenses/LICENSE-2.0
11#
12# Unless required by applicable law or agreed to in writing, software
13# distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
14# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
15# See the License for the specific language governing permissions and
16# limitations under the License.
17#
Azim Khanb31aa442018-07-03 11:57:54 +010018# This file is part of Mbed TLS (https://tls.mbed.org)
Azim Khanf0e42fb2017-08-02 14:47:13 +010019
20
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +010021"""
Azim Khan8d686bf2018-07-04 23:29:46 +010022Mbed TLS on-target test suite tests are implemented as Greentea
Azim Khan951a2c82018-06-29 03:47:08 +010023tests. Greentea tests are implemented in two parts: target test and
24host test. Target test is a C application that is built for the
25target platform and executes on the target. Host test is a Python
26class derived from mbed_host_tests.BaseHostTest. Target communicates
Azim Khan8d686bf2018-07-04 23:29:46 +010027with the host over serial for the test data and sends back the result.
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +010028
Azim Khanb31aa442018-07-03 11:57:54 +010029Python tool mbedgt (Greentea) is responsible for flashing the test
Azim Khan8d686bf2018-07-04 23:29:46 +010030binary on to the target and dynamically loading this host test module.
Azim Khan951a2c82018-06-29 03:47:08 +010031
Azim Khan8d686bf2018-07-04 23:29:46 +010032Greentea documentation can be found here:
33https://github.com/ARMmbed/greentea
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +010034"""
35
Azim Khanf0e42fb2017-08-02 14:47:13 +010036
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +010037import re
38import os
Azim Khan663d4702017-07-07 15:40:26 +010039import binascii
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +010040from mbed_host_tests import BaseHostTest, event_callback
41
42
Azim Khanb98e6ee2018-06-28 17:11:33 +010043class TestDataParserError(Exception):
44 """Indicates error in test data, read from .data file."""
45 pass
46
47
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +010048class TestDataParser(object):
49 """
Azim Khan951a2c82018-06-29 03:47:08 +010050 Parses test name, dependencies, test function name and test parameters
51 from the data file.
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +010052 """
53
54 def __init__(self):
55 """
56 Constructor
57 """
58 self.tests = []
59
60 def parse(self, data_file):
61 """
Azim Khanf0e42fb2017-08-02 14:47:13 +010062 Data file parser.
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +010063
Azim Khanf0e42fb2017-08-02 14:47:13 +010064 :param data_file: Data file path
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +010065 """
Azim Khanb31aa442018-07-03 11:57:54 +010066 with open(data_file, 'r') as data_f:
67 self.__parse(data_f)
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +010068
69 @staticmethod
Azim Khanb31aa442018-07-03 11:57:54 +010070 def __escaped_split(inp_str, split_char):
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +010071 """
Azim Khanb31aa442018-07-03 11:57:54 +010072 Splits inp_str on split_char except when escaped.
Azim Khanf0e42fb2017-08-02 14:47:13 +010073
Azim Khanb31aa442018-07-03 11:57:54 +010074 :param inp_str: String to split
75 :param split_char: Split character
Azim Khanf0e42fb2017-08-02 14:47:13 +010076 :return: List of splits
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +010077 """
Azim Khanb31aa442018-07-03 11:57:54 +010078 if len(split_char) > 1:
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +010079 raise ValueError('Expected split character. Found string!')
Azim Khan63028132018-07-05 17:53:11 +010080 out = re.sub(r'(\\.)|' + split_char,
81 lambda m: m.group(1) or '\n', inp_str,
82 len(inp_str)).split('\n')
Mohammad Azim Khan32cbcda2018-07-06 00:29:09 +010083 out = [x for x in out if x]
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +010084 return out
85
Azim Khanb31aa442018-07-03 11:57:54 +010086 def __parse(self, data_f):
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +010087 """
Azim Khanf0e42fb2017-08-02 14:47:13 +010088 Parses data file using supplied file object.
89
Azim Khanb31aa442018-07-03 11:57:54 +010090 :param data_f: Data file object
Azim Khanf0e42fb2017-08-02 14:47:13 +010091 :return:
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +010092 """
Azim Khanb31aa442018-07-03 11:57:54 +010093 for line in data_f:
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +010094 line = line.strip()
Azim Khanb31aa442018-07-03 11:57:54 +010095 if not line:
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +010096 continue
97 # Read test name
98 name = line
99
100 # Check dependencies
Azim Khanb31aa442018-07-03 11:57:54 +0100101 dependencies = []
102 line = data_f.next().strip()
103 match = re.search('depends_on:(.*)', line)
104 if match:
105 dependencies = [int(x) for x in match.group(1).split(':')]
106 line = data_f.next().strip()
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100107
108 # Read test vectors
Azim Khan663d4702017-07-07 15:40:26 +0100109 line = line.replace('\\n', '\n')
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100110 parts = self.__escaped_split(line, ':')
Azim Khanb31aa442018-07-03 11:57:54 +0100111 function_name = int(parts[0])
112 args = parts[1:]
113 args_count = len(args)
114 if args_count % 2 != 0:
Azim Khanb98e6ee2018-06-28 17:11:33 +0100115 raise TestDataParserError("Number of test arguments should "
116 "be even: %s" % line)
Azim Khanb31aa442018-07-03 11:57:54 +0100117 grouped_args = [(args[i * 2], args[(i * 2) + 1])
118 for i in range(len(args)/2)]
119 self.tests.append((name, function_name, dependencies,
120 grouped_args))
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100121
122 def get_test_data(self):
123 """
Azim Khanf0e42fb2017-08-02 14:47:13 +0100124 Returns test data.
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100125 """
126 return self.tests
127
128
129class MbedTlsTest(BaseHostTest):
130 """
Azim Khanb31aa442018-07-03 11:57:54 +0100131 Host test for Mbed TLS unit tests. This script is loaded at
132 run time by Greentea for executing Mbed TLS test suites. Each
Azim Khan951a2c82018-06-29 03:47:08 +0100133 communication from the target is received in this object as
134 an event, which is then handled by the event handler method
135 decorated by the associated event. Ex: @event_callback('GO').
136
137 Target test sends requests for dispatching next test. It reads
138 tests from the intermediate data file and sends test function
139 identifier, dependency identifiers, expression identifiers and
Azim Khanb31aa442018-07-03 11:57:54 +0100140 the test data in binary form. Target test checks dependencies
Azim Khan951a2c82018-06-29 03:47:08 +0100141 , evaluate integer constant expressions and dispatches the test
Azim Khan8d686bf2018-07-04 23:29:46 +0100142 function with received test parameters. After test function is
143 finished, target sends the result. This class handles the result
144 event and prints verdict in the form that Greentea understands.
Azim Khan951a2c82018-06-29 03:47:08 +0100145
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100146 """
Azim Khan951a2c82018-06-29 03:47:08 +0100147 # status/error codes from suites/helpers.function
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100148 DEPENDENCY_SUPPORTED = 0
149 KEY_VALUE_MAPPING_FOUND = DEPENDENCY_SUPPORTED
150 DISPATCH_TEST_SUCCESS = DEPENDENCY_SUPPORTED
151
Azim Khan951a2c82018-06-29 03:47:08 +0100152 KEY_VALUE_MAPPING_NOT_FOUND = -1 # Expression Id not found.
153 DEPENDENCY_NOT_SUPPORTED = -2 # Dependency not supported.
154 DISPATCH_TEST_FN_NOT_FOUND = -3 # Test function not found.
155 DISPATCH_INVALID_TEST_DATA = -4 # Invalid parameter type.
156 DISPATCH_UNSUPPORTED_SUITE = -5 # Test suite not supported/enabled.
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100157
158 def __init__(self):
159 """
Azim Khanf0e42fb2017-08-02 14:47:13 +0100160 Constructor initialises test index to 0.
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100161 """
162 super(MbedTlsTest, self).__init__()
163 self.tests = []
164 self.test_index = -1
165 self.dep_index = 0
166 self.error_str = dict()
Azim Khanb31aa442018-07-03 11:57:54 +0100167 self.error_str[self.DEPENDENCY_SUPPORTED] = \
168 'DEPENDENCY_SUPPORTED'
169 self.error_str[self.KEY_VALUE_MAPPING_NOT_FOUND] = \
170 'KEY_VALUE_MAPPING_NOT_FOUND'
171 self.error_str[self.DEPENDENCY_NOT_SUPPORTED] = \
172 'DEPENDENCY_NOT_SUPPORTED'
173 self.error_str[self.DISPATCH_TEST_FN_NOT_FOUND] = \
174 'DISPATCH_TEST_FN_NOT_FOUND'
175 self.error_str[self.DISPATCH_INVALID_TEST_DATA] = \
176 'DISPATCH_INVALID_TEST_DATA'
177 self.error_str[self.DISPATCH_UNSUPPORTED_SUITE] = \
178 'DISPATCH_UNSUPPORTED_SUITE'
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100179
180 def setup(self):
181 """
Azim Khan951a2c82018-06-29 03:47:08 +0100182 Setup hook implementation. Reads test suite data file and parses out
183 tests.
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100184 """
185 binary_path = self.get_config_item('image_path')
186 script_dir = os.path.split(os.path.abspath(__file__))[0]
187 suite_name = os.path.splitext(os.path.basename(binary_path))[0]
188 data_file = ".".join((suite_name, 'data'))
Azim Khan951a2c82018-06-29 03:47:08 +0100189 data_file = os.path.join(script_dir, '..', 'mbedtls',
190 suite_name, data_file)
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100191 if os.path.exists(data_file):
192 self.log("Running tests from %s" % data_file)
193 parser = TestDataParser()
194 parser.parse(data_file)
195 self.tests = parser.get_test_data()
196 self.print_test_info()
197 else:
198 self.log("Data file not found: %s" % data_file)
199 self.notify_complete(False)
200
201 def print_test_info(self):
202 """
Azim Khanf0e42fb2017-08-02 14:47:13 +0100203 Prints test summary read by Greentea to detect test cases.
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100204 """
205 self.log('{{__testcase_count;%d}}' % len(self.tests))
206 for name, _, _, _ in self.tests:
207 self.log('{{__testcase_name;%s}}' % name)
208
209 @staticmethod
Azim Khanb31aa442018-07-03 11:57:54 +0100210 def align_32bit(data_bytes):
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100211 """
Azim Khanf0e42fb2017-08-02 14:47:13 +0100212 4 byte aligns input byte array.
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100213
214 :return:
215 """
Azim Khanb31aa442018-07-03 11:57:54 +0100216 data_bytes += bytearray((4 - (len(data_bytes))) % 4)
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100217
Azim Khand59391a2017-06-01 14:04:17 +0100218 @staticmethod
219 def hex_str_bytes(hex_str):
220 """
221 Converts Hex string representation to byte array
222
Azim Khanf0e42fb2017-08-02 14:47:13 +0100223 :param hex_str: Hex in string format.
224 :return: Output Byte array
Azim Khand59391a2017-06-01 14:04:17 +0100225 """
Azim Khanb98e6ee2018-06-28 17:11:33 +0100226 if hex_str[0] != '"' or hex_str[len(hex_str) - 1] != '"':
227 raise TestDataParserError("HEX test parameter missing '\"':"
228 " %s" % hex_str)
Azim Khand59391a2017-06-01 14:04:17 +0100229 hex_str = hex_str.strip('"')
Azim Khanb98e6ee2018-06-28 17:11:33 +0100230 if len(hex_str) % 2 != 0:
231 raise TestDataParserError("HEX parameter len should be mod of "
232 "2: %s" % hex_str)
Azim Khand59391a2017-06-01 14:04:17 +0100233
Azim Khanb31aa442018-07-03 11:57:54 +0100234 data_bytes = binascii.unhexlify(hex_str)
235 return data_bytes
Azim Khand59391a2017-06-01 14:04:17 +0100236
Azim Khan663d4702017-07-07 15:40:26 +0100237 @staticmethod
Azim Khanb31aa442018-07-03 11:57:54 +0100238 def int32_to_big_endian_bytes(i):
Azim Khan663d4702017-07-07 15:40:26 +0100239 """
Azim Khanb31aa442018-07-03 11:57:54 +0100240 Coverts i to byte array in big endian format.
Azim Khan663d4702017-07-07 15:40:26 +0100241
Azim Khanf0e42fb2017-08-02 14:47:13 +0100242 :param i: Input integer
243 :return: Output bytes array in big endian or network order
Azim Khan663d4702017-07-07 15:40:26 +0100244 """
Azim Khanb31aa442018-07-03 11:57:54 +0100245 data_bytes = bytearray([((i >> x) & 0xff) for x in [24, 16, 8, 0]])
246 return data_bytes
Azim Khan663d4702017-07-07 15:40:26 +0100247
Azim Khanb31aa442018-07-03 11:57:54 +0100248 def test_vector_to_bytes(self, function_id, dependencies, parameters):
Azim Khan663d4702017-07-07 15:40:26 +0100249 """
250 Converts test vector into a byte array that can be sent to the target.
251
Azim Khanf0e42fb2017-08-02 14:47:13 +0100252 :param function_id: Test Function Identifier
Azim Khanb31aa442018-07-03 11:57:54 +0100253 :param dependencies: Dependency list
Azim Khanf0e42fb2017-08-02 14:47:13 +0100254 :param parameters: Test function input parameters
255 :return: Byte array and its length
Azim Khan663d4702017-07-07 15:40:26 +0100256 """
Azim Khanb31aa442018-07-03 11:57:54 +0100257 data_bytes = bytearray([len(dependencies)])
258 if dependencies:
259 data_bytes += bytearray(dependencies)
260 data_bytes += bytearray([function_id, len(parameters)])
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100261 for typ, param in parameters:
262 if typ == 'int' or typ == 'exp':
263 i = int(param)
Azim Khanb31aa442018-07-03 11:57:54 +0100264 data_bytes += 'I' if typ == 'int' else 'E'
265 self.align_32bit(data_bytes)
266 data_bytes += self.int32_to_big_endian_bytes(i)
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100267 elif typ == 'char*':
268 param = param.strip('"')
269 i = len(param) + 1 # + 1 for null termination
Azim Khanb31aa442018-07-03 11:57:54 +0100270 data_bytes += 'S'
271 self.align_32bit(data_bytes)
272 data_bytes += self.int32_to_big_endian_bytes(i)
273 data_bytes += bytearray(list(param))
274 data_bytes += '\0' # Null terminate
Azim Khand59391a2017-06-01 14:04:17 +0100275 elif typ == 'hex':
Azim Khanb31aa442018-07-03 11:57:54 +0100276 binary_data = self.hex_str_bytes(param)
277 data_bytes += 'H'
278 self.align_32bit(data_bytes)
279 i = len(binary_data)
280 data_bytes += self.int32_to_big_endian_bytes(i)
281 data_bytes += binary_data
282 length = self.int32_to_big_endian_bytes(len(data_bytes))
283 return data_bytes, length
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100284
285 def run_next_test(self):
286 """
Azim Khan951a2c82018-06-29 03:47:08 +0100287 Fetch next test information and execute the test.
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100288
289 """
290 self.test_index += 1
291 self.dep_index = 0
292 if self.test_index < len(self.tests):
Azim Khanb31aa442018-07-03 11:57:54 +0100293 name, function_id, dependencies, args = self.tests[self.test_index]
294 self.run_test(name, function_id, dependencies, args)
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100295 else:
296 self.notify_complete(True)
297
Azim Khanb31aa442018-07-03 11:57:54 +0100298 def run_test(self, name, function_id, dependencies, args):
Azim Khan663d4702017-07-07 15:40:26 +0100299 """
Azim Khan951a2c82018-06-29 03:47:08 +0100300 Execute the test on target by sending next test information.
Azim Khan663d4702017-07-07 15:40:26 +0100301
Azim Khanf0e42fb2017-08-02 14:47:13 +0100302 :param name: Test name
303 :param function_id: function identifier
Azim Khanb31aa442018-07-03 11:57:54 +0100304 :param dependencies: Dependencies list
Azim Khanf0e42fb2017-08-02 14:47:13 +0100305 :param args: test parameters
Azim Khan663d4702017-07-07 15:40:26 +0100306 :return:
307 """
308 self.log("Running: %s" % name)
309
Azim Khanb31aa442018-07-03 11:57:54 +0100310 param_bytes, length = self.test_vector_to_bytes(function_id,
311 dependencies, args)
312 self.send_kv(length, param_bytes)
Azim Khan663d4702017-07-07 15:40:26 +0100313
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100314 @staticmethod
315 def get_result(value):
Azim Khanf0e42fb2017-08-02 14:47:13 +0100316 """
317 Converts result from string type to integer
318 :param value: Result code in string
Azim Khan8d686bf2018-07-04 23:29:46 +0100319 :return: Integer result code. Value is from the test status
320 constants defined under the MbedTlsTest class.
Azim Khanf0e42fb2017-08-02 14:47:13 +0100321 """
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100322 try:
323 return int(value)
324 except ValueError:
Azim Khanb31aa442018-07-03 11:57:54 +0100325 ValueError("Result should return error number. "
326 "Instead received %s" % value)
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100327
328 @event_callback('GO')
Azim Khanb31aa442018-07-03 11:57:54 +0100329 def on_go(self, _key, _value, _timestamp):
Azim Khanf0e42fb2017-08-02 14:47:13 +0100330 """
Azim Khan951a2c82018-06-29 03:47:08 +0100331 Sent by the target to start first test.
Azim Khanf0e42fb2017-08-02 14:47:13 +0100332
Azim Khanb31aa442018-07-03 11:57:54 +0100333 :param _key: Event key
334 :param _value: Value. ignored
335 :param _timestamp: Timestamp ignored.
Azim Khanf0e42fb2017-08-02 14:47:13 +0100336 :return:
337 """
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100338 self.run_next_test()
339
340 @event_callback("R")
Azim Khanb31aa442018-07-03 11:57:54 +0100341 def on_result(self, _key, value, _timestamp):
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100342 """
Azim Khan951a2c82018-06-29 03:47:08 +0100343 Handle result. Prints test start, finish required by Greentea
344 to detect test execution.
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100345
Azim Khanb31aa442018-07-03 11:57:54 +0100346 :param _key: Event key
Azim Khanf0e42fb2017-08-02 14:47:13 +0100347 :param value: Value. ignored
Azim Khanb31aa442018-07-03 11:57:54 +0100348 :param _timestamp: Timestamp ignored.
Azim Khanf0e42fb2017-08-02 14:47:13 +0100349 :return:
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100350 """
351 int_val = self.get_result(value)
Azim Khanb31aa442018-07-03 11:57:54 +0100352 name, _, _, _ = self.tests[self.test_index]
Azim Khan5e7f8df2017-05-31 20:33:39 +0100353 self.log('{{__testcase_start;%s}}' % name)
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100354 self.log('{{__testcase_finish;%s;%d;%d}}' % (name, int_val == 0,
355 int_val != 0))
356 self.run_next_test()
357
358 @event_callback("F")
Azim Khanb31aa442018-07-03 11:57:54 +0100359 def on_failure(self, _key, value, _timestamp):
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100360 """
Azim Khanf0e42fb2017-08-02 14:47:13 +0100361 Handles test execution failure. That means dependency not supported or
362 Test function not supported. Hence marking test as skipped.
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100363
Azim Khanb31aa442018-07-03 11:57:54 +0100364 :param _key: Event key
Azim Khanf0e42fb2017-08-02 14:47:13 +0100365 :param value: Value. ignored
Azim Khanb31aa442018-07-03 11:57:54 +0100366 :param _timestamp: Timestamp ignored.
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100367 :return:
368 """
369 int_val = self.get_result(value)
Mohammad Azim Khan7a0d84f2017-04-01 03:18:20 +0100370 if int_val in self.error_str:
371 err = self.error_str[int_val]
372 else:
373 err = 'Unknown error'
374 # For skip status, do not write {{__testcase_finish;...}}
375 self.log("Error: %s" % err)
376 self.run_next_test()