Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 1 | #!/usr/bin/env python3 |
| 2 | |
| 3 | """Sanity checks for test data. |
Gilles Peskine | bbb3664 | 2020-07-03 00:30:12 +0200 | [diff] [blame] | 4 | |
| 5 | This program contains a class for traversing test cases that can be used |
| 6 | independently of the checks. |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 7 | """ |
| 8 | |
Bence Szépkúti | 1e14827 | 2020-08-07 13:07:28 +0200 | [diff] [blame] | 9 | # Copyright The Mbed TLS Contributors |
Dave Rodgman | 16799db | 2023-11-02 19:47:20 +0000 | [diff] [blame] | 10 | # SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 11 | |
Gilles Peskine | 1fb7aea | 2019-12-02 14:26:04 +0100 | [diff] [blame] | 12 | import argparse |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 13 | import re |
| 14 | import sys |
Tomás González | 754f8cd | 2023-08-17 15:11:10 +0100 | [diff] [blame] | 15 | |
Gilles Peskine | 1398556 | 2024-10-03 19:11:27 +0200 | [diff] [blame] | 16 | import scripts_path # pylint: disable=unused-import |
Gilles Peskine | 31e3152 | 2024-10-03 17:23:53 +0200 | [diff] [blame] | 17 | import collect_test_cases |
Gilles Peskine | 1398556 | 2024-10-03 19:11:27 +0200 | [diff] [blame] | 18 | |
Pengyu Lv | ce980e6 | 2023-11-30 16:53:31 +0800 | [diff] [blame] | 19 | |
Gilles Peskine | eba0097 | 2024-10-03 17:35:52 +0200 | [diff] [blame] | 20 | class DescriptionChecker(collect_test_cases.TestDescriptionExplorer): |
Gilles Peskine | 78c45db | 2020-06-25 16:34:11 +0200 | [diff] [blame] | 21 | """Check all test case descriptions. |
| 22 | |
| 23 | * Check that each description is valid (length, allowed character set, etc.). |
| 24 | * Check that there is no duplicated description inside of one test suite. |
| 25 | """ |
| 26 | |
| 27 | def __init__(self, results): |
| 28 | self.results = results |
| 29 | |
Gilles Peskine | bbb3664 | 2020-07-03 00:30:12 +0200 | [diff] [blame] | 30 | def new_per_file_state(self): |
Gilles Peskine | 6f6ff33 | 2020-06-25 16:40:10 +0200 | [diff] [blame] | 31 | """Dictionary mapping descriptions to their line number.""" |
Gilles Peskine | 78c45db | 2020-06-25 16:34:11 +0200 | [diff] [blame] | 32 | return {} |
| 33 | |
| 34 | def process_test_case(self, per_file_state, |
| 35 | file_name, line_number, description): |
Gilles Peskine | 6f6ff33 | 2020-06-25 16:40:10 +0200 | [diff] [blame] | 36 | """Check test case descriptions for errors.""" |
| 37 | results = self.results |
| 38 | seen = per_file_state |
| 39 | if description in seen: |
| 40 | results.error(file_name, line_number, |
| 41 | 'Duplicate description (also line {})', |
| 42 | seen[description]) |
| 43 | return |
| 44 | if re.search(br'[\t;]', description): |
| 45 | results.error(file_name, line_number, |
| 46 | 'Forbidden character \'{}\' in description', |
| 47 | re.search(br'[\t;]', description).group(0).decode('ascii')) |
| 48 | if re.search(br'[^ -~]', description): |
| 49 | results.error(file_name, line_number, |
| 50 | 'Non-ASCII character in description') |
| 51 | if len(description) > 66: |
| 52 | results.warning(file_name, line_number, |
| 53 | 'Test description too long ({} > 66)', |
| 54 | len(description)) |
| 55 | seen[description] = line_number |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 56 | |
| 57 | def main(): |
Gilles Peskine | 1fb7aea | 2019-12-02 14:26:04 +0100 | [diff] [blame] | 58 | parser = argparse.ArgumentParser(description=__doc__) |
Gilles Peskine | 7e09105 | 2022-01-07 15:58:55 +0100 | [diff] [blame] | 59 | parser.add_argument('--list-all', |
| 60 | action='store_true', |
| 61 | help='List all test cases, without doing checks') |
Gilles Peskine | 1fb7aea | 2019-12-02 14:26:04 +0100 | [diff] [blame] | 62 | parser.add_argument('--quiet', '-q', |
| 63 | action='store_true', |
| 64 | help='Hide warnings') |
| 65 | parser.add_argument('--verbose', '-v', |
| 66 | action='store_false', dest='quiet', |
| 67 | help='Show warnings (default: on; undoes --quiet)') |
| 68 | options = parser.parse_args() |
Gilles Peskine | 7e09105 | 2022-01-07 15:58:55 +0100 | [diff] [blame] | 69 | if options.list_all: |
Gilles Peskine | eba0097 | 2024-10-03 17:35:52 +0200 | [diff] [blame] | 70 | descriptions = collect_test_cases.collect_available_test_cases() |
Gilles Peskine | 7e09105 | 2022-01-07 15:58:55 +0100 | [diff] [blame] | 71 | sys.stdout.write('\n'.join(descriptions + [''])) |
| 72 | return |
Gilles Peskine | eba0097 | 2024-10-03 17:35:52 +0200 | [diff] [blame] | 73 | results = collect_test_cases.Results(options) |
Gilles Peskine | 78c45db | 2020-06-25 16:34:11 +0200 | [diff] [blame] | 74 | checker = DescriptionChecker(results) |
Pengyu Lv | ce980e6 | 2023-11-30 16:53:31 +0800 | [diff] [blame] | 75 | try: |
| 76 | checker.walk_all() |
Gilles Peskine | eba0097 | 2024-10-03 17:35:52 +0200 | [diff] [blame] | 77 | except collect_test_cases.ScriptOutputError as e: |
Pengyu Lv | ce980e6 | 2023-11-30 16:53:31 +0800 | [diff] [blame] | 78 | results.error(e.script_name, e.idx, |
| 79 | '"{}" should be listed as "<suite_name>;<description>"', |
| 80 | e.line) |
Gilles Peskine | 1fb7aea | 2019-12-02 14:26:04 +0100 | [diff] [blame] | 81 | if (results.warnings or results.errors) and not options.quiet: |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 82 | sys.stderr.write('{}: {} errors, {} warnings\n' |
| 83 | .format(sys.argv[0], results.errors, results.warnings)) |
| 84 | sys.exit(1 if results.errors else 0) |
| 85 | |
| 86 | if __name__ == '__main__': |
| 87 | main() |