Software Reliability Methods PPT SLIDES

Software Reliability Methods
Textbook: Software Reliability Methods
Download Slides from here

• Introduction


• Modeling Software Systems (class handout: modeling example)


• Introduction to Logic


• Specification Formalisms


• Automatic Verification


• Translating from LTL to automata


• Model Checker: SPIN


• Spin exercise


• Verifying Flow-graph Programs


• Hoare's logic


• Dealing with Array Variables


• Proof Checker: PVS (class handout: groups proof)


• Software Testing


• Process Algebra


• Abstraction


• Black Box Checking


• Message Sequence Charts


• From Model Checking to a Temporal Proof


• Combining Testing with Verification