mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2025-02-04 15:39:53 +00:00
Separate common test generation classes/functions
Signed-off-by: Werner Lewis <werner.lewis@arm.com>
This commit is contained in:
parent
383461c92f
commit
fbb75e3fc5
149
scripts/mbedtls_dev/test_generation.py
Normal file
149
scripts/mbedtls_dev/test_generation.py
Normal file
@ -0,0 +1,149 @@
|
|||||||
|
#!/usr/bin/env python3
|
||||||
|
"""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 typing import Callable, Dict, Iterable, List, Type, TypeVar
|
||||||
|
|
||||||
|
from mbedtls_dev import build_tree
|
||||||
|
from mbedtls_dev import test_case
|
||||||
|
|
||||||
|
T = TypeVar('T') #pylint: disable=invalid-name
|
||||||
|
|
||||||
|
|
||||||
|
class BaseTarget:
|
||||||
|
"""Base target for test case generation.
|
||||||
|
|
||||||
|
Attributes:
|
||||||
|
count: Counter for test class.
|
||||||
|
desc: Short description of test case.
|
||||||
|
func: Function which the class generates tests for.
|
||||||
|
gen_file: File to write generated tests to.
|
||||||
|
title: Description of the test function/purpose.
|
||||||
|
"""
|
||||||
|
count = 0
|
||||||
|
desc = ""
|
||||||
|
func = ""
|
||||||
|
gen_file = ""
|
||||||
|
title = ""
|
||||||
|
|
||||||
|
def __init__(self) -> None:
|
||||||
|
type(self).count += 1
|
||||||
|
|
||||||
|
@property
|
||||||
|
def args(self) -> List[str]:
|
||||||
|
"""Create list of arguments for test case."""
|
||||||
|
return []
|
||||||
|
|
||||||
|
@property
|
||||||
|
def description(self) -> str:
|
||||||
|
"""Create a numbered test description."""
|
||||||
|
return "{} #{} {}".format(self.title, self.count, self.desc)
|
||||||
|
|
||||||
|
def create_test_case(self) -> test_case.TestCase:
|
||||||
|
"""Generate test case from the current object."""
|
||||||
|
tc = test_case.TestCase()
|
||||||
|
tc.set_description(self.description)
|
||||||
|
tc.set_function(self.func)
|
||||||
|
tc.set_arguments(self.args)
|
||||||
|
|
||||||
|
return tc
|
||||||
|
|
||||||
|
@classmethod
|
||||||
|
def generate_tests(cls):
|
||||||
|
"""Generate test cases for the target subclasses."""
|
||||||
|
for subclass in sorted(cls.__subclasses__(), key=lambda c: c.__name__):
|
||||||
|
yield from subclass.generate_tests()
|
||||||
|
|
||||||
|
|
||||||
|
class TestGenerator:
|
||||||
|
"""Generate test data."""
|
||||||
|
def __init__(self, options) -> None:
|
||||||
|
self.test_suite_directory = self.get_option(options, 'directory',
|
||||||
|
'tests/suites')
|
||||||
|
|
||||||
|
@staticmethod
|
||||||
|
def get_option(options, name: str, default: T) -> T:
|
||||||
|
value = getattr(options, name, None)
|
||||||
|
return default if value is None else value
|
||||||
|
|
||||||
|
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[..., test_case.TestCase]]
|
||||||
|
|
||||||
|
def generate_target(self, name: str, *target_args) -> None:
|
||||||
|
"""Generate cases and write to data file for a target.
|
||||||
|
|
||||||
|
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', metavar='DIR',
|
||||||
|
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)
|
@ -20,17 +20,13 @@ generate only the specified files.
|
|||||||
# See the License for the specific language governing permissions and
|
# See the License for the specific language governing permissions and
|
||||||
# limitations under the License.
|
# limitations under the License.
|
||||||
|
|
||||||
import argparse
|
|
||||||
import itertools
|
import itertools
|
||||||
import os
|
|
||||||
import posixpath
|
|
||||||
import re
|
|
||||||
import sys
|
import sys
|
||||||
from typing import Iterable, Iterator, List, Optional, Tuple, TypeVar
|
from typing import Callable, Dict, Iterator, List, Optional, Tuple, TypeVar
|
||||||
|
|
||||||
import scripts_path # pylint: disable=unused-import
|
import scripts_path # pylint: disable=unused-import
|
||||||
from mbedtls_dev import build_tree
|
|
||||||
from mbedtls_dev import test_case
|
from mbedtls_dev import test_case
|
||||||
|
from mbedtls_dev import test_generation
|
||||||
|
|
||||||
T = TypeVar('T') #pylint: disable=invalid-name
|
T = TypeVar('T') #pylint: disable=invalid-name
|
||||||
|
|
||||||
@ -41,52 +37,7 @@ def quote_str(val):
|
|||||||
return "\"{}\"".format(val)
|
return "\"{}\"".format(val)
|
||||||
|
|
||||||
|
|
||||||
class BaseTarget:
|
class BignumTarget(test_generation.BaseTarget):
|
||||||
"""Base target for test case generation.
|
|
||||||
|
|
||||||
Attributes:
|
|
||||||
count: Counter for test class.
|
|
||||||
desc: Short description of test case.
|
|
||||||
func: Function which the class generates tests for.
|
|
||||||
gen_file: File to write generated tests to.
|
|
||||||
title: Description of the test function/purpose.
|
|
||||||
"""
|
|
||||||
count = 0
|
|
||||||
desc = ""
|
|
||||||
func = ""
|
|
||||||
gen_file = ""
|
|
||||||
title = ""
|
|
||||||
|
|
||||||
def __init__(self) -> None:
|
|
||||||
type(self).count += 1
|
|
||||||
|
|
||||||
@property
|
|
||||||
def args(self) -> List[str]:
|
|
||||||
"""Create list of arguments for test case."""
|
|
||||||
return []
|
|
||||||
|
|
||||||
@property
|
|
||||||
def description(self) -> str:
|
|
||||||
"""Create a numbered test description."""
|
|
||||||
return "{} #{} {}".format(self.title, self.count, self.desc)
|
|
||||||
|
|
||||||
def create_test_case(self) -> test_case.TestCase:
|
|
||||||
"""Generate test case from the current object."""
|
|
||||||
tc = test_case.TestCase()
|
|
||||||
tc.set_description(self.description)
|
|
||||||
tc.set_function(self.func)
|
|
||||||
tc.set_arguments(self.args)
|
|
||||||
|
|
||||||
return tc
|
|
||||||
|
|
||||||
@classmethod
|
|
||||||
def generate_tests(cls):
|
|
||||||
"""Generate test cases for the target subclasses."""
|
|
||||||
for subclass in sorted(cls.__subclasses__(), key=lambda c: c.__name__):
|
|
||||||
yield from subclass.generate_tests()
|
|
||||||
|
|
||||||
|
|
||||||
class BignumTarget(BaseTarget):
|
|
||||||
"""Target for bignum (mpi) test case generation."""
|
"""Target for bignum (mpi) test case generation."""
|
||||||
gen_file = 'test_suite_mpi.generated'
|
gen_file = 'test_suite_mpi.generated'
|
||||||
|
|
||||||
@ -224,76 +175,12 @@ class BignumAdd(BignumOperation):
|
|||||||
return quote_str(hex(self.int_l + self.int_r).replace("0x", "", 1))
|
return quote_str(hex(self.int_l + self.int_r).replace("0x", "", 1))
|
||||||
|
|
||||||
|
|
||||||
class TestGenerator:
|
class BignumTestGenerator(test_generation.TestGenerator):
|
||||||
"""Generate test data."""
|
"""Test generator subclass including bignum targets."""
|
||||||
|
|
||||||
def __init__(self, options) -> None:
|
|
||||||
self.test_suite_directory = self.get_option(options, 'directory',
|
|
||||||
'tests/suites')
|
|
||||||
|
|
||||||
@staticmethod
|
|
||||||
def get_option(options, name: str, default: T) -> T:
|
|
||||||
value = getattr(options, name, None)
|
|
||||||
return default if value is None else value
|
|
||||||
|
|
||||||
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 = {
|
TARGETS = {
|
||||||
subclass.gen_file: subclass.generate_tests for subclass in
|
subclass.gen_file: subclass.generate_tests for subclass in
|
||||||
BaseTarget.__subclasses__()
|
test_generation.BaseTarget.__subclasses__()
|
||||||
}
|
} # type: Dict[str, Callable[[], test_case.TestCase]]
|
||||||
|
|
||||||
def generate_target(self, name: str) -> None:
|
|
||||||
test_cases = self.TARGETS[name]()
|
|
||||||
self.write_test_data_file(name, test_cases)
|
|
||||||
|
|
||||||
def main(args):
|
|
||||||
"""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', metavar='DIR',
|
|
||||||
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 = TestGenerator(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_bignum_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)
|
|
||||||
|
|
||||||
if __name__ == '__main__':
|
if __name__ == '__main__':
|
||||||
main(sys.argv[1:])
|
test_generation.main(sys.argv[1:], BignumTestGenerator)
|
||||||
|
@ -20,22 +20,17 @@ generate only the specified files.
|
|||||||
# See the License for the specific language governing permissions and
|
# See the License for the specific language governing permissions and
|
||||||
# limitations under the License.
|
# limitations under the License.
|
||||||
|
|
||||||
import argparse
|
|
||||||
import enum
|
import enum
|
||||||
import os
|
|
||||||
import posixpath
|
|
||||||
import re
|
import re
|
||||||
import sys
|
import sys
|
||||||
from typing import Callable, Dict, FrozenSet, Iterable, Iterator, List, Optional, TypeVar
|
from typing import Callable, Dict, FrozenSet, Iterable, Iterator, List, Optional
|
||||||
|
|
||||||
import scripts_path # pylint: disable=unused-import
|
import scripts_path # pylint: disable=unused-import
|
||||||
from mbedtls_dev import build_tree
|
|
||||||
from mbedtls_dev import crypto_knowledge
|
from mbedtls_dev import crypto_knowledge
|
||||||
from mbedtls_dev import macro_collector
|
from mbedtls_dev import macro_collector
|
||||||
from mbedtls_dev import psa_storage
|
from mbedtls_dev import psa_storage
|
||||||
from mbedtls_dev import test_case
|
from mbedtls_dev import test_case
|
||||||
|
from mbedtls_dev import test_generation
|
||||||
T = TypeVar('T') #pylint: disable=invalid-name
|
|
||||||
|
|
||||||
|
|
||||||
def psa_want_symbol(name: str) -> str:
|
def psa_want_symbol(name: str) -> str:
|
||||||
@ -897,32 +892,8 @@ class StorageFormatV0(StorageFormat):
|
|||||||
yield from super().generate_all_keys()
|
yield from super().generate_all_keys()
|
||||||
yield from self.all_keys_for_implicit_usage()
|
yield from self.all_keys_for_implicit_usage()
|
||||||
|
|
||||||
class TestGenerator:
|
class PSATestGenerator(test_generation.TestGenerator):
|
||||||
"""Generate test data."""
|
"""Test generator subclass including PSA targets and info."""
|
||||||
|
|
||||||
def __init__(self, options) -> None:
|
|
||||||
self.test_suite_directory = self.get_option(options, 'directory',
|
|
||||||
'tests/suites')
|
|
||||||
self.info = Information()
|
|
||||||
|
|
||||||
@staticmethod
|
|
||||||
def get_option(options, name: str, default: T) -> T:
|
|
||||||
value = getattr(options, name, None)
|
|
||||||
return default if value is None else value
|
|
||||||
|
|
||||||
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
|
# Note that targets whose names contain 'test_format' have their content
|
||||||
# validated by `abi_check.py`.
|
# validated by `abi_check.py`.
|
||||||
TARGETS = {
|
TARGETS = {
|
||||||
@ -938,44 +909,12 @@ class TestGenerator:
|
|||||||
lambda info: StorageFormatV0(info).all_test_cases(),
|
lambda info: StorageFormatV0(info).all_test_cases(),
|
||||||
} #type: Dict[str, Callable[[Information], Iterable[test_case.TestCase]]]
|
} #type: Dict[str, Callable[[Information], Iterable[test_case.TestCase]]]
|
||||||
|
|
||||||
def generate_target(self, name: str) -> None:
|
def __init__(self, options):
|
||||||
test_cases = self.TARGETS[name](self.info)
|
super().__init__(options)
|
||||||
self.write_test_data_file(name, test_cases)
|
self.info = Information()
|
||||||
|
|
||||||
def main(args):
|
def generate_target(self, name: str, *target_args) -> None:
|
||||||
"""Command line entry point."""
|
super().generate_target(name, self.info)
|
||||||
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', metavar='DIR',
|
|
||||||
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 = TestGenerator(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_psa_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)
|
|
||||||
|
|
||||||
if __name__ == '__main__':
|
if __name__ == '__main__':
|
||||||
main(sys.argv[1:])
|
test_generation.main(sys.argv[1:], PSATestGenerator)
|
||||||
|
Loading…
x
Reference in New Issue
Block a user