En milstolpe översyn att bestämma att provningsförfaranden som programvara är kompletta och se till att programutvecklaren är beredd för provning av formella programvara prestanda. Informella testresultaten också granskas.