ГОСТ Р МЭК 61508-3—2012
Т аб л и ца А.9 — Верификация программного обеспечения (см. 7.9)
МетодГсредстао1*
Ссыпка
УПБ1 УПБ2 УПБЗ УПБ4
1 Формальнее доказательство
С.5.12
—RRHR
2 Анимация спецификации и тестирования
С.5.26
RRRR
3 Статический анализ
В.6.4,
таблица В.8
RHRHRHR
4 Динамический анализ и тестирование
В.6.5,
таблица В.2
RHRHRHR
5 Прямая прослеживаемость между спецификацией проекта про
граммного обеспечения и планом верификации (включая верифи
кацию данных) программного обеспечения
С.2.11
RRHRHR
6 Обратная прослеживаемость между планом верификации (вклю
чая верификацию данных) программного обеспечения и специфи
кацией проекта программного обеспечения
С.2.11
RRHRHR
7 Численный анализ в автономном режиме
С.2.13
RRHRHR
Тестирование и интеграция программного модуля
См. таблицуА.5
Проверка интеграции программируемых электронных устройств
См. таблицуА.6
Тестирование программной системы (подтверждение соответСм. таблицуА.7
ствия)
11 Методы’средства следует выбирать в соответствии с уровнем полноты безопасности.
Примечания
1 Для удобства все процессы, связанные с верификацией, были объединены в настоящей таблице. Это.
однако, не накладывает дополнительных требований на элементы верификации, связанные с динамическим
тестированием, в таблицах А.5 и А.6, которые сами по себе относятся к процессам верификации. Настоящая
таблица также не требует проведения верификационного тестирования вдополнение к подтверждению соответ
ствия программного обеспечения (см. таблицу В.7). которая в настоящем стандарте представляет демонстра
цию соответствия спецификации требований к системе безопасности (конечную верификацию).
2 Требования к верификации включены в МЭК 61508-1 — МЭК 61508-3. Следовательно, первая верифи
кация системы, связанной с безопасностью, относится к ранним спецификациям системного уровня.
3 На ранних стадиях жизненного цикла программного обеспечения системы безопасности верификация
является статической, она может включать в себя, например, изучение, просмотр, формальную проверку. Ког да
программа готова, становится возможным проведение динамического тестирования. Для верификации тре
буется объединение информации обоих типов. Например, верификация программного модуля статическими
средствами включает в себя такие методы, как просмотр программ, прогон, статический анализ, формальная
проверка. Верификация программ динамическими средствами включает в себя функциональное тестирование,
тестирование методом белого ящика, статистическое тестирование. Использование проверок обоих типов по
зволяет утверждать, что каждый программный модуль удовлетворяет соответствующей спецификации.
4 См. таблицу С.9.
5 Ссылки (являющиеся справочными, а не обязательными) «В.х.х.х», «С.х.х.хп во второй графе указыва
ют на подробные описания методоа<’средств. изложенных в приложениях В и С [5].
44