Incremental Lifecycle Assurance of Critical Systems
November 2016 • Presentation
Peter H. Feiler
Describes research that produced tools for demonstrating a measurable reduction in the cost of verifying system implmementations
Publisher:
Software Engineering Institute
Abstract
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