Ada Validation Testing Tools Evaluation

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 initia...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hook, Audrey A, Knapper, Robert J
Format:	Report
Sprache:	eng
Schlagworte:	ACVC(ADA COMPILER VALIDATION CAPABILITY) ADA PROGRAMMING LANGUAGE AVF(ADA VALIDATION FACILITIES) CAV(COMPUTER ASSISTED ADA VALIDATION TOOL) COMPILERS COMPUTER PROGRAM VERIFICATION COMPUTER PROGRAMMING Computer Programming and Software COMPUTER VALIDATION FISCAL YEAR 90 HIGH LEVEL LANGUAGES LPN-IDA-T-D5-304 SBI1 TEST METHODS
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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.