In this course, you will learn
You will evaluate testability of requirements
You will define testable units within a program specification
You will select and apply black-box test input selection methods, including boundary-value analysis, fuzzing, and random selection
You will develop automated tests and test oracles for automated software verification.