Chapter 18. Dynamic Analysis

Table of Contents

1. Defensive Programming
1.1. Guidelines
1.2. Catching Common Exceptions
1.3. Responding to Failure
2. Testing
2.1. Regression Tests
3. Criteria
4. Subdomains
5. Subdomain Criteria
5.1. Specification-based Subdomains
6. Feasibility
6.1. Practical Guidance
7. Lecture Notes