From: conn@wuarchive.wustl.edu (Richard Conn)
Subject: Ada83 to Ada9X Compatibility Tool in the PAL
Date: 30 Sep 1994 02:50:09 -0500
Date: 1994-09-30T02:50:09-05:00 [thread overview]
Message-ID: <conn.780911387@wuarchive.wustl.edu> (raw)
Hello, Everyone,
I'm delighted to report the release of our first Ada9X-specific tool
(other than the compilers, of course) in the PAL. This tool, developed
by graduate students in the Department of Software Engineering at
Monmouth College who were participants in the Software Engineering
Intern program of the Army's Communications-Electronics Command Software
Engineering Directorate (CECOM/SED), analyzes Ada83 source code for
compatibility with Ada9X compilers. We call it ACT (Ada9X Compatibility
Tool). I was their thesis advisor.
As a final test of the tool, the ACT was run against a version of the
Ada source code for the Advanced Field Artillery Tactical Data System
(AFATDS). AFATDS consists of over 5 million lines of Ada source code.
It took only 10 minutes to set up the ACT for analyzing AFATDS. The ACT
then ran against AFATDS for 26 clock hours on a Sun Sparc 10, generating
a report over 500 pages long. This report has been given to the PM of
AFATDS for his review and action.
Rick
==============================================================================
Richard Conn | conn@wuarchive.wustl.edu
Public Ada Library Manager |
------------------------------------------------------------------------------
Opinions expressed herein are my own and not necessarily those of anyone else.
==============================================================================
Public Ada Library (PAL) Release Notice
Release of: Ada83 to Ada9X Compatibility Tool
------------------------------
1. Taxonomy:
SOFTWARE DEVELOPMENT TOOLS
ADA83 TO ADA9X COMPATIBILITY TOOL
------------------------------
2. Author:
William E. Blakeley, Jr., and Michael D. Garis
For questions about the tool, contact:
Richard Conn
Software Engineering Department
Monmouth College
West Long Branch, NJ 07764-1898
------------------------------
3. Rights:
Approved for public release; distribution unlimited
------------------------------
4. Copyright:
1994 Monmouth College
------------------------------
5. Certification:
Ada System Certifier_1 1.1
Date/Time of Processing: Thursday 29 September 1994 11:13:45Am
Overall Assessment of System: OK
Classification of System: A
Basis of Classification --
Syntax Errors PASS
Completeness PASS
Independence from External Libraries PASS
Independence from a Specific Ada Compiler PASS
Number of ...
Files 18
Library Units 133
Lines 42745
Statements 10595
Comments 16881
------------------------------
6. Abstract:
Ada9X will soon be adopted as the new ANSI and ISO standard for the Ada
programming language. Although most Ada83 programs will be upward
compatible with the new standard, incompatibilities will exist in some
programs due to the use of identifiers which are reserved words in Ada9X
and a number of other detailed issues. The Ada9X Compatibility Tool
(ACT) is an automated tool that has been designed to detect many of
these incompatibilities.
Included in the release is a graduate thesis that describes the design,
implementation, and use of the ACT. The ACT has been run against the
test programs (included in the release) and over 5M lines of Ada source
code from live Ada projects.
This tool was created by graduate students at Monmouth College who were
pursuing Master of Software Engineering degrees. These students were
members of the Software Engineering Intern program funded by the Army's
Communications-Electronics Command (CECOM) Software Engineering
Directorate (SED). Richard Conn, the faculty advisor for this project,
is a full-time employee of The MITRE Corporation and an Adjunct Professor
for Monmouth College.
------------------------------
7. Release Notice:
This prologue must be included in all copies of this software.
Restrictions on use or distribution: NONE
------------------------------
8. Directory Listing:
languages/ada/swtools/act:
File Name Size
--------- ----
README 574
act.zip 721,224
Totals
============== ==============
2 Files 721,798
next reply other threads:[~1994-09-30 7:50 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1994-09-30 7:50 Richard Conn [this message]
1994-10-03 9:44 ` Ada83 to Ada9X Compatibility Tool in the PAL Robert I. Eachus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox