OOSC Ch. 11 vs. Ch. 12 (b)
The distribution of roles between chapters 11 and 12 roughly reflects the distinction between the two components of reliability:
- Correctness was defined as the software’s ability to perform according to its specification, and
- Robustness was defined as its ability to react to cases not included in the specification.
Assertions (this chapter) generally cover correctness, while exceptions (next chapter) generally cover robustness.