Showing page 1 of 1.
Testing complex systems calls for clear task management and control covering everything from defining test plans to writing test cases and recording results. QATraq provides the framework for task management and control, across the whole test process.32 weekly downloads
PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)5 weekly downloads
LUT is a light-weight unit testing framework for the C++ language. LUT provides many features to ease the creation of new tests.0 weekly downloads