WHAT YOU WILL LEARN
-
Distinguish between verification and validation describing the key differences between them.
-
Write automated functional tests for both front-end and back-end code
-
Measure the fault-finding effectiveness of a functional test suite using mutation testing.
-
Defend program correctness through the use of formal methods, specifically proof obligations and model checking.
