You can use RapiTest to write, compile and run unit, integration and system level tests of your software, so you can demonstrate that your code complies with both high and low-level requirements.
RapiTest takes input tests in a variety of formats, including its own powerful formats, and integrates with your build system to compile and run a test harness, even on embedded targets.
With RapiTest, you can specify all types of stubs used throughout the testing industry, including stubs, mocks, spies and fakes. You can also test and stub Ada/C++ private objects without needing to add code to make these visible.
Your test results are reported in the RVS Project Manager, where you can filter them based on the functions you've tested and whether tests passed or failed, and easily open failed tests to edit them.