Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 1 | # Greentea host test script for on-target tests. |
| 2 | # |
Mohammad Azim Khan | 78befd9 | 2018-03-06 11:49:41 +0000 | [diff] [blame] | 3 | # Copyright (C) 2018, ARM Limited, All Rights Reserved |
Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 4 | # 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 | # |
| 18 | # This file is part of mbed TLS (https://tls.mbed.org) |
| 19 | |
| 20 | |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 21 | """ |
Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 22 | Greentea host test script for on-target tests. |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 23 | |
Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 24 | Host test script for testing mbed TLS test suites on target. Implements |
| 25 | BaseHostTest to handle key,value pairs (events) coming from mbed TLS |
| 26 | tests. Reads data file corresponding to the executing binary and dispatches |
| 27 | test cases. |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 28 | """ |
| 29 | |
Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 30 | |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 31 | import re |
| 32 | import os |
Azim Khan | 663d470 | 2017-07-07 15:40:26 +0100 | [diff] [blame] | 33 | import binascii |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 34 | from mbed_host_tests import BaseHostTest, event_callback |
| 35 | |
| 36 | |
Azim Khan | b98e6ee | 2018-06-28 17:11:33 +0100 | [diff] [blame^] | 37 | class TestDataParserError(Exception): |
| 38 | """Indicates error in test data, read from .data file.""" |
| 39 | pass |
| 40 | |
| 41 | |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 42 | class TestDataParser(object): |
| 43 | """ |
| 44 | parser for mbedtls test data files. |
| 45 | """ |
| 46 | |
| 47 | def __init__(self): |
| 48 | """ |
| 49 | Constructor |
| 50 | """ |
| 51 | self.tests = [] |
| 52 | |
| 53 | def parse(self, data_file): |
| 54 | """ |
Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 55 | Data file parser. |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 56 | |
Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 57 | :param data_file: Data file path |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 58 | """ |
| 59 | with open(data_file, 'r') as f: |
| 60 | self.__parse(f) |
| 61 | |
| 62 | @staticmethod |
| 63 | def __escaped_split(str, ch): |
| 64 | """ |
Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 65 | Splits str on ch except when escaped. |
| 66 | |
| 67 | :param str: String to split |
| 68 | :param ch: Split character |
| 69 | :return: List of splits |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 70 | """ |
| 71 | if len(ch) > 1: |
| 72 | raise ValueError('Expected split character. Found string!') |
| 73 | out = [] |
| 74 | part = '' |
| 75 | escape = False |
| 76 | for i in range(len(str)): |
| 77 | if not escape and str[i] == ch: |
| 78 | out.append(part) |
| 79 | part = '' |
| 80 | else: |
| 81 | part += str[i] |
| 82 | escape = not escape and str[i] == '\\' |
| 83 | if len(part): |
| 84 | out.append(part) |
| 85 | return out |
| 86 | |
| 87 | def __parse(self, file): |
| 88 | """ |
Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 89 | Parses data file using supplied file object. |
| 90 | |
| 91 | :param file: Data file object |
| 92 | :return: |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 93 | """ |
Azim Khan | 663d470 | 2017-07-07 15:40:26 +0100 | [diff] [blame] | 94 | for line in file: |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 95 | line = line.strip() |
| 96 | if len(line) == 0: |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 97 | continue |
| 98 | # Read test name |
| 99 | name = line |
| 100 | |
| 101 | # Check dependencies |
| 102 | deps = [] |
Azim Khan | 663d470 | 2017-07-07 15:40:26 +0100 | [diff] [blame] | 103 | line = file.next().strip() |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 104 | m = re.search('depends_on\:(.*)', line) |
| 105 | if m: |
| 106 | deps = [int(x) for x in m.group(1).split(':')] |
Azim Khan | 663d470 | 2017-07-07 15:40:26 +0100 | [diff] [blame] | 107 | line = file.next().strip() |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 108 | |
| 109 | # Read test vectors |
Azim Khan | 663d470 | 2017-07-07 15:40:26 +0100 | [diff] [blame] | 110 | line = line.replace('\\n', '\n') |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 111 | parts = self.__escaped_split(line, ':') |
| 112 | function = int(parts[0]) |
| 113 | x = parts[1:] |
| 114 | l = len(x) |
Azim Khan | b98e6ee | 2018-06-28 17:11:33 +0100 | [diff] [blame^] | 115 | if l % 2 != 0: |
| 116 | raise TestDataParserError("Number of test arguments should " |
| 117 | "be even: %s" % line) |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 118 | args = [(x[i * 2], x[(i * 2) + 1]) for i in range(len(x)/2)] |
| 119 | self.tests.append((name, function, deps, args)) |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 120 | |
| 121 | def get_test_data(self): |
| 122 | """ |
Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 123 | Returns test data. |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 124 | """ |
| 125 | return self.tests |
| 126 | |
| 127 | |
| 128 | class MbedTlsTest(BaseHostTest): |
| 129 | """ |
Azim Khan | 663d470 | 2017-07-07 15:40:26 +0100 | [diff] [blame] | 130 | Event handler for mbedtls unit tests. This script is loaded at run time |
| 131 | by htrun while executing mbedtls unit tests. |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 132 | """ |
| 133 | # From suites/helpers.function |
| 134 | DEPENDENCY_SUPPORTED = 0 |
| 135 | KEY_VALUE_MAPPING_FOUND = DEPENDENCY_SUPPORTED |
| 136 | DISPATCH_TEST_SUCCESS = DEPENDENCY_SUPPORTED |
| 137 | |
| 138 | KEY_VALUE_MAPPING_NOT_FOUND = -1 |
| 139 | DEPENDENCY_NOT_SUPPORTED = -2 |
| 140 | DISPATCH_TEST_FN_NOT_FOUND = -3 |
| 141 | DISPATCH_INVALID_TEST_DATA = -4 |
| 142 | DISPATCH_UNSUPPORTED_SUITE = -5 |
| 143 | |
| 144 | def __init__(self): |
| 145 | """ |
Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 146 | Constructor initialises test index to 0. |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 147 | """ |
| 148 | super(MbedTlsTest, self).__init__() |
| 149 | self.tests = [] |
| 150 | self.test_index = -1 |
| 151 | self.dep_index = 0 |
| 152 | self.error_str = dict() |
| 153 | self.error_str[self.DEPENDENCY_SUPPORTED] = 'DEPENDENCY_SUPPORTED' |
| 154 | self.error_str[self.KEY_VALUE_MAPPING_NOT_FOUND] = 'KEY_VALUE_MAPPING_NOT_FOUND' |
| 155 | self.error_str[self.DEPENDENCY_NOT_SUPPORTED] = 'DEPENDENCY_NOT_SUPPORTED' |
| 156 | self.error_str[self.DISPATCH_TEST_FN_NOT_FOUND] = 'DISPATCH_TEST_FN_NOT_FOUND' |
| 157 | self.error_str[self.DISPATCH_INVALID_TEST_DATA] = 'DISPATCH_INVALID_TEST_DATA' |
| 158 | self.error_str[self.DISPATCH_UNSUPPORTED_SUITE] = 'DISPATCH_UNSUPPORTED_SUITE' |
| 159 | |
| 160 | def setup(self): |
| 161 | """ |
Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 162 | Setup hook implementation. Reads test suite data file and parses out tests. |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 163 | """ |
| 164 | binary_path = self.get_config_item('image_path') |
| 165 | script_dir = os.path.split(os.path.abspath(__file__))[0] |
| 166 | suite_name = os.path.splitext(os.path.basename(binary_path))[0] |
| 167 | data_file = ".".join((suite_name, 'data')) |
| 168 | data_file = os.path.join(script_dir, '..', 'mbedtls', suite_name, data_file) |
| 169 | if os.path.exists(data_file): |
| 170 | self.log("Running tests from %s" % data_file) |
| 171 | parser = TestDataParser() |
| 172 | parser.parse(data_file) |
| 173 | self.tests = parser.get_test_data() |
| 174 | self.print_test_info() |
| 175 | else: |
| 176 | self.log("Data file not found: %s" % data_file) |
| 177 | self.notify_complete(False) |
| 178 | |
| 179 | def print_test_info(self): |
| 180 | """ |
Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 181 | Prints test summary read by Greentea to detect test cases. |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 182 | """ |
| 183 | self.log('{{__testcase_count;%d}}' % len(self.tests)) |
| 184 | for name, _, _, _ in self.tests: |
| 185 | self.log('{{__testcase_name;%s}}' % name) |
| 186 | |
| 187 | @staticmethod |
| 188 | def align_32bit(b): |
| 189 | """ |
Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 190 | 4 byte aligns input byte array. |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 191 | |
| 192 | :return: |
| 193 | """ |
| 194 | b += bytearray((4 - (len(b))) % 4) |
| 195 | |
Azim Khan | d59391a | 2017-06-01 14:04:17 +0100 | [diff] [blame] | 196 | @staticmethod |
| 197 | def hex_str_bytes(hex_str): |
| 198 | """ |
| 199 | Converts Hex string representation to byte array |
| 200 | |
Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 201 | :param hex_str: Hex in string format. |
| 202 | :return: Output Byte array |
Azim Khan | d59391a | 2017-06-01 14:04:17 +0100 | [diff] [blame] | 203 | """ |
Azim Khan | b98e6ee | 2018-06-28 17:11:33 +0100 | [diff] [blame^] | 204 | if hex_str[0] != '"' or hex_str[len(hex_str) - 1] != '"': |
| 205 | raise TestDataParserError("HEX test parameter missing '\"':" |
| 206 | " %s" % hex_str) |
Azim Khan | d59391a | 2017-06-01 14:04:17 +0100 | [diff] [blame] | 207 | hex_str = hex_str.strip('"') |
Azim Khan | b98e6ee | 2018-06-28 17:11:33 +0100 | [diff] [blame^] | 208 | if len(hex_str) % 2 != 0: |
| 209 | raise TestDataParserError("HEX parameter len should be mod of " |
| 210 | "2: %s" % hex_str) |
Azim Khan | d59391a | 2017-06-01 14:04:17 +0100 | [diff] [blame] | 211 | |
Azim Khan | 663d470 | 2017-07-07 15:40:26 +0100 | [diff] [blame] | 212 | b = binascii.unhexlify(hex_str) |
Azim Khan | d59391a | 2017-06-01 14:04:17 +0100 | [diff] [blame] | 213 | return b |
| 214 | |
Azim Khan | 663d470 | 2017-07-07 15:40:26 +0100 | [diff] [blame] | 215 | @staticmethod |
| 216 | def int32_to_bigendian_bytes(i): |
| 217 | """ |
| 218 | Coverts i to bytearray in big endian format. |
| 219 | |
Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 220 | :param i: Input integer |
| 221 | :return: Output bytes array in big endian or network order |
Azim Khan | 663d470 | 2017-07-07 15:40:26 +0100 | [diff] [blame] | 222 | """ |
| 223 | b = bytearray([((i >> x) & 0xff) for x in [24, 16, 8, 0]]) |
| 224 | return b |
| 225 | |
| 226 | def test_vector_to_bytes(self, function_id, deps, parameters): |
| 227 | """ |
| 228 | Converts test vector into a byte array that can be sent to the target. |
| 229 | |
Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 230 | :param function_id: Test Function Identifier |
| 231 | :param deps: Dependency list |
| 232 | :param parameters: Test function input parameters |
| 233 | :return: Byte array and its length |
Azim Khan | 663d470 | 2017-07-07 15:40:26 +0100 | [diff] [blame] | 234 | """ |
| 235 | b = bytearray([len(deps)]) |
| 236 | if len(deps): |
| 237 | b += bytearray(deps) |
| 238 | b += bytearray([function_id, len(parameters)]) |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 239 | for typ, param in parameters: |
| 240 | if typ == 'int' or typ == 'exp': |
| 241 | i = int(param) |
| 242 | b += 'I' if typ == 'int' else 'E' |
| 243 | self.align_32bit(b) |
Azim Khan | 663d470 | 2017-07-07 15:40:26 +0100 | [diff] [blame] | 244 | b += self.int32_to_bigendian_bytes(i) |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 245 | elif typ == 'char*': |
| 246 | param = param.strip('"') |
| 247 | i = len(param) + 1 # + 1 for null termination |
| 248 | b += 'S' |
| 249 | self.align_32bit(b) |
Azim Khan | 663d470 | 2017-07-07 15:40:26 +0100 | [diff] [blame] | 250 | b += self.int32_to_bigendian_bytes(i) |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 251 | b += bytearray(list(param)) |
| 252 | b += '\0' # Null terminate |
Azim Khan | d59391a | 2017-06-01 14:04:17 +0100 | [diff] [blame] | 253 | elif typ == 'hex': |
| 254 | hb = self.hex_str_bytes(param) |
| 255 | b += 'H' |
| 256 | self.align_32bit(b) |
| 257 | i = len(hb) |
Azim Khan | 663d470 | 2017-07-07 15:40:26 +0100 | [diff] [blame] | 258 | b += self.int32_to_bigendian_bytes(i) |
Azim Khan | d59391a | 2017-06-01 14:04:17 +0100 | [diff] [blame] | 259 | b += hb |
Azim Khan | 663d470 | 2017-07-07 15:40:26 +0100 | [diff] [blame] | 260 | length = self.int32_to_bigendian_bytes(len(b)) |
| 261 | return b, length |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 262 | |
| 263 | def run_next_test(self): |
| 264 | """ |
| 265 | Send next test function to the target. |
| 266 | |
| 267 | """ |
| 268 | self.test_index += 1 |
| 269 | self.dep_index = 0 |
| 270 | if self.test_index < len(self.tests): |
Azim Khan | 663d470 | 2017-07-07 15:40:26 +0100 | [diff] [blame] | 271 | name, function_id, deps, args = self.tests[self.test_index] |
| 272 | self.run_test(name, function_id, deps, args) |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 273 | else: |
| 274 | self.notify_complete(True) |
| 275 | |
Azim Khan | 663d470 | 2017-07-07 15:40:26 +0100 | [diff] [blame] | 276 | def run_test(self, name, function_id, deps, args): |
| 277 | """ |
| 278 | Runs the test. |
| 279 | |
Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 280 | :param name: Test name |
| 281 | :param function_id: function identifier |
| 282 | :param deps: Dependencies list |
| 283 | :param args: test parameters |
Azim Khan | 663d470 | 2017-07-07 15:40:26 +0100 | [diff] [blame] | 284 | :return: |
| 285 | """ |
| 286 | self.log("Running: %s" % name) |
| 287 | |
| 288 | bytes, length = self.test_vector_to_bytes(function_id, deps, args) |
| 289 | self.send_kv(length, bytes) |
| 290 | |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 291 | @staticmethod |
| 292 | def get_result(value): |
Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 293 | """ |
| 294 | Converts result from string type to integer |
| 295 | :param value: Result code in string |
| 296 | :return: Integer result code |
| 297 | """ |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 298 | try: |
| 299 | return int(value) |
| 300 | except ValueError: |
| 301 | ValueError("Result should return error number. Instead received %s" % value) |
| 302 | return 0 |
| 303 | |
| 304 | @event_callback('GO') |
| 305 | def on_go(self, key, value, timestamp): |
Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 306 | """ |
| 307 | Called on key "GO". Kicks off test execution. |
| 308 | |
| 309 | :param key: Event key |
| 310 | :param value: Value. ignored |
| 311 | :param timestamp: Timestamp ignored. |
| 312 | :return: |
| 313 | """ |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 314 | self.run_next_test() |
| 315 | |
| 316 | @event_callback("R") |
| 317 | def on_result(self, key, value, timestamp): |
| 318 | """ |
Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 319 | Handle result. Prints test start, finish prints required by Greentea to detect test execution. |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 320 | |
Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 321 | :param key: Event key |
| 322 | :param value: Value. ignored |
| 323 | :param timestamp: Timestamp ignored. |
| 324 | :return: |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 325 | """ |
| 326 | int_val = self.get_result(value) |
| 327 | name, function, deps, args = self.tests[self.test_index] |
Azim Khan | 5e7f8df | 2017-05-31 20:33:39 +0100 | [diff] [blame] | 328 | self.log('{{__testcase_start;%s}}' % name) |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 329 | self.log('{{__testcase_finish;%s;%d;%d}}' % (name, int_val == 0, |
| 330 | int_val != 0)) |
| 331 | self.run_next_test() |
| 332 | |
| 333 | @event_callback("F") |
| 334 | def on_failure(self, key, value, timestamp): |
| 335 | """ |
Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 336 | Handles test execution failure. That means dependency not supported or |
| 337 | Test function not supported. Hence marking test as skipped. |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 338 | |
Azim Khan | f0e42fb | 2017-08-02 14:47:13 +0100 | [diff] [blame] | 339 | :param key: Event key |
| 340 | :param value: Value. ignored |
| 341 | :param timestamp: Timestamp ignored. |
Mohammad Azim Khan | 7a0d84f | 2017-04-01 03:18:20 +0100 | [diff] [blame] | 342 | :return: |
| 343 | """ |
| 344 | int_val = self.get_result(value) |
| 345 | name, function, deps, args = self.tests[self.test_index] |
| 346 | if int_val in self.error_str: |
| 347 | err = self.error_str[int_val] |
| 348 | else: |
| 349 | err = 'Unknown error' |
| 350 | # For skip status, do not write {{__testcase_finish;...}} |
| 351 | self.log("Error: %s" % err) |
| 352 | self.run_next_test() |