AdaSTAT

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:

 
Embedded Star Newsletter
Don't have time to visit Embedded Star everyday? Then sign up for our free newsletter. We'll send you an email when we have something to share with you. Your email address will be kept confidential and we will not share, sell, or rent it to anyone. You can unsubscribe at any time by clicking a link in the email.

Enter your email address to sign up for our free newsletter:   

If you are familiar with RSS feeds, you can also sign up for our free blog feed. Our RSS feed is updated in real-time while our newsletter is updated daily.