Testing-Based Formal Verification

In general, testing can tell the presence of bugs but cannot tell their absence due to the fact that testing usually only uses selected data from the input domain to check the behaviors of software systems. This is an intrinsic limitation of testing compared with formal verification of code, under the assumption that the specification accurately reflects the user’s perception of the requirements.