Dynamically adaptive software systems exhibit an exponential number of configurations, posing significant testing challenges. Combinatorial Interaction Testing (CIT) and Combinatorial Transition Testing (CTT) enable concise test suite generation to cover valid pairs of features and transitions. Detecting behavioural transition errors in such test suites with full transition coverage still remains complex and time-consuming. We propose a modular and adaptable testing tool implementing state-of-the-art CTT. It generates test suites using either CIT or CTT and integrates a dedicated test oracle for efficient detection of behavioural transition errors, with minimum user effort.
Martou, P., Duhoux, B., Mens, K., & Legay, A. (2025). Testing Tool for Combinatorial Transition Testing in Dynamically Adaptive Software Systems. IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2025). Published. International Conference on Software Testing, Verification and Validation, Naples, Italy. https://doi.org/10.1109/ICSTW64639.2025.10962493