Exercise 3
- Requirement
- Functional Requirement
- Non-functional Requirement
- Dafny
- Logical Strength
- Lexicographic Order
- Verification and Validation
Exercise 4
- Specification-based Testing
- Boundary Testing
- Equivalence Partitioning
- Control Flow Graph
- Statement Coverage
- Branch Coverage
- Basic Block Coverage
- Loop Coverage
- Path Coverage
- Condition Coverage
- C+B Coverage
- Modified Condition or Decision Coverage
- Definition-Use Pair
- Property-based Testing
- Test Double
- Test-Driven Development
- Testing Level
- Testing Pyramid
- Principles of Software Testing
- Intelligent Testing
- Testability