One of the main challenges to get certification in Ada projects is the achievement of 100% code coverage, but in most projects an amount of more than 95% structural coverage is hard to achieve. What can you do with the last 5% of code that can't be covered?

In this webinar you learn how static analysis and dynamic testing can help complete analysis for pieces of code that are not covered.

Verification on Ada code with Static and Dynamic Code Analysis