Daniel H. Ehrenfried
Abstract
The upcoming standardization of the Ada Semantic Interface Specification (ASIS) makes possible the development of portable static analysis tools for Ada programs. This paper introduces this class of back-end CASE tools, lists their capabilities, and describes how they can be used during the software-development process to increase overall software quality. The description is based on one such tool: the Ada Analyzer developed by Little Tree Consulting.
- Ada Semantic Interface Specification, Version 1.1, maintained by ASISWG, Thomas E. Shields, chairman, Telnet address [email protected] for information.Google Scholar
- Department of Defense Requirements for an Ada Programming Support Environment, "Stoneman," Defense Advanced Research Project Agency, Arlington, Virginia, February 1980.Google Scholar
- Goos, G., W. A. Wulf, A. Evans, and K. Butler, DIANA: An Intermediate Language for Ada, LNCS #161, Springer-Verlag, New York, 1983. Google ScholarDigital Library
- Munck, R., P. Oberndorf, E. Pledoereder, and R. Thall, "An Overview of DOD-STD- 1838A (proposed): The Common APSE Interface Set," SIGPLAN Notices, 24, 2, February 1989, pp. 235-247. Google ScholarDigital Library
- Pierce, R., "ECLIPSE--An APSE Based on PCTE," Proceedings of the Ada-Europe Conference, Stockholm, May 26-28, 1987, S. Tafvelin (ed.), Cambridge University Press, pp. 32-45. Google ScholarDigital Library
- Reference Manual for the Ada Programming Language, ANSI/MIL-STD-1815, ISO 8652-1987.Google Scholar
- Software Productivity Consortium, "Ada Quality and Style: A Guide for Professional Programmers," SPC-91061-N, Version 02.00.02, 1991.Google Scholar
Index Terms
- Static analysis of Ada programs
Recommendations
Communication between Ada programs in DIADEM
Special edition: International Workshop on Real-Time Ada IssuesIt has been recognized for some time that Ada is not well designed for the purpose of programming networks of loosely-coupled processors, and numerous projects have been set up to find a solution. The DIADEM project had the particular goal of ...
Static analysis of Ravenscar programs
IRTAW '03: Proceedings of the 12th international workshop on Real-time AdaThe Ravenscar Profile provides support for deterministic, multi-tasking programming as an integral part of a standardized language. A key element in the exploitation of the advantages of the Profile within the critical systems market is its use with ...
Comments