Automated Software Quality Assurance

  • Authors:
  • Harry M. Sneed;András Mérey

  • Affiliations:
  • Software Engineering Service, Neubiberg, West Germany;Software Engineering Service, Neubiberg, West Germany

  • Venue:
  • IEEE Transactions on Software Engineering - Special issue on COMPSAC 1982 and 1983
  • Year:
  • 1985

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper describes a family of tools which not only supports software development, but also assures the quality of each software product from the requirements definition to the integrated system. It is based upon an explicit definition of the design objectives and includes specification verification, design evaluation, static program analysis, dynamic program analysis, integration test auditing, and configuration management.