Test Chain Generation for Reactive Systems
ChainCover is an automated test suite generator for reactive systems as modelled in Simulink/Stateflow that aims at computing a test chain, i.e., a minimised-length test sequence that covers all test goals. ChainCover uses the model checker CBMC and TSP/ASP solvers to perform this task.
New: Version 0.6 released.
There is now a Google Group for annoucements related to ChainCover.
We also provide papers that describe how ChainCover works.
- Chaining Test Cases for Reactive System Testing (extended version)
- Chaining Test Cases for Reactive System Testing
We distribute binaries for x86 Linux and the source.
This research is currently supported by EU FP7 STREP PINCETTE, the ARTEMIS VeTeSS project and ERC project 280053.