MCAC Algorithms

In the following we present all the MCAC algorithms implemented in CTLog.

For the input SUT, all the algorithms support the ACTS format and the Extended ACTS format. By default, the format is inferred by the file extension. Additionally, all the algorithms support the --strength parameter to specify the desired strength of the generated MCAC.

By default, the output MCAC is printed through standard output in CSV format. This can be modified by specifying the --out-file parameter and the --out-format parameter. Additionally, we include a validation step for all the output MCACs which validates that all the allowed t-tuples are covered, and all the forbidden t-tuples are not covered. This can be very time consuming for higher strengths and it can be deactivated through the --skip-validation parameter.

For a complete description of all the available parameters you can check the CLI Reference.