Accession Number:

ADA289638

Title:

Software Technology for Adaptable, Reliable Systems (STARS). Usage Report, AdaWise.

Descriptive Note:

Technical rept.,

Corporate Author:

UNISYS CORP RESTON VA RESTON TECHNOLOGY CENTER

Personal Author(s):

• Barbasch, C. A.

Report Date:

1994-09-02

Pagination or Media Count:

20.0

Abstract:

AdaWise is a set of tools currently under development, checks Ada programs for improper aliasing, incorrect order dependencies including in elaboration of compilation units, and use of undefined variables. They are written in Ada, using ASIS Ada Semantic Interface Specification for front-end- static semantic analysis. A user of the tools must first compile the input source to be analyzed with a compiler that supports ASIS. However, while the tool set is built using ASIS, a user of the tools is not required to have the ASIS product itself to run the tools.

Descriptors:

• *COMPUTER PROGRAM VERIFICATION
• *COMPILERS
• *ADA PROGRAMMING LANGUAGE
• INPUT
• SPECIFICATIONS
• TOOLS
• INTERFACES
• SEMANTICS
• RELIABILITY
• USER NEEDS
• STATIC TESTS
• FRONT END PROCESSORS

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE