Software Verification – Introduction to Testing
An overview of software testing in , covering why testing matters, core terminology, and how testing fits into the broader picture of verification and validation.
Software Verification – Introduction to Testing
[Stub] Big-picture introduction to software testing: why we test, what we can and cannot prove with tests, and how testing complements formal verification.
Topics
- Verification vs. validation: what each term means in practice
- Types of testing (unit, integration, system, regression)
- Test oracles, test cases, and coverage criteria
- Limits of testing and motivation for formal methods
Reading and Preparation
[Stub] Reference the “Introduction to Testing” lecture notes PDF from Canvas and any recommended textbook sections.