The type of testing that verifies the compliance of a software application with its specifications is known as acceptance testing. This type of testing ensures that the software meets the required functionalities and business requirements before it is released to end-users. Acceptance testing can be further classified into user acceptance testing (UAT) and alpha/beta testing, depending on the target audience involved in the testing process.