Gilles Peskine | 0490425 | 2022-09-16 22:02:37 +0200 | [diff] [blame] | 1 | """Library for constructing an Mbed TLS test case. |
Gilles Peskine | db2f575 | 2021-01-26 21:27:22 +0100 | [diff] [blame] | 2 | """ |
| 3 | |
| 4 | # Copyright The Mbed TLS Contributors |
Dave Rodgman | 16799db | 2023-11-02 19:47:20 +0000 | [diff] [blame^] | 5 | # SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later |
Gilles Peskine | db2f575 | 2021-01-26 21:27:22 +0100 | [diff] [blame] | 6 | # |
Gilles Peskine | db2f575 | 2021-01-26 21:27:22 +0100 | [diff] [blame] | 7 | |
| 8 | import binascii |
Gilles Peskine | 505cc64 | 2021-01-27 18:30:40 +0100 | [diff] [blame] | 9 | import os |
Gilles Peskine | 8ffb585 | 2021-01-26 21:35:01 +0100 | [diff] [blame] | 10 | import sys |
Gilles Peskine | 4fbffcd | 2021-02-16 18:06:59 +0100 | [diff] [blame] | 11 | from typing import Iterable, List, Optional |
Gilles Peskine | db2f575 | 2021-01-26 21:27:22 +0100 | [diff] [blame] | 12 | |
Gilles Peskine | 15997bd | 2022-09-16 22:35:18 +0200 | [diff] [blame] | 13 | from . import typing_util |
Gilles Peskine | db2f575 | 2021-01-26 21:27:22 +0100 | [diff] [blame] | 14 | |
| 15 | def hex_string(data: bytes) -> str: |
| 16 | return '"' + binascii.hexlify(data).decode('ascii') + '"' |
| 17 | |
| 18 | |
| 19 | class MissingDescription(Exception): |
| 20 | pass |
| 21 | |
| 22 | class MissingFunction(Exception): |
| 23 | pass |
| 24 | |
| 25 | class TestCase: |
| 26 | """An Mbed TLS test case.""" |
| 27 | |
| 28 | def __init__(self, description: Optional[str] = None): |
| 29 | self.comments = [] #type: List[str] |
| 30 | self.description = description #type: Optional[str] |
| 31 | self.dependencies = [] #type: List[str] |
| 32 | self.function = None #type: Optional[str] |
| 33 | self.arguments = [] #type: List[str] |
| 34 | |
| 35 | def add_comment(self, *lines: str) -> None: |
| 36 | self.comments += lines |
| 37 | |
| 38 | def set_description(self, description: str) -> None: |
| 39 | self.description = description |
| 40 | |
| 41 | def set_dependencies(self, dependencies: List[str]) -> None: |
| 42 | self.dependencies = dependencies |
| 43 | |
| 44 | def set_function(self, function: str) -> None: |
| 45 | self.function = function |
| 46 | |
| 47 | def set_arguments(self, arguments: List[str]) -> None: |
| 48 | self.arguments = arguments |
| 49 | |
| 50 | def check_completeness(self) -> None: |
| 51 | if self.description is None: |
| 52 | raise MissingDescription |
| 53 | if self.function is None: |
| 54 | raise MissingFunction |
| 55 | |
Gilles Peskine | 4fbffcd | 2021-02-16 18:06:59 +0100 | [diff] [blame] | 56 | def write(self, out: typing_util.Writable) -> None: |
Gilles Peskine | db2f575 | 2021-01-26 21:27:22 +0100 | [diff] [blame] | 57 | """Write the .data file paragraph for this test case. |
| 58 | |
| 59 | The output starts and ends with a single newline character. If the |
| 60 | surrounding code writes lines (consisting of non-newline characters |
| 61 | and a final newline), you will end up with a blank line before, but |
| 62 | not after the test case. |
| 63 | """ |
| 64 | self.check_completeness() |
| 65 | assert self.description is not None # guide mypy |
| 66 | assert self.function is not None # guide mypy |
| 67 | out.write('\n') |
| 68 | for line in self.comments: |
| 69 | out.write('# ' + line + '\n') |
| 70 | out.write(self.description + '\n') |
| 71 | if self.dependencies: |
| 72 | out.write('depends_on:' + ':'.join(self.dependencies) + '\n') |
Przemyslaw Stekiel | 729c244 | 2021-11-09 14:40:12 +0100 | [diff] [blame] | 73 | out.write(self.function + ':' + ':'.join(self.arguments) + '\n') |
Gilles Peskine | 8ffb585 | 2021-01-26 21:35:01 +0100 | [diff] [blame] | 74 | |
| 75 | def write_data_file(filename: str, |
| 76 | test_cases: Iterable[TestCase], |
| 77 | caller: Optional[str] = None) -> None: |
| 78 | """Write the test cases to the specified file. |
| 79 | |
| 80 | If the file already exists, it is overwritten. |
| 81 | """ |
| 82 | if caller is None: |
Gilles Peskine | 505cc64 | 2021-01-27 18:30:40 +0100 | [diff] [blame] | 83 | caller = os.path.basename(sys.argv[0]) |
Gilles Peskine | b3ea98c | 2022-09-21 22:00:06 +0200 | [diff] [blame] | 84 | tempfile = filename + '.new' |
| 85 | with open(tempfile, 'w') as out: |
Gilles Peskine | 8ffb585 | 2021-01-26 21:35:01 +0100 | [diff] [blame] | 86 | out.write('# Automatically generated by {}. Do not edit!\n' |
| 87 | .format(caller)) |
| 88 | for tc in test_cases: |
| 89 | tc.write(out) |
| 90 | out.write('\n# End of automatically generated file.\n') |
Gilles Peskine | b3ea98c | 2022-09-21 22:00:06 +0200 | [diff] [blame] | 91 | os.replace(tempfile, filename) |