SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

Measures and Techniques for Software Quality
 by Dr. John Rushby.

Abstract
This report comprises chapters 2 to 5 of a report prepared for NASA on the application of software quality and assurance techniques to AI software. The chapters included here provide a review of software quality assurance techniques as applied to conventional software. The techniques covered include software reliability and metrics, static and dynamic testing, and formal specification and verification.
Files
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy