Atollic TrueANALYZER® by Atollic
Software Validation and Verification
Product Description
Atollic® TrueANALYZER® measures the test coverage during system testing, when test procedures exercise the full embedded application in its ARM-based in-target environment. Atollic TrueANALYZER thus measures the test quality, and improves confidence in code reliability and robustness, as well as highlighting inadequately tested parts of the software.
By performing rigorous test quality measurements using advanced coverage analysis, you get numerical facts on how good the 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 software errors. Atollic TrueANALYZER not only display the achieved test quality, but also shows where in the code, and why, the test coverage did not get better.
Atollic TrueANALYZER performs in-target verification using dynamic execution-flow analysis, where the execution paths and all branch decisions are recorded. In addition to measuring the test quality (gauged as coverage level), all branch decisions (such as if-, switch- and while- statements) are displayed in the user interface, along with truth tables visualizing which conditions (subexpressions) was covered or not in a branch decision. It is thus easy to understand why the test procedures do not achieve better coverage, and so Atollic TrueANALYZER also acts as a test case debugger.
Atollic TrueANALYZER supports different strengths of coverage analysis, even up to Modified Condition/Decision Coverage (MC/DC) level, which for example is required for safety-critical aircraft software.
Market Segment(s)
- Embedded
Search Options
