AdaSTAT is a platform and compiler independent application that:
- Analyzes Ada95 source code and flags safety-critical restrictions.
- Collects and assesses both functional and object-oriented metrics.
- Provides a variety of user-customizable settings and reports.
- Runs in either graphical or batch modes.
AdaSTAT's layered architecture consists of four key components:
- A graphical user interface based on the GIMP Toolkit (Gtk) that provides easy access to tools and features with a common look and feel across multiple platforms.
- An ASIS-based analysis tool that processes code that adheres to the Ada95 LRM.
- The AdaSTAT analysis engine that detects restrictions violations and collects metrics on the processed code.
- Report tools to display results in graphs, tables, or even export in database or spreadsheet format.
Enhances Safety by Making Hazard Elimination Much Easier
By facilitating safety verification, AdaSTAT helps reduce the risk of failures by:
- Enhancing the effectiveness of quality assurance procedures.
- Greatly simplifying the quality assurance process.
- Eliminating tedious manual analysis.
Reduces Time and Costs Associated with Code Analysis
AdaSTAT dramatically reduces the time and resources required for static code analysis by enabling programmers and QA personnel to automatically scan source code for:
- Violations of project-specific language restrictions.
- Standard metrics such as line counts, Cyclomatic complexity, Halstead measures, and Maintainability Index.
- Object-oriented metrics including depth of inheritance, number of children, class attributes, number of operations, weighted methods per class, response for class, message passing coupling, coupling between objects, class cohesion, and more.
Get Demo | Previous Page | Downloads Search
If you found this page useful, bookmark and share it on: