AIR FORCE CONCEPTS FOR THE TECHNICAL CONTROL AND DESIGN VERIFICATION OF COMPUTER PROGRAMS

Abstract

The paper presents Air Force developed concepts for technical control and design verification of computer programs. Starting with the definition of a computer as a deliverable contract end item requiring a design and development effort, management procedures for controlling the design and development process are explained. Technical control of computer program design through periodic design reviews is outlined and test concepts for verification of computer program performance are presented. The techniques discussed are based on an exchange of technical information between the contractor and the procuring agency at a series of discrete milestones throughout the design and development process. The milestones, including design reviews, qualification testing, etc., are described and the relationship of these milestones to the design and development of a computer-based system is illustrated. The techniques are directly applicable to any large computer-based system whether it be military or commercial and they can be easily tailored to fit a small computer system.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1967
Accession Number
AD0652209

Entities

People

  • J. L. Pokorney
  • M. S. Piligian

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Acquisition
  • Air Force
  • Classification
  • Computer Programming
  • Computer Programs
  • Computers
  • Contractors
  • Contracts
  • Data Reduction
  • End Items
  • Information Processing
  • Program Management
  • Standards
  • Systems Management
  • Test Methods
  • United States

Fields of Study

  • Computer science

Readers

  • Software Engineering
  • Theoretical Analysis.