ГОСТ Р МЭК 61508-6-2012
Таблица Е.19 - Верификация программного обеспечения (см. МЭК 61508-3,
п. 7.9)
Метод/средствоСсылка УПБЗИнтерпретация (в настоящем
приложении)
1Формальное доказательствоС.5.12
2 Анимация спецификации и тестироС.5.26
вания
R Используется только в исключительных
случаях для некоторых очень важных
классов
RНе используется
3 Статический анализ В.6.4
Табл. В.8
HR Для всего вновь разработанного кода
используются: анализ граничных значе
ний, таблица контрольных проверок,
анализ потоков управления,анализ
потоков данных, проверка разработки
программ, анализ проектов
4 Динамический
вание
анализ и тестиро В.6.5
HRДля всего вновь разработанного кода
Табл. В.2
5 Прямая прослеживаемость междуС.2.11
спецификацией проекта программного
обеспечения и планом верификации
(включая верификацию данных) про
граммного обеспечения
HR Проверка полноты: проверка, гаран
тирующая, что процедуры модификации
обеспечивают достижение требований к
программному обеспечениюсистемы
безопасности
6 Обратная прослеживаемость междуС.2.11
планом верификации (включая вери фикацию
данных) программного обес
печения и спецификацией проекта про
граммного обеспечения
проверка,
процедуры
HR Минимизациясложности:
гарантирующая, чтовсе
модификации необходимы
7 Численный анализ в автономномС.2.13
режиме
HR Не используется. Числовая устойчи
вость вычислений в данном случае не
является главной проблемой
ТестированиеиинтеграцияпроСм. таблицу Е.15 настоящего стандарта
граммных модулей
ТестированиеинтеграциипрограмСм. таблицу Е.16 настоящего стандарта
мируемой электроники
Тестирование программной системыСм. таблицу Е.17 настоящего стандарта
(подтверждение соответствия)
П р и м е ч а н и е - В столбце «Ссылка» ’В.х.х.х\ "С.х.х.х" указывают на описания методов,
изложенные в приложениях В и С МЭК 61508-7. а Табл. А.х*. Табл. В.х* - на таблицы методов,
представленные в приложениях А и В МЭК 61508-3.
150