Abstract
Combinatorial interaction testing (CIT) is a testing technique that has proved to be effective in finding faults due to the
interaction among inputs, and in reducing the number of test cases. One of the most crucial parts of combinatorial testing
is the test generation for which many tools and algorithms have been proposed in recent years, with different methodologies
and performances. However, generating tests remains a complex procedure that can require a lot of effort (mainly time). Thus,
in this paper, we present the tool pMEDICI which aims to reduce the test generation time by parallelizing the generation process
and exploiting the recent multithread hardware architectures. It uses Multivalued Decision Diagrams (MDDs) for representing
the constraints and the tuples to be tested and extracts from them the t-wise test cases. Our experiments confirm that our
tool requires a shorter amount of time for generating combinatorial test suites, especially for complex models, with a lot
of parameters and constraints.
[download the pdf file] [DOI]