Software verification checks whether implementation builds the specified application correctly. It works with validation: clients confirm that the requirements describe the right application, while developers test whether the implementation fulfills them. section 3.10 section 3.8
A practical verification workflow includes:
- Define requirements in a jargon-free functional specification, without implementation details. section 3.10 section 3.8
- Run black-box tests against application behavior and unit tests against individual class functions. section 3.10 section 4.7
- Repeat earlier tests after changes so regression testing reveals accidentally broken behavior. section 4.7
Testing a class function
A unit test passes different parameter values to a class member function and checks its return values. After modifying the code, rerunning that test checks that previously working behavior has not regressed. section 4.7
