TrueVERIFIER

Software Test Automation

Atollic TrueVERIFIER is a professional tool for advanced test automation, thus helping you to find bugs automatically. By using Atollic TrueVERIFIER, you can easily improve the quality of your software product!

Atollic TrueVERIFIER™ performs source code analysis and auto-generate unit tests that exercise an extensive set of different execution paths. The tool download the test cases and run them in a target board with code coverage monitoring. Finally, Atollic TrueVERIFIER™ visualize the test results and the achieved code coverage.

Atollic TrueVERIFIER™ integrates fully into Atollic TrueSTUDIO®, the premier C/C++ development tool for embedded developers. By complementing these two products with Atollic TrueINSPECTOR® (static source code analysis) and Atollic TrueANALYZER® (dynamic code analysis), you get a superior tool solution for the most demanding of software projects!

 

TrueVERIFIER

Data Sheet, Price
Main Features
  • Analyzes the source code and automatically finds out how a C-function needs to be tested, to drive as many combinations of important execution paths as possible
  • Enables user to add/edit/remove test suites and test cases
  • Auto-generates unit test source code in the C-language
  • Auto-compiles and auto-downloads (JTAG) the unit tests
  • Auto-runs the unit tests in the target board with execution flow monitoring
  • Users can instrument the test cases for advanced failure detection
  • Uploads the test results as well as test and code coverage
  • Visualisation of test results and Block-, Branch- and Modified condition/Decision coverage