Issue No.09 - September (1985 vol.11)
H.M. Sneed , Software Engineering Service
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.
static analysis, Dynamic analysis, review techniques, software metrics, software quality assurance
H.M. Sneed, "Automated Software Quality Assurance", IEEE Transactions on Software Engineering, vol.11, no. 9, pp. 909-916, September 1985, doi:10.1109/TSE.1985.232548