Accession Number:

AD0784086

Title:

Software Automated Verification System Study.

Descriptive Note:

Final rept.,

Corporate Author:

MCDONNELL DOUGLAS ASTRONAUTICS CO HUNTINGTON BEACH CALIF

Personal Author(s):

Report Date:

1974-01-01

Pagination or Media Count:

119.0

Abstract:

The needs and requirements of the Army Tactical Data Systems ARTADS for an integrated and comprehensive set of automated testing procedures and tools were studied. Both TACPOL and MOL computer programming languages were analyzed in detail to determine those measurement algorithms which could provide automated assistance in the verification and validation of computer systems built with these languages. The feasibility of using McDonnell Douglas Astronautics Companys Program Testing Translator a general language processor which provides a means for automatically generating machine independent language translators from various source languages to allow design of the Automated Verification System was evaluated. Author

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE