A Strategy for Effective Integration of Verification and Testing Techniques.

Abstract

This paper presents an approach to integrating four techniques for testing, analysis and verification into one overall strategy for incrementally raising confidence in software in a cost effective way. The paper summarizes the strengths, weaknesses, and operational characteristics of dynamic testing, static analysis, symbolic execution and formal verification. It uses a detailed example as an illustration. Next the integrated strategy is presented. Finally, there is a discussion of how this strategy can be used to raise confidence in software requirements and design specifications as well as in code, thereby making it applicable throughout the entire software lifecycle. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1980
Accession Number
ADA089960

Entities

People

  • Leon J. Osterweil

Organizations

  • University of Colorado Boulder

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Algorithms
  • Compilers
  • Computations
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computer Simulations
  • Computers
  • Databases
  • Dynamic Tests
  • Engineering
  • Functional Analysis
  • Information Processing
  • Language
  • Mathematical Models
  • Simulations
  • Software Development

Fields of Study

  • Computer science
  • Engineering

Readers

  • Aerospace Test and Evaluation
  • Artificial Intelligence
  • Regression Analysis.