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.

• sqa.dvi
• sqa.pdf
• sqa.ps