Software Testing Measures

Abstract

This report examines the current state of development of automated software testing techniques. The report identifies and describes techniques that are useful for detecting errors in software. It also examines techniques for proving the correctness of programs, for debugging (locating and correcting errors), and for producing documentation automatically.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1982
Accession Number
ADA118254

Entities

People

  • A. Kerbel
  • A. Pyster
  • Janet M. Benson
  • R. Meeson
  • W. Heidler

Tags

Communities of Interest

  • Cyber
  • Energy and Power Technologies
  • Space

DTIC Thesaurus Topics

  • Air Force
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Databases
  • Debugging
  • Detectors
  • Information Science
  • Operating Systems
  • Robotics
  • Software Development
  • Software Metrics
  • Software Testing
  • Systems Engineering
  • Test And Evaluation
  • Test Methods

Fields of Study

  • Computer science
  • Engineering

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Software Engineering.