OOSC: Ch11 vs. Predecessors
OOSC Ch. 11 vs. Ch. 12 (a)
OOSC Ch. 11 vs. Ch. 12 (b)
11.1: Basic Reliability Mechanisms (a)
11.1: Basic Reliability Mechanisms (b)
What it means for a software element to be correct:
Correctness formula {P} A {Q}:
The Danger of Strong Pre-conditions:
The Danger of Weak Post-conditions:
Strong vs. Weak Terminology (1)
Strong vs. Weak Terminology (2)
Specification as Documentation
11.4: Assertion Style
11.5: Stack Example (1)
11.5: Stack Example (2)
11.5: Stack Example (3)
11.6: Contracts for SW Reliability
Sample Contract for Stack::put()
Non-Redundancy Principle
Redundant Tests for Debugging
Reliability - is about Interactions:
The Process
Assertions - Not for User Input
Email: lechner@cs.uml.edu
Home Page: http://www.cs.uml.edu/~lechner
Download presentation source