ГОСТ Р ИСО/МЭК 15026-1—2016
7 ИСО/МЭК 15026игарантийныйслучай
7.1 Введение
ИСО/МЭК 15026-2 раскрывает структуру и содержание гарантийного случая. Здесь описаны пять
основных компонентов гарантийного случая: требования, параметры, доказательство, обоснования и
предположения. Цель гарантийного случая состоит в улучшении обратной связи с заинтересованной
стороной, обеспечив ее информацией, необходимой для принятия решений, и предоставив обоснова
ние для необходимой уверенности заинтересованной стороны. В общем случае гарантийный случай
должен предоставитьгарантиюсвойствсистемы сторонам, невовлеченным тесновпроцессы техничес
кого развития системы. Такимисторонамимогут бытьстороны, привлеченныедля сертификации систе
мы. ее настройки, приобретения или аудита. Как правило, гарантийный случай рассматривает причины
ожидания и подтверждения успешного изготовления системы, а также возможности и риски,
идентифицированные кактрудности или препятствия при разработке и поддержке этой системы.
В отличие от логических проверок дедукции претензий из доказательства, которое покрывается
аспектами абсолютной истины, или истины с точки зрения Платона, гарантийный случай имеет дело с
диалектическими аспектами системы, где истина всегда относительна или даже субъективна. Другими
словами, даже если логические доказательства представлены в соответствии с конкретной логической
теорией, то в гарантийных случаях они могут быть опровергнуты на основании того, что была выбрана
несоответствующая базоваялогическаятеория. Потребностьв гарантийныхслучаях возникаетитогда,
когда становится понятно, что свойства систем в реальном мире никогда не могут быть полностью фор
мализованы в соответствии с логической теорией, а всегда есть что-то, что не поддается никакой
логической формализации.
П р и м е ч а н и е — В случае если требования верхнего уровня относятся к безопасности, защищенности,
надежности или RAM {надежность, готовность и сопровождаемость), то гарантийные случаи, связанные с этими
требованиями, называют случаями безопасности, случаями защищенности, случаями надежности или случаями
RAM соответственно. См. элемент «Библиография*: 1139], [142]. 1143]. 1146], (154]. (155]. [168], (74]. (22]. (23]. (24].
Гарантийный случай, рассматриваемый как артефакт, наделен такими относящимися к качеству
аспектами, как природа содержания, его форма или структура (например, метод аргументации или
модульности), семантическими аспектами, такими какполнота, создание иобслуживание, включая под
держку инструментальных средств, удобство использования и презентабельность, целостность, закон
ность, понятность и наличие четких заключений с явными степенями неопределенности. В одной из
статей [164] приведен достаточно полный перечень относящихся к качеству характеристик для гаран
тийных случаев. Относящиеся к качеству аспекты гарантийного случая не покрываются ни
ИСО/МЭК 15026-2, нидругими частями ИСО/МЭК 15026.
Любые независимые изменения в системе, среде или требованиях верхнего уровня гарантийного
случаятребуютвнесенияизмененийв гарантийныйслучай. Такимобразом, гарантийныйслучайобычно
содержит прогрессивно расширяющуюся доказательную базу, созданную во время разработки и на
более поздних этапах жизненного цикла, которая должна отражать все соответствующие изменения
[139. с. 5].
П р и м е ч а н и е — Претензии гарантийного случая к значениям свойств могут включать в себя весь набор
требований системы в целом для свойства, представляющего интерес. Например, в одном случае требования вер
хнего уровня могут состоять из следующего.
1) требуемые ограничения на последствия;
2) функциональность и свойства самой системы {например, требования обязательности функциональнос
ти).
Показатели качества, определенные в ряде стандартов серии ИСО/МЭК 25000, включают в себя
также показатели качества, связанные с функциональностью и ограничениями. С обеих точек зрения
интерес представляет работа «Общие Критерии v.3.1 Пересмотр 2» [30].
7.2 Обоснование метода доказательства
Аргументация имеет соответствующее обоснование для правильности или ценности ее метода
обоснования. Методаргументации может бытьдополнительным источником неопределенности.
Дляаргументациии анализа в гарантийном случаеможет быть использовано множествоподходов,
которые отличаются друг от друга их применимостью, правомочностью, получаемыми точностью,
неопределенностью и простотой использования. Объекты и подходы к доказательству различны для
разных сообществ, отличающихся мотивацией, мышлением и зачастую множеством методов
доказательств.
ю