ГОСТ Р ИСО/МЭК 15026-4—2016
Примечание — Вданном разделе используются материалы ИСО/МЭК 15026-2.
Достижение гарантийных требований обычно включает в себя все аспекты, связанные с вы
полнением строгих требований. Требование определено в ИСО/МЭК 29148 как «утверждение, кото рое
транслирует или выражает потребность и связанные с ней ограничения и условия», а в ИСО/МЭК 15026-
1:2013 требование гарантии определено как «утверждение чего-либо, соответствующего истине, включая
соответствующие условия и ограничения». В настоящем стандарте предполагается, что требо вания
являются утверждениями значений для переменных, а требования гарантии — утверждениями, что
требования являются истиной.
Хотя гарантийные требования могут быть получены из многих источников, как правило, они обу
словлены реальными потенциальными негативными последствиями, связанными с ненадлежащим ис
пользованием системы, и подтверждены как происходящие из требований к системе или программному
обеспечению. Каждое гарантийное требование полностью и однозначно определено, включая:
a) «Гарантийные требования», т. е. требования верхнего уровня, в которые входят:
1) значения для показателей критического свойства, требуемые для достижения требования;
2) ограничения на допустимую неопределенность относительно этого достижения;
3) допустимые условия и/или продолжительность применимости;
4) набор версий или экземпляров систем либо программных продуктов, на которые распростра
няются требования.
b
) «Обоснование для гарантийных требований», т. е. обоснование для выбора и указания этих
определенных гарантийных требований.
c) «Информационный блок, показывающий достижение гарантийных требований» или. более кра
тко. как «информация демонстрации (или обеспечения) достижения гарантийных требований».
Последнее из перечислений включает в себя доказательство, обоснование или аргументацию,
показывающие, как доказательство подтверждает требования и любые предположения, лежащие в ос
нове этого обоснования. Как правило, такое обоснование имеет несколько уровней производных тре
бований. внутренних по отношению к нему, например, гарантийные требования для элементов системы на
каждом уровне разложения должны быть истиной для того, чтобы были истиной гарантийные требо вания
для системы или программного продукта. Информационный блок также включает информацию о
правильности, целостности, уместности и значимости доказательства.
Зачастую в обоснование входят несколько аргументов различного типа, таких как. например, ар
гументы. основанные на обосновании проекта, использование методов защитного проектирования, ре
зультаты верификации и валидации, производительность аналогичных систем или продуктов, соответ
ствие стандартам или результаты полевых испытаний. Совокупность их позволяет достигнуть общего
заключения и оценить оставшуюся неопределенность достижения гарантийных требований.
Информационный блок, состоящий из упорядоченной совокупности этих трех перечислений, яв
ляется элементом (или элементами) системного или программного продукта и. как таковой, хранится и
обновляется в течение всего жизненного цикла системы, включая разработку и обслуживание. По
скольку он является элементом системы, к нему применимы все процессы, действия и задачи элемента
системы, такие как менеджмент конфигурации, верификация и валидация.
5.3 Использование ИСО/МЭК 15026-4
Настоящий стандарт может быть использован в соглашении между приобретателем и поставщи
ком. в целях нормирования или при оценке внутренних процессов разработки для повышения качества
и при демонстрации достижения гарантийных требований для системы или программного продукта.
Однако ее использование не ограничено тремя этими целями.
5.3.1 Использование в соглашении
Настоящий стандарт может использоваться в соглашении между приобретателем и поставщиком
относительно достижения и демонстрации достижения гарантийных требований к значениям показате
лей критических свойств заказываемых систем или программного продукта. Отношения приобретателя и
поставщика могут происходить на разных уровнях системы поставок (главный поставщик, внутренний для
одной организации и т. д.).
Примечание — Соглашение может иметь различную форму от официального договора до устной
договоренности.
3