This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
September 1985 (vol. 11 no. 9)
pp. 909-916
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.
Index Terms:
static analysis, Dynamic analysis, review techniques, software metrics, software quality assurance
Citation:
H.M. Sneed, A. Merey, "Automated Software Quality Assurance," IEEE Transactions on Software Engineering, vol. 11, no. 9, pp. 909-916, Sept. 1985, doi:10.1109/TSE.1985.232548
Usage of this product signifies your acceptance of the Terms of Use.