E&V (Evaluation and Validation) Reference Manual, Version 1.0.
Abstract
The Ada community, including government, industry, and academic personnel, needs hte capability to assess APSEs (Ada Programming Support Environments) and their components and to determine their conformance to applicable standards. The technology required to fully satisfy this need is extensive and largely unavailable. The purpose of the APSE Evaluation and Validation (E&V) task is to provide a focal point for addressing the need by: (1) Identifying and defining specific technology requirements, (2) Developing selected elements of the required technology, (3) Encouraging others to develop some elements, and (4) Collecting information describing existing elements. The purpose of the E&V Reference Manual (this document) is to provide information that will help users to: (1) Gain an overall understanding of APSEs and approaches to their assessment. (2) Find useful reference information (e.g., definitions) about specific elements and relationships between elements, and (3) Find criteria and metrics for assessing tools and APSEs, and techniques for performing such assessment. Chapter 4 and later chapters are formal chapters built around standard format and formal grammar. Each of the formal chapters corresponds to one index of an overall E&V Classification Schema. The schema adopts a relational model of the subject and process of E&V. This model will allow the user to arrive at E&V techniques through many different paths, and provides a means to extract useful information along the way. Keywords: Ada Programming language; Computer program documentation. (JHD)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jul 01, 1988
- Accession Number
- ADA197388
Entities
People
- Bard S. Crawford
- Peter G. Clark
Organizations
- TASC, Inc