Title :
Automated Software Quality Assurance
Author :
Sneed, Harry M. ; Merey, Andras
Author_Institution :
Software Engineering Service
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.
Keywords :
Dynamic analysis; review techniques; software metrics; software quality assurance; static analysis; Costs; Documentation; Environmental economics; Programming; Project management; Quality assurance; Software engineering; Software quality; Software tools; Testing; Dynamic analysis; review techniques; software metrics; software quality assurance; static analysis;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1985.232548
