123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146 |
- #!/usr/bin/env python3
- """Run the PSA Cryto API compliance test suite.
- Clone the repo and check out the commit specified by PSA_ARCH_TEST_REPO and PSA_ARCH_TEST_REF,
- then complie and run the test suite. The clone is stored at <Mbed TLS root>/psa-arch-tests.
- Known defects in either the test suite or mbedtls - identified by their test number - are ignored,
- while unexpected failures AND successes are reported as errors,
- to help keep the list of known defects as up to date as possible.
- """
- # 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 os
- import re
- import shutil
- import subprocess
- import sys
- # PSA Compliance tests we expect to fail due to known defects in Mbed TLS (or the test suite)
- # The test numbers correspond to the numbers used by the console output of the test suite.
- # Test number 2xx corresponds to the files in the folder
- # psa-arch-tests/api-tests/dev_apis/crypto/test_c0xx
- EXPECTED_FAILURES = {
- # Multipart AEAD is not supported in Mbed TLS 2.x.
- 252, 253, 254, 255, 256, 257, 258, 259, 260, 261,
- # psa_hash_suspend() and psa_hash_resume() are not supported.
- # - Tracked in issue #3274
- 262, 263
- }
- # We currently use a fork of ARM-software/psa-arch-tests, with a couple of downstream patches
- # that allow it to build with Mbed TLS 2, and fixes a couple of issues in the compliance test suite.
- # These fixes allow the tests numbered 216, 248 and 249 to complete successfully.
- #
- # Once all the fixes are upstreamed, this fork should be replaced with an upstream commit/tag.
- # - Tracked in issue #5145
- #
- # Web URL: https://github.com/bensze01/psa-arch-tests/tree/fixes-for-mbedtls-2
- PSA_ARCH_TESTS_REPO = 'https://github.com/bensze01/psa-arch-tests.git'
- PSA_ARCH_TESTS_REF = 'fixes-for-mbedtls-2'
- #pylint: disable=too-many-branches,too-many-statements
- def main():
- mbedtls_dir = os.getcwd()
- if not os.path.exists('library/libmbedcrypto.a'):
- subprocess.check_call(['make', '-C', 'library', 'libmbedcrypto.a'])
- psa_arch_tests_dir = 'psa-arch-tests'
- os.makedirs(psa_arch_tests_dir, exist_ok=True)
- try:
- os.chdir(psa_arch_tests_dir)
- # Reuse existing local clone
- subprocess.check_call(['git', 'init'])
- subprocess.check_call(['git', 'fetch', PSA_ARCH_TESTS_REPO, PSA_ARCH_TESTS_REF])
- subprocess.check_call(['git', 'checkout', 'FETCH_HEAD'])
- build_dir = 'api-tests/build'
- try:
- shutil.rmtree(build_dir)
- except FileNotFoundError:
- pass
- os.mkdir(build_dir)
- os.chdir(build_dir)
- #pylint: disable=bad-continuation
- subprocess.check_call([
- 'cmake', '..',
- '-GUnix Makefiles',
- '-DTARGET=tgt_dev_apis_stdc',
- '-DTOOLCHAIN=HOST_GCC',
- '-DSUITE=CRYPTO',
- '-DMISSING_CRYPTO_1_0=1',
- '-DPSA_CRYPTO_LIB_FILENAME={}/library/libmbedcrypto.a'.format(mbedtls_dir),
- '-DPSA_INCLUDE_PATHS={}/include'.format(mbedtls_dir)
- ])
- subprocess.check_call(['cmake', '--build', '.'])
- proc = subprocess.Popen(['./psa-arch-tests-crypto'],
- bufsize=1, stdout=subprocess.PIPE, universal_newlines=True)
- test_re = re.compile(
- '^TEST: (?P<test_num>[0-9]*)|'
- '^TEST RESULT: (?P<test_result>FAILED|PASSED)'
- )
- test = -1
- unexpected_successes = set(EXPECTED_FAILURES)
- expected_failures = []
- unexpected_failures = []
- for line in proc.stdout:
- print(line, end='')
- match = test_re.match(line)
- if match is not None:
- groupdict = match.groupdict()
- test_num = groupdict['test_num']
- if test_num is not None:
- test = int(test_num)
- elif groupdict['test_result'] == 'FAILED':
- try:
- unexpected_successes.remove(test)
- expected_failures.append(test)
- print('Expected failure, ignoring')
- except KeyError:
- unexpected_failures.append(test)
- print('ERROR: Unexpected failure')
- elif test in unexpected_successes:
- print('ERROR: Unexpected success')
- proc.wait()
- print()
- print('***** test_psa_compliance.py report ******')
- print()
- print('Expected failures:', ', '.join(str(i) for i in expected_failures))
- print('Unexpected failures:', ', '.join(str(i) for i in unexpected_failures))
- print('Unexpected successes:', ', '.join(str(i) for i in sorted(unexpected_successes)))
- print()
- if unexpected_successes or unexpected_failures:
- if unexpected_successes:
- print('Unexpected successes encountered.')
- print('Please remove the corresponding tests from '
- 'EXPECTED_FAILURES in tests/scripts/compliance_test.py')
- print()
- print('FAILED')
- return 1
- else:
- print('SUCCESS')
- return 0
- finally:
- os.chdir(mbedtls_dir)
- if __name__ == '__main__':
- sys.exit(main())
|