Software Engineering Institute

The current lifecycle practice of build-then-test for software-reliant (safety and mission) critical systems results in rapidly increasing verification-related rework costs because 70% of defects are related to poor quality requirements, and 80% of defects detected only after the unit test phase. In this research, we produced a workbench of tools that demonstrate a measurable reduction in the cost of verifying system implementations against requirements.