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) : Stucki,Leon G. ; Svegel,Nelson P.

Report Date : JAN 1974

Pagination or Media Count : 119

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 Company's 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)

Descriptors :   *Computer programming, *Data processing, *Reliability, Quality assurance, Computer programs, Compilers, FORTRAN, Army research, Test methods

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE