TrueVERIFIER

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!

Overview

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.

Test preparation

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.

  • In-target automated software testing

    Get better quality, faster!

  • Select functions to test

    Automatic test suite generation!

  • Auto-generated test suites

    Atollic TrueVERIFIER auto-generates a unit test suite for each of the selected functions. A number of test cases is created for each function, such that the unit test will drive corner cases and as many different execution paths as possible.

  • Generate, edit, add or import/export test cases

    Test case management

Previous
Next

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.

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.

  • Automatic execution of unit test suites in the target board

    Zero-effort test execution!

  • Display test results for each test case

    Test much more, faster!

  • Automatic calculation of achieved test coverage

    Test quality measurement!

  • Deep integration with the Atollic TrueSTUDIO editor

    Detailed test coverage display

Previous
Next

Once the test suite has been completed, Atollic TrueVERIFIER™ uploads the test resuls and the achieved code coverage, and visualise this to the developer or tester. In addition to the test result (success, failure or test error), rigorous code 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!

Summary

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!

Read the brochure here!

For more information, read our white paper:

Embedded test automation white paper