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 the Modified Condition/Decision Coverage (MC/DC) level, which for example is required for the majority of safety-critical aircraft software. Atollic TrueANALYZER has integrated J-Link support for code downloading and execution control in the target board.
Atollic TrueVERIFIER enables developers to achieve the highest level of software quality with minimum effort through automated embedded testing; by analyzing application source code, generating Unit Test suites and automatically compiling, downloading and running them in the target system. Atollic TrueVERIFIER has integrated J-Link support for code downloading and execution control in the embedded board.