It checks that the functional specifications are correctly implemented. Can also check if Non Functional behavior is as per expectations.