Methodology for Comprehensive Software Testing

Abstract

This report describes the methodology which underlies and is supported by the Automated Verification System (AVS) which is scheduled for delivery to the Air Force in June 1975. The methodology is tailored to be largely independent of implementation and language. The AVS is intended to reduce the cost of assuring that software systems written in the JOVIAL J3 dialect, are comprehensively tested. The methodology is intended to engineer workable and practical first-level solutions to automating the measurement of computer program testing effectiveness, assistance in manual testcase design and selection, and increased mechanization of certain aspects of software system maintenance.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1975
Accession Number
ADA013111

Entities

People

  • E. F. Jr Miller

Tags

Communities of Interest

  • C4I
  • Human Systems
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Command And Control
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Control Systems
  • Information Science
  • Language
  • Object Code
  • Programming Languages
  • Software Design
  • Software Development
  • Software Development Tools
  • Software Testing
  • Test And Evaluation
  • Test Methods

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.
  • Systems Analysis and Design
  • Unmanned Aerial System (UAS) Autonomous Capabilities and Mission Reconnaissance.