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.

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.


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