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 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 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.
Atollic TrueVERIFIER performs source code analysis and auto-generate unit tests that exercise an extensive set of different execution paths in your functions.The test suite contains test cases that drives different types of corner cases and as many of the different execution paths as possible in each function.
The test cases are typically auto-generated, but the test cases can be edited and new ones added manually. Test vectors can also be imported/exported to external tools like Microsoft Excel. For each test case, the expected outputs (return code and modified global variables) are easily defined in the user interface.
Test execution and result analysis
The tool auto-compile the test cases, auto-download them using the same JTAG probe being used for debugging, and run them in a target board with dynamic execution flow (code coverage) monitoring. For each test case in the test vector, expected results (return codes and modified global variables) are checked automatically.
Once the test suite has been completed, Atollic TrueVERIFIER uploads the test resuls and the achieved test coverage, and visualise this to the developer or tester. In addition to the test result (success, failure or test error), rigorous test coverage analysis is performed as well:
- Block coverage
- Branch coverage
- Modified condition/decision coverage (MC/DC)
With the advanced code coverage analysis being performed while running the test cases, you get a perfect measurement of the test quality as well!
Atollic TrueVERIFIER integrates fully into Atollic TrueSTUDIO®, the premier C/C++ development tool for embedded developers. By complementing these two products with Atollic TrueANALYZER® (system-level test quality measurement), you get a superior tool solution for the most demanding of software projects!
For more information, read our white paper: