TrueANALYZER

Dynamic Code Coverage Analysis

Atollic TrueANALYZER® is a tool for professional code analysis. The product performs dynamic code analysis and provides rigorous code coverage measurements of the application as it runs in your target board.

Atollic TrueANALYZER® support many types of code coverage analysis up to the level of Modified condition/decision coverage (MC/DC-level) as required by RTCA DO-178B (Level A) for flight-safety-critical software.

TrueANALYZER

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

Atollic TrueANALYZER® monitor the execution 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.

 

 

TrueANALYZER

Data Sheet, Price
Main Features

 

  • Advanced code coverage measurements executed in target CPU
  • Automatic analysis, instrumentation and downloading into target
  • Fulfills needs for safety-critical development, such as flight control systems
  • Measurement results are uploaded from the target CPU to the PC for visualization
  • Report generator export to CSV files as formal proof
  • Statement coverage
  • Function coverage
  • Function call coverage
  • Condition/decision coverage
  • Modified condition/decision coverage for safety-critical systems (MC/DC-level)