ГАРАНТИЙНЫЙ СЛУЧАЙ, СЛУЧАЙ ГАРАНТИИ

(assurance case)

Создаваемый обоснованный проверяемый артефакт, подтверждающий, что удовлетворяется претензия верхнего уровня (или совокупность претензий), включая поддерживающие претензию систематическую аргументацию и ее явные предположения.

Примечание - В гарантийный случай входят следующие составляющие и их отношения

- одна или более претензий по свойствам;

- аргументы, которые логически связывают доказательство и любые предположения с претензией или претензиями;

- доказательная база и, возможно, предположения, поддерживающие эти аргументы для претензии (претензий);