Assurance for Software-Reliant Systems

Brochure
By
This brochure describes SEI research on using assurance case methods to document and predict system dependability when testing alone is impractical.
Publisher

Software Engineering Institute

Abstract

Can you afford to test everything? What will you do if you cannot test your high assurance system's dependability long enough? How can you be sure that your system of systems will perform as required? Are your assurance processes more guesswork than engineering?

This brochure describes SEI research into using the assurance case method to document and predict the dependability of a system where it is infeasible or too costly to depend only on testing.