|
Improves
Quality, Reliability, and Safety of Systems Written in Ada95
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.
|
|
|
|
1330 Braddock Place
Alexandria, VA 22314
571-227-6233
Fax 571-227-6001
info@AdaSTAT.com
|
