Software Automated Verification System Study.

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)

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1974
Accession Number
AD0784086

Entities

People

  • Leon G. Stucki
  • Nelson P. Svegel

Tags

DTIC Thesaurus Topics

  • Algorithms
  • Astronautics
  • Computer Programming
  • Computers
  • Language
  • Measurement
  • Programming Languages
  • Tactical Data Systems
  • Translators
  • Validation
  • Verification

Fields of Study

  • Computer science

Readers

  • Computational Modeling and Simulation
  • Computer Science.
  • Technical Research and Report Writing.

Technology Areas

  • Space