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