Ada Validation Testing Tools Evaluation

Autor:	Robert J. Knapper, Audrey A. Hook
Rok vydání:	1989
Předmět:	business.industry Programming language Computer science Computer programming computer.software_genre Validation testing Ada High-level programming language Compiler Software_PROGRAMMINGLANGUAGES business Software engineering computer computer.programming_language
DOI:	10.21236/ada224223
Popis:	IDA Document D-590, Ada Validation Testing Tools Evaluation, presents the results of an Institute for Defense Analyses (IDA) evaluation of the Ada Compiler Validation Capability (ACVC) Tailoring Tool and the Computer-Assisted Ada Validation Tool (CAV). This document will be used as a guide to initiate enhancements to the validation tools that were evaluated (ACVC and CAV). It is directed towards the Ada Validation Facility (AVF) and the Ada Joint Program Office (AJPO) staff members.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::e4a0ce8055ff518389612413fbbf0c56 https://doi.org/10.21236/ada224223 Zobrazit plný text záznamu