blob: d5d7e5f0014c3c0e16274757f6f20895b85d24d8 [file] [log] [blame]
Werner Lewisdcad1e92022-08-24 11:30:03 +01001"""Common test generation classes and main function.
2
3These are used both by generate_psa_tests.py and generate_bignum_tests.py.
4"""
5
6# Copyright The Mbed TLS Contributors
7# SPDX-License-Identifier: Apache-2.0
8#
9# Licensed under the Apache License, Version 2.0 (the "License"); you may
10# not use this file except in compliance with the License.
11# You may obtain a copy of the License at
12#
13# http://www.apache.org/licenses/LICENSE-2.0
14#
15# Unless required by applicable law or agreed to in writing, software
16# distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
17# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
18# See the License for the specific language governing permissions and
19# limitations under the License.
20
21import argparse
22import os
23import posixpath
24import re
Werner Lewis008d90d2022-08-23 16:07:37 +010025
Werner Lewis47e37b32022-08-24 12:18:25 +010026from abc import ABCMeta, abstractmethod
Werner Lewisc34d0372022-08-24 12:42:00 +010027from typing import Callable, Dict, Iterable, Iterator, List, Type, TypeVar
Werner Lewisdcad1e92022-08-24 11:30:03 +010028
29from mbedtls_dev import test_case
30
31T = TypeVar('T') #pylint: disable=invalid-name
32
33
Werner Lewis47e37b32022-08-24 12:18:25 +010034class BaseTarget(metaclass=ABCMeta):
Werner Lewisdcad1e92022-08-24 11:30:03 +010035 """Base target for test case generation.
36
Werner Lewis64334d92022-09-14 16:26:54 +010037 Child classes of this class represent an output file, and can be referred
38 to as file targets. These indicate where test cases will be written to for
39 all subclasses of the file target, which is set by `target_basename`.
Werner Lewisb03420f2022-08-25 12:29:46 +010040
Werner Lewisdcad1e92022-08-24 11:30:03 +010041 Attributes:
Werner Lewis70d3f3d2022-08-23 14:21:53 +010042 count: Counter for test cases from this class.
43 case_description: Short description of the test case. This may be
44 automatically generated using the class, or manually set.
Werner Lewis486b3412022-08-31 17:01:38 +010045 dependencies: A list of dependencies required for the test case.
Werner Lewis113ddd02022-09-14 13:02:40 +010046 show_test_count: Toggle for inclusion of `count` in the test description.
Werner Lewis70d3f3d2022-08-23 14:21:53 +010047 target_basename: Basename of file to write generated tests to. This
48 should be specified in a child class of BaseTarget.
49 test_function: Test function which the class generates cases for.
50 test_name: A common name or description of the test function. This can
Werner Lewisb03420f2022-08-25 12:29:46 +010051 be `test_function`, a clearer equivalent, or a short summary of the
52 test function's purpose.
Werner Lewisdcad1e92022-08-24 11:30:03 +010053 """
54 count = 0
Werner Lewis70d3f3d2022-08-23 14:21:53 +010055 case_description = ""
Werner Lewis6cc5e5f2022-08-31 17:16:44 +010056 dependencies = [] # type: List[str]
Werner Lewis113ddd02022-09-14 13:02:40 +010057 show_test_count = True
Werner Lewis70d3f3d2022-08-23 14:21:53 +010058 target_basename = ""
59 test_function = ""
60 test_name = ""
Werner Lewisdcad1e92022-08-24 11:30:03 +010061
Werner Lewiscace1aa2022-08-24 17:04:07 +010062 def __new__(cls, *args, **kwargs):
Werner Lewis486d2582022-08-24 18:09:10 +010063 # pylint: disable=unused-argument
Werner Lewiscace1aa2022-08-24 17:04:07 +010064 cls.count += 1
65 return super().__new__(cls)
Werner Lewisdcad1e92022-08-24 11:30:03 +010066
Werner Lewis008d90d2022-08-23 16:07:37 +010067 @abstractmethod
Werner Lewis70d3f3d2022-08-23 14:21:53 +010068 def arguments(self) -> List[str]:
Werner Lewis008d90d2022-08-23 16:07:37 +010069 """Get the list of arguments for the test case.
70
71 Override this method to provide the list of arguments required for
Werner Lewisb03420f2022-08-25 12:29:46 +010072 the `test_function`.
Werner Lewis008d90d2022-08-23 16:07:37 +010073
74 Returns:
75 List of arguments required for the test function.
76 """
Werner Lewisd77d33d2022-08-25 09:56:51 +010077 raise NotImplementedError
Werner Lewisdcad1e92022-08-24 11:30:03 +010078
Werner Lewisdcad1e92022-08-24 11:30:03 +010079 def description(self) -> str:
Werner Lewisb03420f2022-08-25 12:29:46 +010080 """Create a test case description.
Werner Lewis008d90d2022-08-23 16:07:37 +010081
82 Creates a description of the test case, including a name for the test
Werner Lewis113ddd02022-09-14 13:02:40 +010083 function, an optional case count, and a description of the specific
84 test case. This should inform a reader what is being tested, and
85 provide context for the test case.
Werner Lewis008d90d2022-08-23 16:07:37 +010086
87 Returns:
88 Description for the test case.
89 """
Werner Lewis113ddd02022-09-14 13:02:40 +010090 if self.show_test_count:
91 return "{} #{} {}".format(
92 self.test_name, self.count, self.case_description
93 ).strip()
94 else:
95 return "{} {}".format(self.test_name, self.case_description).strip()
Werner Lewisdcad1e92022-08-24 11:30:03 +010096
Werner Lewis008d90d2022-08-23 16:07:37 +010097
Werner Lewisdcad1e92022-08-24 11:30:03 +010098 def create_test_case(self) -> test_case.TestCase:
Werner Lewisb03420f2022-08-25 12:29:46 +010099 """Generate TestCase from the instance."""
Werner Lewisdcad1e92022-08-24 11:30:03 +0100100 tc = test_case.TestCase()
Werner Lewis70d3f3d2022-08-23 14:21:53 +0100101 tc.set_description(self.description())
102 tc.set_function(self.test_function)
103 tc.set_arguments(self.arguments())
Werner Lewis486b3412022-08-31 17:01:38 +0100104 tc.set_dependencies(self.dependencies)
Werner Lewisdcad1e92022-08-24 11:30:03 +0100105
106 return tc
107
108 @classmethod
Werner Lewisc34d0372022-08-24 12:42:00 +0100109 @abstractmethod
110 def generate_function_tests(cls) -> Iterator[test_case.TestCase]:
Werner Lewisb03420f2022-08-25 12:29:46 +0100111 """Generate test cases for the class test function.
Werner Lewis008d90d2022-08-23 16:07:37 +0100112
Werner Lewisc34d0372022-08-24 12:42:00 +0100113 This will be called in classes where `test_function` is set.
114 Implementations should yield TestCase objects, by creating instances
115 of the class with appropriate input data, and then calling
116 `create_test_case()` on each.
Werner Lewis008d90d2022-08-23 16:07:37 +0100117 """
Werner Lewisd77d33d2022-08-25 09:56:51 +0100118 raise NotImplementedError
Werner Lewisc34d0372022-08-24 12:42:00 +0100119
120 @classmethod
121 def generate_tests(cls) -> Iterator[test_case.TestCase]:
122 """Generate test cases for the class and its subclasses.
123
124 In classes with `test_function` set, `generate_function_tests()` is
Werner Lewis2b0f7d82022-08-25 16:27:05 +0100125 called to generate test cases first.
Werner Lewisc34d0372022-08-24 12:42:00 +0100126
Werner Lewisb03420f2022-08-25 12:29:46 +0100127 In all classes, this method will iterate over its subclasses, and
128 yield from `generate_tests()` in each. Calling this method on a class X
129 will yield test cases from all classes derived from X.
Werner Lewisc34d0372022-08-24 12:42:00 +0100130 """
131 if cls.test_function:
132 yield from cls.generate_function_tests()
Werner Lewisdcad1e92022-08-24 11:30:03 +0100133 for subclass in sorted(cls.__subclasses__(), key=lambda c: c.__name__):
134 yield from subclass.generate_tests()
135
136
137class TestGenerator:
Werner Lewisf5182762022-09-14 12:59:32 +0100138 """Generate test cases and write to data files."""
Werner Lewisdcad1e92022-08-24 11:30:03 +0100139 def __init__(self, options) -> None:
140 self.test_suite_directory = self.get_option(options, 'directory',
141 'tests/suites')
Werner Lewisf5182762022-09-14 12:59:32 +0100142 # Update `targets` with an entry for each child class of BaseTarget.
143 # Each entry represents a file generated by the BaseTarget framework,
144 # and enables generating the .data files using the CLI.
Werner Lewis0d07e862022-09-02 11:56:34 +0100145 self.targets.update({
146 subclass.target_basename: subclass.generate_tests
147 for subclass in BaseTarget.__subclasses__()
148 })
Werner Lewisdcad1e92022-08-24 11:30:03 +0100149
150 @staticmethod
151 def get_option(options, name: str, default: T) -> T:
152 value = getattr(options, name, None)
153 return default if value is None else value
154
155 def filename_for(self, basename: str) -> str:
156 """The location of the data file with the specified base name."""
157 return posixpath.join(self.test_suite_directory, basename + '.data')
158
159 def write_test_data_file(self, basename: str,
160 test_cases: Iterable[test_case.TestCase]) -> None:
161 """Write the test cases to a .data file.
162
163 The output file is ``basename + '.data'`` in the test suite directory.
164 """
165 filename = self.filename_for(basename)
166 test_case.write_data_file(filename, test_cases)
167
168 # Note that targets whose names contain 'test_format' have their content
169 # validated by `abi_check.py`.
Werner Lewis0d07e862022-09-02 11:56:34 +0100170 targets = {} # type: Dict[str, Callable[..., Iterable[test_case.TestCase]]]
Werner Lewisdcad1e92022-08-24 11:30:03 +0100171
172 def generate_target(self, name: str, *target_args) -> None:
173 """Generate cases and write to data file for a target.
174
175 For target callables which require arguments, override this function
176 and pass these arguments using super() (see PSATestGenerator).
177 """
Werner Lewis0d07e862022-09-02 11:56:34 +0100178 test_cases = self.targets[name](*target_args)
Werner Lewisdcad1e92022-08-24 11:30:03 +0100179 self.write_test_data_file(name, test_cases)
180
181def main(args, generator_class: Type[TestGenerator] = TestGenerator):
182 """Command line entry point."""
183 parser = argparse.ArgumentParser(description=__doc__)
184 parser.add_argument('--list', action='store_true',
185 help='List available targets and exit')
186 parser.add_argument('targets', nargs='*', metavar='TARGET',
187 help='Target file to generate (default: all; "-": none)')
188 options = parser.parse_args(args)
189 generator = generator_class(options)
190 if options.list:
Werner Lewis0d07e862022-09-02 11:56:34 +0100191 for name in sorted(generator.targets):
Werner Lewisdcad1e92022-08-24 11:30:03 +0100192 print(generator.filename_for(name))
193 return
Werner Lewis0d07e862022-09-02 11:56:34 +0100194 if options.targets:
195 # Allow "-" as a special case so you can run
196 # ``generate_xxx_tests.py - $targets`` and it works uniformly whether
197 # ``$targets`` is empty or not.
198 options.targets = [os.path.basename(re.sub(r'\.data\Z', r'', target))
Werner Lewise53be352022-09-02 12:57:37 +0100199 for target in options.targets
200 if target != '-']
Werner Lewis0d07e862022-09-02 11:56:34 +0100201 else:
202 options.targets = sorted(generator.targets)
Werner Lewisdcad1e92022-08-24 11:30:03 +0100203 for target in options.targets:
204 generator.generate_target(target)