assurance case

A structured set of arguments and a body of evidence showing that a system satisfies specific claims with respect to a given quality attribute.