# Glossary

Covering Array (CA)

We define a Covering Array (CA) (denoted by $$CA(N;t,S)$$) as a set of $$n$$ test cases for a SUT model $$S$$ such that all $$t$$-tuples are at least covered by one test case.

Covering Array Number (CAN)

The Covering Array Number (CAN) (denoted by $$CAN(t,S)$$) is the minimum $$N$$ for which there exists a $$CA(N;t,S)$$.

Covering Array Number problem

The Covering Array Number problem is to find a CA of size $$CAN(t,S)$$.

Mixed Covering Array with Constraints (MCAC)

A Mixed Covering Array with Constraints (MCAC) is a Covering Array (CA) where the parameters domains of the SUT can have different cardinalities (Mixed) and the SUT can have SUT constraints.

Parameter tuple

A parameter tuple is a subset of parameters of a SUT.

Strength

We refer as the strength $$t$$ as the size of the interactions that we are considering.

System Under Test (SUT)

System that exposes a finite set of parameters p of finite domain (called SUT parameters), and a set of constraints $$\varphi$$ that implicitly represent the parameterizations that the system accepts (called SUT constraints).

t-tuple

A $$t$$-tuple is an assignment to the parameters of a Parameter tuple for a given Strength $$t$$.

Test case

Complete assignment of values for each one of the parameters of the SUT.

Test suite

Set of test cases that are used to test a SUT.