blob: a84f7dd2f09605f629ddd217393ed46b82f90a5c [file] [log] [blame]
Gilles Peskine04904252022-09-16 22:02:37 +02001"""Common code for test data generation.
2
3This module defines classes that are of general use to automatically
4generate .data files for unit tests, as well as a main function.
Werner Lewisfbb75e32022-08-24 11:30:03 +01005
6These are used both by generate_psa_tests.py and generate_bignum_tests.py.
7"""
8
9# Copyright The Mbed TLS Contributors
Dave Rodgman16799db2023-11-02 19:47:20 +000010# SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Werner Lewisfbb75e32022-08-24 11:30:03 +010011#
Werner Lewisfbb75e32022-08-24 11:30:03 +010012
13import argparse
14import os
15import posixpath
16import re
Janos Follath0cd89672022-11-09 12:14:14 +000017import inspect
Werner Lewis169034a2022-08-23 16:07:37 +010018
Werner Lewis699e1262022-08-24 12:18:25 +010019from abc import ABCMeta, abstractmethod
Werner Lewis2b527a32022-08-24 12:42:00 +010020from typing import Callable, Dict, Iterable, Iterator, List, Type, TypeVar
Werner Lewisfbb75e32022-08-24 11:30:03 +010021
Gilles Peskine15997bd2022-09-16 22:35:18 +020022from . import build_tree
23from . import test_case
Werner Lewisfbb75e32022-08-24 11:30:03 +010024
25T = TypeVar('T') #pylint: disable=invalid-name
26
27
Janos Follath0cd89672022-11-09 12:14:14 +000028class BaseTest(metaclass=ABCMeta):
29 """Base class for test case generation.
Werner Lewis6ef54362022-08-25 12:29:46 +010030
Werner Lewisfbb75e32022-08-24 11:30:03 +010031 Attributes:
Werner Lewis55e638c2022-08-23 14:21:53 +010032 count: Counter for test cases from this class.
33 case_description: Short description of the test case. This may be
34 automatically generated using the class, or manually set.
Werner Lewis466f0362022-08-31 17:01:38 +010035 dependencies: A list of dependencies required for the test case.
Werner Lewis858cffd2022-09-14 13:02:40 +010036 show_test_count: Toggle for inclusion of `count` in the test description.
Werner Lewis55e638c2022-08-23 14:21:53 +010037 test_function: Test function which the class generates cases for.
38 test_name: A common name or description of the test function. This can
Werner Lewis6ef54362022-08-25 12:29:46 +010039 be `test_function`, a clearer equivalent, or a short summary of the
40 test function's purpose.
Werner Lewisfbb75e32022-08-24 11:30:03 +010041 """
42 count = 0
Werner Lewis55e638c2022-08-23 14:21:53 +010043 case_description = ""
Werner Lewisaaf3b792022-08-31 17:16:44 +010044 dependencies = [] # type: List[str]
Werner Lewis858cffd2022-09-14 13:02:40 +010045 show_test_count = True
Werner Lewis55e638c2022-08-23 14:21:53 +010046 test_function = ""
47 test_name = ""
Werner Lewisfbb75e32022-08-24 11:30:03 +010048
Werner Lewiscfd47682022-08-24 17:04:07 +010049 def __new__(cls, *args, **kwargs):
Werner Lewisa195ce72022-08-24 18:09:10 +010050 # pylint: disable=unused-argument
Werner Lewiscfd47682022-08-24 17:04:07 +010051 cls.count += 1
52 return super().__new__(cls)
Werner Lewisfbb75e32022-08-24 11:30:03 +010053
Werner Lewis169034a2022-08-23 16:07:37 +010054 @abstractmethod
Werner Lewis55e638c2022-08-23 14:21:53 +010055 def arguments(self) -> List[str]:
Werner Lewis169034a2022-08-23 16:07:37 +010056 """Get the list of arguments for the test case.
57
58 Override this method to provide the list of arguments required for
Werner Lewis6ef54362022-08-25 12:29:46 +010059 the `test_function`.
Werner Lewis169034a2022-08-23 16:07:37 +010060
61 Returns:
62 List of arguments required for the test function.
63 """
Werner Lewis6d654c62022-08-25 09:56:51 +010064 raise NotImplementedError
Werner Lewisfbb75e32022-08-24 11:30:03 +010065
Werner Lewisfbb75e32022-08-24 11:30:03 +010066 def description(self) -> str:
Werner Lewis6ef54362022-08-25 12:29:46 +010067 """Create a test case description.
Werner Lewis169034a2022-08-23 16:07:37 +010068
69 Creates a description of the test case, including a name for the test
Werner Lewis858cffd2022-09-14 13:02:40 +010070 function, an optional case count, and a description of the specific
71 test case. This should inform a reader what is being tested, and
72 provide context for the test case.
Werner Lewis169034a2022-08-23 16:07:37 +010073
74 Returns:
75 Description for the test case.
76 """
Werner Lewis858cffd2022-09-14 13:02:40 +010077 if self.show_test_count:
78 return "{} #{} {}".format(
79 self.test_name, self.count, self.case_description
80 ).strip()
81 else:
82 return "{} {}".format(self.test_name, self.case_description).strip()
Werner Lewisfbb75e32022-08-24 11:30:03 +010083
Werner Lewis169034a2022-08-23 16:07:37 +010084
Werner Lewisfbb75e32022-08-24 11:30:03 +010085 def create_test_case(self) -> test_case.TestCase:
Werner Lewis6ef54362022-08-25 12:29:46 +010086 """Generate TestCase from the instance."""
Werner Lewisfbb75e32022-08-24 11:30:03 +010087 tc = test_case.TestCase()
Werner Lewis55e638c2022-08-23 14:21:53 +010088 tc.set_description(self.description())
89 tc.set_function(self.test_function)
90 tc.set_arguments(self.arguments())
Werner Lewis466f0362022-08-31 17:01:38 +010091 tc.set_dependencies(self.dependencies)
Werner Lewisfbb75e32022-08-24 11:30:03 +010092
93 return tc
94
95 @classmethod
Werner Lewis2b527a32022-08-24 12:42:00 +010096 @abstractmethod
97 def generate_function_tests(cls) -> Iterator[test_case.TestCase]:
Werner Lewis6ef54362022-08-25 12:29:46 +010098 """Generate test cases for the class test function.
Werner Lewis169034a2022-08-23 16:07:37 +010099
Werner Lewis2b527a32022-08-24 12:42:00 +0100100 This will be called in classes where `test_function` is set.
101 Implementations should yield TestCase objects, by creating instances
102 of the class with appropriate input data, and then calling
103 `create_test_case()` on each.
Werner Lewis169034a2022-08-23 16:07:37 +0100104 """
Werner Lewis6d654c62022-08-25 09:56:51 +0100105 raise NotImplementedError
Werner Lewis2b527a32022-08-24 12:42:00 +0100106
Janos Follath0cd89672022-11-09 12:14:14 +0000107
108class BaseTarget:
Janos Follath351e6882022-11-09 16:04:41 +0000109 #pylint: disable=too-few-public-methods
Janos Follath0cd89672022-11-09 12:14:14 +0000110 """Base target for test case generation.
111
112 Child classes of this class represent an output file, and can be referred
113 to as file targets. These indicate where test cases will be written to for
114 all subclasses of the file target, which is set by `target_basename`.
115
116 Attributes:
117 target_basename: Basename of file to write generated tests to. This
118 should be specified in a child class of BaseTarget.
119 """
120 target_basename = ""
121
Werner Lewis2b527a32022-08-24 12:42:00 +0100122 @classmethod
123 def generate_tests(cls) -> Iterator[test_case.TestCase]:
124 """Generate test cases for the class and its subclasses.
125
126 In classes with `test_function` set, `generate_function_tests()` is
Werner Lewis81f24442022-08-25 16:27:05 +0100127 called to generate test cases first.
Werner Lewis2b527a32022-08-24 12:42:00 +0100128
Werner Lewis6ef54362022-08-25 12:29:46 +0100129 In all classes, this method will iterate over its subclasses, and
130 yield from `generate_tests()` in each. Calling this method on a class X
131 will yield test cases from all classes derived from X.
Werner Lewis2b527a32022-08-24 12:42:00 +0100132 """
Janos Follath0cd89672022-11-09 12:14:14 +0000133 if issubclass(cls, BaseTest) and not inspect.isabstract(cls):
Janos Follath351e6882022-11-09 16:04:41 +0000134 #pylint: disable=no-member
Werner Lewis2b527a32022-08-24 12:42:00 +0100135 yield from cls.generate_function_tests()
Werner Lewisfbb75e32022-08-24 11:30:03 +0100136 for subclass in sorted(cls.__subclasses__(), key=lambda c: c.__name__):
137 yield from subclass.generate_tests()
138
139
140class TestGenerator:
Werner Lewis34d6d3e2022-09-14 12:59:32 +0100141 """Generate test cases and write to data files."""
Werner Lewisfbb75e32022-08-24 11:30:03 +0100142 def __init__(self, options) -> None:
Gilles Peskine7b3fa652022-09-16 22:22:53 +0200143 self.test_suite_directory = options.directory
Werner Lewis34d6d3e2022-09-14 12:59:32 +0100144 # Update `targets` with an entry for each child class of BaseTarget.
145 # Each entry represents a file generated by the BaseTarget framework,
146 # and enables generating the .data files using the CLI.
Werner Lewisa4668a62022-09-02 11:56:34 +0100147 self.targets.update({
148 subclass.target_basename: subclass.generate_tests
149 for subclass in BaseTarget.__subclasses__()
Werner Lewis99e81782022-09-30 16:28:43 +0100150 if subclass.target_basename
Werner Lewisa4668a62022-09-02 11:56:34 +0100151 })
Werner Lewisfbb75e32022-08-24 11:30:03 +0100152
153 def filename_for(self, basename: str) -> str:
154 """The location of the data file with the specified base name."""
155 return posixpath.join(self.test_suite_directory, basename + '.data')
156
157 def write_test_data_file(self, basename: str,
158 test_cases: Iterable[test_case.TestCase]) -> None:
159 """Write the test cases to a .data file.
160
161 The output file is ``basename + '.data'`` in the test suite directory.
162 """
163 filename = self.filename_for(basename)
164 test_case.write_data_file(filename, test_cases)
165
166 # Note that targets whose names contain 'test_format' have their content
167 # validated by `abi_check.py`.
Werner Lewisa4668a62022-09-02 11:56:34 +0100168 targets = {} # type: Dict[str, Callable[..., Iterable[test_case.TestCase]]]
Werner Lewisfbb75e32022-08-24 11:30:03 +0100169
170 def generate_target(self, name: str, *target_args) -> None:
171 """Generate cases and write to data file for a target.
172
173 For target callables which require arguments, override this function
174 and pass these arguments using super() (see PSATestGenerator).
175 """
Werner Lewisa4668a62022-09-02 11:56:34 +0100176 test_cases = self.targets[name](*target_args)
Werner Lewisfbb75e32022-08-24 11:30:03 +0100177 self.write_test_data_file(name, test_cases)
178
Werner Lewisc2fb5402022-09-16 17:03:54 +0100179def main(args, description: str, generator_class: Type[TestGenerator] = TestGenerator):
Werner Lewisfbb75e32022-08-24 11:30:03 +0100180 """Command line entry point."""
Werner Lewisc2fb5402022-09-16 17:03:54 +0100181 parser = argparse.ArgumentParser(description=description)
Werner Lewisfbb75e32022-08-24 11:30:03 +0100182 parser.add_argument('--list', action='store_true',
183 help='List available targets and exit')
184 parser.add_argument('--list-for-cmake', action='store_true',
185 help='Print \';\'-separated list of available targets and exit')
Gilles Peskine7b3fa652022-09-16 22:22:53 +0200186 # If specified explicitly, this option may be a path relative to the
187 # current directory when the script is invoked. The default value
188 # is relative to the mbedtls root, which we don't know yet. So we
189 # can't set a string as the default value here.
Werner Lewis00d02422022-09-14 13:39:20 +0100190 parser.add_argument('--directory', metavar='DIR',
Werner Lewisfbb75e32022-08-24 11:30:03 +0100191 help='Output directory (default: tests/suites)')
192 parser.add_argument('targets', nargs='*', metavar='TARGET',
193 help='Target file to generate (default: all; "-": none)')
194 options = parser.parse_args(args)
Gilles Peskine7b3fa652022-09-16 22:22:53 +0200195
196 # Change to the mbedtls root, to keep things simple. But first, adjust
197 # command line options that might be relative paths.
198 if options.directory is None:
199 options.directory = 'tests/suites'
200 else:
201 options.directory = os.path.abspath(options.directory)
Werner Lewisfbb75e32022-08-24 11:30:03 +0100202 build_tree.chdir_to_root()
Gilles Peskine7b3fa652022-09-16 22:22:53 +0200203
Werner Lewisfbb75e32022-08-24 11:30:03 +0100204 generator = generator_class(options)
205 if options.list:
Werner Lewisa4668a62022-09-02 11:56:34 +0100206 for name in sorted(generator.targets):
Werner Lewisfbb75e32022-08-24 11:30:03 +0100207 print(generator.filename_for(name))
208 return
209 # List in a cmake list format (i.e. ';'-separated)
210 if options.list_for_cmake:
211 print(';'.join(generator.filename_for(name)
Werner Lewisa4668a62022-09-02 11:56:34 +0100212 for name in sorted(generator.targets)), end='')
Werner Lewisfbb75e32022-08-24 11:30:03 +0100213 return
Werner Lewisa4668a62022-09-02 11:56:34 +0100214 if options.targets:
215 # Allow "-" as a special case so you can run
216 # ``generate_xxx_tests.py - $targets`` and it works uniformly whether
217 # ``$targets`` is empty or not.
218 options.targets = [os.path.basename(re.sub(r'\.data\Z', r'', target))
Werner Lewis56013082022-09-02 12:57:37 +0100219 for target in options.targets
220 if target != '-']
Werner Lewisa4668a62022-09-02 11:56:34 +0100221 else:
222 options.targets = sorted(generator.targets)
Werner Lewisfbb75e32022-08-24 11:30:03 +0100223 for target in options.targets:
224 generator.generate_target(target)