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.