Cascade: A Test Generation Tool for Combinatorial Testing

Combinatorial Testing (CT) is a black-box testing technique, which is used to test parameterized systems. Real applications often have some special testing requirements, especially parameter constraints. Our experimental results show that existing CT test generators cannot deal with constraints very well as the number of constraints increases. This is due to their constraint solving mechanisms, where constraint solving and parameter assignment are separated. In this paper, we propose a new CT test generation method based on constrained optimization, which combines these two together to mitigate the effect brought by the growing complexity of constraints. Our approach is implemented in a tool called Cascade, which can deal with common CT usage scenarios.