Products
Verified Systems' products cover a wide range of applications.
RT-Tester
The RT-Tester test automation tool performs automatic test generation, test execution and real-time test evaluation. It supports
- Unit testing (also called module testing) for C functions and C++ methods,
- Software integration (SWI) testing for components (i.e. libraries, collaborations of objects, threads, processes) written in C/C++,
- Hardware/software integration (HSI) testing,
- System integration testing,
on Linux and Windows platform.
TCGen Test Case Generator
The Test Case Generator TCGen is a powerful extension to the RT-Tester test system. TCGen automatically generates test data for
- structural coverage tests (full code coverage),
- model based testing.
Code Coverage Branch Monitor
The Code Coverage Branch Monitor (CCBM) is a set of utilities that allow instrumentation of C source code for the purpose of branch coverage measurement. This encompasses operations for code instrumentation, removal of this instrumentation, retrieval of coverage information, merging coverage information, and displaying this information with reference to the (original) source code.