Add bignum test case generation script #6093
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,201 @@ | ||
| """Common test generation classes and main function. | ||
|
|
||
| These are used both by generate_psa_tests.py and generate_bignum_tests.py. | ||
| """ | ||
|
|
||
| # Copyright The Mbed TLS Contributors | ||
| # SPDX-License-Identifier: Apache-2.0 | ||
| # | ||
| # Licensed under the Apache License, Version 2.0 (the "License"); you may | ||
| # not use this file except in compliance with the License. | ||
| # You may obtain a copy of the License at | ||
| # | ||
| # http://www.apache.org/licenses/LICENSE-2.0 | ||
| # | ||
| # Unless required by applicable law or agreed to in writing, software | ||
| # distributed under the License is distributed on an "AS IS" BASIS, WITHOUT | ||
| # WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | ||
| # See the License for the specific language governing permissions and | ||
| # limitations under the License. | ||
|
|
||
| import argparse | ||
| import os | ||
| import posixpath | ||
| import re | ||
|
|
||
| from abc import ABCMeta, abstractmethod | ||
| from typing import Callable, Dict, Iterable, Iterator, List, Type, TypeVar | ||
|
|
||
| from mbedtls_dev import build_tree | ||
| from mbedtls_dev import test_case | ||
|
Comment on lines
+29
to
+30
There was a problem hiding this comment. These should be relative imports. No reason to assume that Again, this is a preexisting bug which doesn't matter in our normal usage, so not a blocker. |
||
|
|
||
| T = TypeVar('T') #pylint: disable=invalid-name | ||
|
|
||
|
|
||
| class BaseTarget(metaclass=ABCMeta): | ||
| """Base target for test case generation. | ||
|
|
||
| Derive directly from this class when adding new file Targets, setting | ||
| `target_basename`. | ||
|
|
||
| Attributes: | ||
| count: Counter for test cases from this class. | ||
| case_description: Short description of the test case. This may be | ||
| automatically generated using the class, or manually set. | ||
| dependencies: A list of dependencies required for the test case. | ||
| target_basename: Basename of file to write generated tests to. This | ||
| should be specified in a child class of BaseTarget. | ||
| test_function: Test function which the class generates cases for. | ||
| test_name: A common name or description of the test function. This can | ||
| be `test_function`, a clearer equivalent, or a short summary of the | ||
| test function's purpose. | ||
| """ | ||
| count = 0 | ||
| case_description = "" | ||
| dependencies = [] # type: List[str] | ||
| target_basename = "" | ||
| test_function = "" | ||
| test_name = "" | ||
|
|
||
| def __new__(cls, *args, **kwargs): | ||
| # pylint: disable=unused-argument | ||
|
There was a problem hiding this comment. Since we are moving to metaclasses, we could consider doing something more fancy than incrementing a counter. We have two classes Methods like:
are generic IO methods which can be common for both and Or for a more lazy approach we could even have a self.subtype == "PSA_Test_Target/ BigNum_Test_Target" There was a problem hiding this comment. I don't understand why we'd want anything fancier here. Also please keep in mind that the average maintainer of this file is primarily a C programmer, and not a Python expert. There was a problem hiding this comment. This was more of a proposal as a stepping stone if we are aiming to intergrate those two into the future. Not a strong ask by any means ;) |
||
| cls.count += 1 | ||
| return super().__new__(cls) | ||
|
|
||
| @abstractmethod | ||
| def arguments(self) -> List[str]: | ||
| """Get the list of arguments for the test case. | ||
|
|
||
| Override this method to provide the list of arguments required for | ||
| the `test_function`. | ||
|
|
||
| Returns: | ||
| List of arguments required for the test function. | ||
| """ | ||
| raise NotImplementedError | ||
|
|
||
| def description(self) -> str: | ||
| """Create a test case description. | ||
|
|
||
| Creates a description of the test case, including a name for the test | ||
| function, a case number, and a description the specific test case. | ||
gilles-peskine-arm marked this conversation as resolved.
Show resolved
Hide resolved
|
||
| This should inform a reader what is being tested, and provide context | ||
| for the test case. | ||
|
|
||
| Returns: | ||
| Description for the test case. | ||
| """ | ||
| return "{} #{} {}".format( | ||
| self.test_name, self.count, self.case_description | ||
| ).strip() | ||
|
|
||
|
|
||
| def create_test_case(self) -> test_case.TestCase: | ||
| """Generate TestCase from the instance.""" | ||
| tc = test_case.TestCase() | ||
| tc.set_description(self.description()) | ||
| tc.set_function(self.test_function) | ||
| tc.set_arguments(self.arguments()) | ||
| tc.set_dependencies(self.dependencies) | ||
|
|
||
| return tc | ||
|
|
||
| @classmethod | ||
| @abstractmethod | ||
| def generate_function_tests(cls) -> Iterator[test_case.TestCase]: | ||
| """Generate test cases for the class test function. | ||
|
|
||
| This will be called in classes where `test_function` is set. | ||
| Implementations should yield TestCase objects, by creating instances | ||
| of the class with appropriate input data, and then calling | ||
| `create_test_case()` on each. | ||
| """ | ||
| raise NotImplementedError | ||
|
|
||
| @classmethod | ||
| def generate_tests(cls) -> Iterator[test_case.TestCase]: | ||
| """Generate test cases for the class and its subclasses. | ||
|
|
||
| In classes with `test_function` set, `generate_function_tests()` is | ||
| called to generate test cases first. | ||
|
|
||
| In all classes, this method will iterate over its subclasses, and | ||
| yield from `generate_tests()` in each. Calling this method on a class X | ||
| will yield test cases from all classes derived from X. | ||
| """ | ||
| if cls.test_function: | ||
| yield from cls.generate_function_tests() | ||
| for subclass in sorted(cls.__subclasses__(), key=lambda c: c.__name__): | ||
| yield from subclass.generate_tests() | ||
|
|
||
|
|
||
| class TestGenerator: | ||
| """Generate test data.""" | ||
minosgalanakis marked this conversation as resolved.
Show resolved
Hide resolved
|
||
| def __init__(self, options) -> None: | ||
| self.test_suite_directory = getattr(options, 'directory') | ||
| # Add file Targets which have been declared in other modules | ||
gilles-peskine-arm marked this conversation as resolved.
Show resolved
Hide resolved
|
||
| self.targets.update({ | ||
| subclass.target_basename: subclass.generate_tests | ||
| for subclass in BaseTarget.__subclasses__() | ||
| }) | ||
|
|
||
| def filename_for(self, basename: str) -> str: | ||
| """The location of the data file with the specified base name.""" | ||
| return posixpath.join(self.test_suite_directory, basename + '.data') | ||
|
|
||
| def write_test_data_file(self, basename: str, | ||
| test_cases: Iterable[test_case.TestCase]) -> None: | ||
| """Write the test cases to a .data file. | ||
|
|
||
| The output file is ``basename + '.data'`` in the test suite directory. | ||
| """ | ||
| filename = self.filename_for(basename) | ||
| test_case.write_data_file(filename, test_cases) | ||
|
|
||
| # Note that targets whose names contain 'test_format' have their content | ||
| # validated by `abi_check.py`. | ||
| targets = {} # type: Dict[str, Callable[..., Iterable[test_case.TestCase]]] | ||
|
|
||
| def generate_target(self, name: str, *target_args) -> None: | ||
| """Generate cases and write to data file for a target. | ||
|
There was a problem hiding this comment. Inconsistent whitepace after function describing docstring |
||
|
|
||
| For target callables which require arguments, override this function | ||
| and pass these arguments using super() (see PSATestGenerator). | ||
| """ | ||
| test_cases = self.targets[name](*target_args) | ||
| self.write_test_data_file(name, test_cases) | ||
|
|
||
| def main(args, generator_class: Type[TestGenerator] = TestGenerator): | ||
| """Command line entry point.""" | ||
| parser = argparse.ArgumentParser(description=__doc__) | ||
| parser.add_argument('--list', action='store_true', | ||
| help='List available targets and exit') | ||
| parser.add_argument('--list-for-cmake', action='store_true', | ||
| help='Print \';\'-separated list of available targets and exit') | ||
| parser.add_argument('--directory', default="tests/suites", metavar='DIR', | ||
gilles-peskine-arm marked this conversation as resolved.
Show resolved
Hide resolved
|
||
| help='Output directory (default: tests/suites)') | ||
| parser.add_argument('targets', nargs='*', metavar='TARGET', | ||
| help='Target file to generate (default: all; "-": none)') | ||
| options = parser.parse_args(args) | ||
| build_tree.chdir_to_root() | ||
| generator = generator_class(options) | ||
| if options.list: | ||
| for name in sorted(generator.targets): | ||
| print(generator.filename_for(name)) | ||
| return | ||
| # List in a cmake list format (i.e. ';'-separated) | ||
| if options.list_for_cmake: | ||
| print(';'.join(generator.filename_for(name) | ||
| for name in sorted(generator.targets)), end='') | ||
| return | ||
| if options.targets: | ||
| # Allow "-" as a special case so you can run | ||
| # ``generate_xxx_tests.py - $targets`` and it works uniformly whether | ||
| # ``$targets`` is empty or not. | ||
| options.targets = [os.path.basename(re.sub(r'\.data\Z', r'', target)) | ||
| for target in options.targets | ||
| if target != '-'] | ||
| else: | ||
| options.targets = sorted(generator.targets) | ||
| for target in options.targets: | ||
| generator.generate_target(target) | ||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I only just realized, but we already have test code generation (
tests/scripts/generate_test_code.py, turns.functionfiles into.c), so “test generation” is ambiguous: we should specify that this is test data generation. I propose (in a follow-up) to rename this module totest_data_generation.