search menu icon-carat-right cmu-wordmark

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