ГОСТ Р ИСО/МЭК 15026-1-2016 Системная и программная инженерия. Гарантирование систем и программного обеспечения. Часть 1. Понятия и словарь

     3.1 Термины, относящиеся к гарантии и свойствам

3.1.1 гарантия, гарантирование (assurance): Основание для утверждения, что требование выполнено или будет выполнено.

3.1.2 претензия, требование (claim): Утверждение типа "истина/ложь" о выполнении ограничений на значения однозначно определенных свойств (называемых связанными с претензией свойствами), а также ограничений на неопределенность значений свойств в пределах этих ограничений в случае применимости претензии при указанных условиях.

Примечания

1 Неопределенность также может быть связана с продолжительностью применимости и заданными условиями.

2 Претензия может включать в себя следующее:

- свойство, относящееся к претензии;

- ограничения на значение свойства, связанного с претензией (например, диапазон значений);

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

- ограничения на продолжительность применимости претензии;

- связанная с продолжительностью неопределенность;

- ограничения на условия, связанные с претензией;

- связанная с условием неопределенность.

3 Термин "ограничения" используется для соответствия многим возможным ситуациям. Значением могут быть как единственная величина, так и множество величин, диапазон значений или множество диапазонов значений. Значения могут быть многомерными. В некоторых случаях границы этих ограничений нечетко выражены. Например, они могут быть заданы вероятностным распределением, а также могут быть инкрементными.

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

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

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

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

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

- обоснование выбора претензии верхнего уровня и метода доказательства.

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

Примечания

1 Термин "надежность" применяется только для общего неколичественного описания.

2 В ИСО/МЭК 25010 [99] отмечено, что "характеристики функциональной надежности включают в себя готовность и свойственные ей или внешние факторы влияния, такие как надежность, отказоустойчивость, восстанавливаемость, целостность, защищенность, сопровождаемость, долговечность и поддержка технического обслуживания". Надежность рассматривается в нескольких стандартах (например, [64] и [69]), а кроме того, многие стандарты посвящены качеству надежности. В МЭК 60050-191 [63] приводятся соответствующие определения.

[МЭК 60300-1:2003]