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