Who We Are
Product Info
News and Events
Partners
Contact Us
Return Home
 

 

Increase Safety and Reduce Costs by
Automatically Analyzing Ada95 Source Code

 

Improves Quality, Reliability, and Safety of Systems Written in Ada95
AdaSTATª is a platform and compiler independent application that:

  • Analyzes Ada95 source code for safety-critical restrictions.
  • Collects and assesses both functional and object-oriented metrics.

AdaSTAT's layered architecture consists of two key components:

  • A graphical user interface based on the GIMP Toolkit (Gtk) that provides easy access to tools and features.
  • An ASIS-compliant analysis engine that is compatible with all compilers implementing the ASIS standard.

AdaSTAT provides:

  • A wide range of user-customizable settings and reports.
  • A common interface across platforms.

Enhances Safety by Making Hazard Elimination Much Easier
By facilitating safety verification, AdaSTAT helps reduce the risk of accidents 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, McCabe complexity, Halstead measures, and Maintainability Index.
  • Object-oriented metrics including depth of inheritance, number of children, class attributes, and number of operations.

1330 Braddock Place
Alexandria, VA 22314
571-227-6233
Fax 571-227-6001
info@AdaSTAT.com

 

Restrictions Detected by AdaSTAT
 
Grouping Restriction
Type Checks No Discriminated Records
No Tagged Types with Class Attribute
No Class-Wide Operations
Declaration Checks No Aliased Objects or Components
No Declarative Part in Block Statement
Expression Checks No Slices
No Non-Numeric Type Conversions
Statement Checks No Gotos No While Loops
No Simple Loops Without Exit
Package Checks No Use Clause
No Use Type Clause
Tasking Checks Ravenscar Profile Only
Naming Checks No Renaming
No Overloading
No Package Body or Subprogram Nesting
Low-Level and Interfacing Checks No Representation Clauses
No Representation Attributes
No Use of Package System
No Machine Code Insertion
No Unchecked Conversion No Unchecked Access
No Streams
No Interfacing Pragmas
No Address Clauses
   
AdaSTAT enforces the restrictions identified in the Safety and Security Annex. AdaSTAT also enforces guidelines set forth by the ISO High-Assurance Rapporteur (HRG) Group and the Ravenscar Tasking Profile.
Grouping Restriction
Generic Checks No Generic Units
No Generic Formal Subprograms
No In Objects
No In/Out Objects
No Type Parameters
No Generic Formal Packages
No Generic Children
No Non-Library and Nested Instances
No Non-Library and Nested Generic Units
Access Type Checks No Full Access Types
No Restricted Storage Pools
No General Access Types
No Access to Subprogram
No Controlled Types Including Restricted Storage Pools
No Indefinite Objects
No Non-Static Array Objects
Exception Checks No Predefined Exceptions
No Raise Statement
No Predefined Handlers
No User-Defined Handlers
No Exception Propagation
Subprogram Checks No Default Expressions
No Indefinite Formal Parameters
No Complex Return Types
No Inline Expansion
No Return in Procedures
No Parameter Aliasing
No Access Parameters
Distribution (Annex E) Checks No Remote Call Interface
No Remote Types
No Shared Passive Packages
AdaSTAT Source Code Metrics  
       
Standard Metrics Object Oriented Metrics

AdaSTAT computes the most widely-used of these measures and includes the following:

  • Source lines of code counts
    • Non-comment non-blank
    • Number of comments
    • Number of lines
    • Number of statements
  • McCabe complexity
  • Halstead measures
    • Program length
    • Program volume
    • Difficulty
    • Effort
  • Maintainability Index

AdaSTAT supports the most widely used object-oriented measures, including those developed by Chidamber and Kemerer of MIT (commonly referred to as the Sloan metrics). AdaSTAT object-oriented metrics include:

  • Depth of inheritance
  • Number of children
  • Class coupling
  • Class cohesion
  • Number of attributes
  • Number of operations
   

AdaSTAT displays the results of its analysis in a hierarchical listing. Users open and view detailed reports by clicking on the branches of the tree structure. Results can be easily exported to spreadsheet or word processing programs.

 
 
back to the top
 
Who We Are / Product Info / News and Events / Partners / Contact Us / Home
 
All DCS IP, LLC products are designed to provide complete Integrated Digital Environments
consistent with U. S. Government Paperless Office initiatives.
 
For more information, contact us today or call us at 571-227-6233
Trademark/Copyright statement