Polyspace Client for Ada

Prove the Absence of Certain Run-Time Errors and Track Software Quality Metrics

Traditional bug-finding tools either fail to report software errors (yielding false negatives) or produce too many warnings (yielding false positives). Dynamic testing, which typically uses a finite number of test cases, may miss errors entirely. Polyspace Client for Ada verifies program execution, for each instruction, taking into account all possible values of every variable at every point in the code. The results provide a formal diagnostic for each operation in the code.

You can also view a summary of your software quality metrics on a Web browser dashboard (requires Polyspace Server for Ada). The software quality metrics summary helps you review code verification results as your code evolves from the first iteration to the ultimate delivery version. By confirming the absence of certain run-time errors and measuring the rate of improvement in code quality, Polyspace Client for Ada enables developers, testers, and project managers to target, deliver, and assess code that is free of certain run-time errors.

Web dashboard (requires Polyspace Server for Ada). You can monitor the quality of your software and decide which part of the software needs more attention.