
Atollic® TrueVERIFIER® is a professional tool for advanced embedded systems software test automation. By using Atollic TrueVERIFIER, you can easily improve the quality of your software product!
Atollic TrueVERIFIER analyze your source code, auto-generate a test suite with unit tests for each function, and execute it automatically in your ARM-based target board. The illustration below outlines the process:
The test suite is generated in C source code and is auto-compiled prior to downloading and execution in the ARM target board. Once the test run has completed, test results and achieved test quality (test coverage) are uploaded to the IDE.
Atollic TrueVERIFIER can also accommodate more advanced testing needs, using test scenarios. A test scenario can test that several functions works together in a more real-world type of use-case, and is thus supporting integration testing.