Testing which is non-exhaustive and ascertaining that the most crucial functions of a program work, but not bothering with finer details.
Sanity testing
Smoke testing
Regression testing
Acceptance testing