Table of Contents
CSE584: Software Engineering Lecture 8 (May 27, 1997)
Lecture 8, Outline [approximate minutes]
Approaches to quality assurance
Proofs of program correctness
Pre- and post-conditions
Hoare triples
Example
Semantics of statements
Assignment wp
Hoare triples and wp’s
Sequencing wp
Example
Conditional wp’s
Example
Loops
Loop invariants
Example
Termination
Miscellaneous
Correctness of ADTs [Hoare]
Reviews, etc.
Reviews, etc.
Purposes
Walkthrough
Inspections [Sommerville]
Inspection requirements
Inspection process
Inspection teams
Inspection checklists
Inspection rate
Issues in inspections
Statistical approaches
Software reliability [RST]
Operational profiles
Understood domains
Less understood domains
Cost
Applying reliability models
N-version programming
Objective
Assumption
Probably not
Why?
And now...
Cleanroom [Harlan Mills]
Basics: five points
Basics: five points (con’t)
Three teams
Claims
Counterclaims [Beizer]
|
Acrobat
Author: CSE
Email: notkin@cs.washington.edu
Home Page: http://www.cs.washington.edu/homes/notkin
|