Accession Number : ADA197388

Title :   E&V (Evaluation and Validation) Reference Manual, Version 1.0.

Descriptive Note : Interim technical rept. 1 Jun 85-15 Mar 88,

Corporate Author : ANALYTIC SCIENCES CORP READING MA

Personal Author(s) : Crawford, Bard S ; Clark, Peter G

PDF Url : ADA197388

Report Date : Jul 1988

Pagination or Media Count : 340

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)

Descriptors :   *COMPUTER PROGRAM VERIFICATION, *COMPUTER PROGRAM DOCUMENTATION, COMPUTER PROGRAMMING, INDEXES, REQUIREMENTS, VALIDATION, MODELS, FORMATS, HIGH LEVEL LANGUAGES, PROGRAMMING MANUALS

Subject Categories : Computer Systems Management and Standards

Distribution Statement : APPROVED FOR PUBLIC RELEASE