AdaTEST 95 Static Code Metrics capabilities can be used as standalone analysis, or integrated with AdaTEST 95 tests. They provide an automated objective measurement of code quality, maintainability and estimate of testing effort.
AdaTEST 95 Static Analysis makes it easier to:
What do AdaTEST 95 static metrics help me do?
CODE COMPLEXITY AND STRUCTURE
AdaTEST 95 produces over 100 static code metrics, on Ada 95 syntax (Ada Language Reference Manual) and industry standard metric sets. The selection of just the metrics desired is made simple through an analysis wizard and Static Analysis Rule Sets.
These can define not only the required static code metrics, but also checks on acceptable values for each metric to be integrated with AdaTEST 95 dynamic tests.
DIAGNOSE AND ENFORCE METRICS
Metrics are generated to .CSV files, List text files and presented in the HTML Results Viewer for comprehensive diagnosis.
The AdaTEST 95 HTML Results Overview presents a history of checks on enforcing values for static metrics for trend analysis.
Enforcement of static code metrics is fully automated through checks integrated into AdaTEST 95 test scripts, keeping dynamic and static testing completely synchronised.
AdaTEST 95 Static metrics are generated for all instrumented procedures, functions, protected subprograms/entries and tasks that have been executed. In addition, Metrics for package specifications and package bodies, in addition to procedure, function, and task bodies, are available for inspection in a list text file.
In addition to the powerful diagnostics of code coverage results in the HTML Results Viewer and Overview, AdaTEST 95 generates safety standards certification ready ASCII text reports of compliance with coverage requirements.
Reports and certification evidence embed the integrated checks on the achievement of the required code coverage and static metric targets.
How does AdaTEST 95 static analysis work?
AdaTEST 95 uses instrumentation on a copy of the source code, and static metrics data is recorded in both CSV and HTML files for diagnosis, and certification ready ASCII text list files and AdaTEST dynamic test results files evidence.
Static analysis can be used integrated with AdaTEST 95 tests to check metric values within an acceptable range, and perform Control Flow and Data Flow analysis with path labels and dynamic assertions.
Analysis is made simpler by coverage Rule Sets, which automate all the code instrumentation, data reporting and required metric checking.
Which code metrics does AdaTEST 95 provide?
AdaTEST 95 generates over 100 metrics on Ada 95 code syntax as defined in the Ada 95 Reference Manual Annex P.
Static metrics are divided into three groups:
Counted and calculated metrics are presented as floating point values, informational metrics are presented as string values.
The full set of AdaTEST 95 static code metrics is listed below:
In addition to counts of Ada 95 syntax, the following industry standard metric sets are provided:
USER_STRING (user defined)