Een mijlpaal test om te bepalen dat de software testprocedures voltooid zijn en om ervoor te zorgen dat de software-ontwikkelaar voor het testen van de prestaties van de formele software bereid is. De resultaten van de informele tests ook worden herzien.