Skip to content

Configuration test coverage search tool #9195

Open
Mbed-TLS/mbedtls-framework
#20
@gilles-peskine-arm

Description

@gilles-peskine-arm

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

Metadata

Metadata

Labels

Type

No type

Projects

Status

No status

Status

Test cases not executed

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions