Functional Description of a Validation Tool for CMS-2 Software.

Abstract

This document sets forth the requirements for a set of computer programs yielding information about tests made on CMS-2 software. This set of programs is called a validation tool. A validation tool, depending on the needs of the investigator, can be made as sophisticated as required at the expense of additional memory and running time. The validation tool proposed here is primarily for static analysis. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 1978
Accession Number
ADA055973

Entities

People

  • R. N. Goss

Tags

Communities of Interest

  • C4I
  • Electronic Warfare
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Clocks
  • Command And Control
  • Compilers
  • Computer Program Documentation
  • Computer Program Reliability
  • Computer Programming
  • Computer Programs
  • Computers
  • Data Storage Systems
  • Electronics Laboratories
  • Engineers
  • Instrumentation
  • Navy
  • Object Code
  • Procedures (Computers)
  • Software Development
  • System Software

Fields of Study

  • Computer science
  • Engineering

Readers

  • Parallel and Distributed Computing.
  • Software Verification and Validation.
  • Systems Analysis and Design