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.
These articles provide background information on different types of code coverage analysis, and why it is important to use them:
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).
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: