Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Presentation

Incremental Lifecycle Assurance of Critical Systems

  • November 2016
  • By Peter H. Feiler4655
  • 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

  • Download

Part of a Collection

SEI 2016 Research Review