Validation in ADA Programming Support Environments.
Abstract
To this date validation has been applied in only two areas, in the validation of programs and the validation of compilers, and then not to any degree which can truly be classified as more than empirical. This study was established to investigate the steps which would be needed to extend those previous experiences into the realm of programming environments and in particular the environments being proposed for use in the Ada program. A model of such environments already exists but is found to be lacking in essential detail necessary for an implementation to prescribe a model by which validation can be specified. This report does not itself provide any details of specific validation procedures or mechanisms, but rather investigates the processes for Ada Programming Support Environment (APSE) implementation in terms of the Ada Programming Language, and uses those specifications to suggest a mechanism for validation suite development. Further in order to accomplish these goals it is suggested that the conceptual model of the STONEMAN document be extended to express the wider computing environments in which the APSE would reside. This extend model would also provides a fundamental basis for the design of Ada systems which respond to the need to provide networking, distributed processing and security enclaves. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1982
- Accession Number
- ADA124765
Entities
People
- Dennis Kafura
- J. A. N. Lee
- Thomas Probert
- Timothy Lindquist
Organizations
- Virginia Tech