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