The problem is that the cost curve for completeness/correctness goes asymptotic at 90-99% so the cost up building complete/correct software is never worth it from a revenue perspective, and only happens if there is significant liability risk from defects.