Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Configuration test coverage search tool #9195

Open
gilles-peskine-arm opened this issue May 28, 2024 · 0 comments · May be fixed by Mbed-TLS/mbedtls-framework#20
Open

Configuration test coverage search tool #9195

gilles-peskine-arm opened this issue May 28, 2024 · 0 comments · May be fixed by Mbed-TLS/mbedtls-framework#20
Assignees
Labels
component-test Test framework and CI scripts enhancement size-s Estimated task size: small (~2d)

Comments

@gilles-peskine-arm
Copy link
Contributor

gilles-peskine-arm commented May 28, 2024

As an Mbed TLS developer,
I want to find which all.sh component(s) test configurations with certain properties,
so that I can ensure that my code behaves correctly in such configurations.

For example: “tell me what configurations have TLS 1.2 and FFDH enabled but RSA disabled”.

Doing this by inspecting test scripts is difficult because they generate configurations on the fly. Crypto settings, in particular, can be indirect because legacy symbols can be auto-enabled from PSA symbols or the other way round.

#9172 records tested configurations in the outcome file. The goal of this task is to write a tool that runs on an outcome file and searches for configurations with the desired properties.

Prerequisite: #9172

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
component-test Test framework and CI scripts enhancement size-s Estimated task size: small (~2d)
Projects
Status: No status
Status: Test cases not executed
1 participant