TrueANALYZER

Atollic® TrueANALYZER® ensures test confidence by measuring test quality and performing in-target verification using dynamic execution-flow analysis to guarantee rigorous coverage measurement. Atollic TrueANALYZER supports different strengths of coverage analysis, even up to Modified Condition/Decision Coverage (MC/DC) level, which for example is required for the majority of safety-critical aircraft software.

By performing rigorous test quality measurements using advanced code coverage analysis, you get numerical measurements on how good your test procedures are for different parts of your software. With knowledge on where your testing is weak, you can improve the test procedures and re-run a more thorough test, potentially finding more problems.

Background

These articles provide background information on different types of code coverage analysis, and why it is important to use them:

Why perform code coverage analysis?
Different types of code coverage analysis

Features

Atollic TrueANALYZER analyze the source code in your application to find all conditions and branch decision points. It then instrument the application and download the instrumented application to the target board using the same JTAG probe normally used for debugging.

Atollic TrueANALYZER monitor the execution flow of the application in the target board, and immediately detect which new execution paths are exercised as the board interacts with its environment (users press buttons, sensors receive data, and other systems send communication packages etc).

Understand the quality of your test procedures Get confidence in your testing! Advanced code coverage with 2 mouse clicks! Atollic TrueANALYZER performs the most rigorous of code coverage measurements, by downloading your application to the target board using a JTAG probe, and execute it with dynamic execution flow analysis. Atollic TrueANALYZER performs statement coverage, function and function call coverage, as well as branch and MC/DC coverage, with just 2 mouse clicks! Test quality of your full application Atollic TrueANALYZER provides the highest level of test quality measurement (MC/DC coverage) on your full project. Advanced test quality measurement values are provided for your complete project. Test quality measurement per C function Atollic TrueANALYZER also provides rigorous test quality measurements, listed per C function. You know exactly which parts of your application needs better test procedures! Editor integration Atollic TrueANALYZER even visualizes the code coverage results on source code level, using the tight integration with the Atollic TrueSTUDIO editor. You know exactly which parts of the C functions have not been tested well enough! Previous Next

Code coverage data can be uploaded to the Atollic TrueSTUDIO IDE at any time, where it is presented in easy-to-use format. Code coverage data is available for the application as a whole, as well as per function. Line coloring in the editor clearly visualise statement coverage in the code as well. Reports that typically act as formal proof of test coverage can be generated as CSV files.

Operation is super-simple, as a full MC/DC coverage analysis is performed with your application in your target board, with only two mouse clicks!

Main features are:

• Measures the quality of your test procedues
• Advanced code coverage measurements executed in the embedded target
• Automatic analysis, instrumentation and downloading into target
• Measurement results are uploaded from the target CPU to the PC for visualization
• Report generator export to CSV files
• Statement coverage
• Function coverage
• Function call coverage
• Branch coverage
• Modified condition/decision coverage (MC/DC-level)

Atollic TrueANALYZER 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 TrueVERIFIER® (test automation), you get a superior tool solution for the most demanding of software projects!

For more information, read our white paper:

How to measure embedded systems software test quality