It is for testing.
Software testing can provide objective, independent information about the quality of software and the risk of its failure to a user or sponsor.
Software testing can determine the correctness of software for specific scenarios, but cannot determine correctness for all scenarios. It cannot find all bugs.