Software Verification – Testing Strategies and Test Design

[Stub] High-level discussion of how to design effective tests and think about coverage and fault models.

Topics

  • Black-box vs. white-box testing
  • Equivalence partitioning and boundary value analysis
  • Statement, branch, and path coverage (conceptual)
  • Common pitfalls in test design

Reading and Preparation

[Stub] Point to the “Introduction to Testing” notes and any follow-up material in the module.