Important information

This site uses cookies to store information on your computer. By continuing to use our site, you consent to our cookies.

ARM websites use two types of cookie: (1) those that enable the site to function and perform as required; and (2) analytical cookies which anonymously track visitors only while using the site. If you are not happy with this use of these cookies please review our Privacy Policy to learn how they can be disabled. By disabling cookies some features of the site will not work.

Atollic TrueVERIFIER® by Atollic



Software Validation and Verification

Product Description

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.

Atollic TrueVERIFIER®

Market Segment(s)

  • Embedded
 
ARM Connected