Software Automated Verification System Study.
MCDONNELL DOUGLAS ASTRONAUTICS CO HUNTINGTON BEACH CALIF
Pagination or Media Count:
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
- Computer Programming and Software