ГОСТ Р МЭК 61508-6-2012
Таблица Е.7 - Подтверждение соответствия аспектов программного обеспечения
системы безопасности (см. МЭК 61508-3, подраздел 7.7)
Метод/средство
Ссылка УПБ2
Интерпретация (в настоящем приложении)
1 Вероятностное тестирование
С.5.1R
Не используется для языков программи
рования с ограниченной изменчивостью
2 Моделирование процесса
С.5.18
R
Не используется для языков программи
рования с ограниченной изменчивостью, но
все чаще используется при разработке
систем ПЛК
3 МоделированиеТабл.
В.5
4 Функциональное тестирование и В.5.1.
тестирование методом «черного ящика» В.5.2.
табл.
В.З
5 Прямая прослеживаемость между спе С.2.11
цификацией требований к программно
му обеспечению системы безопасности
и планом подтверждения соответствия
программногообеспечениясистемы
безопасности
6 Обратная прослеживаемость между С.2.11
планомподтверждениясоответствия
программного обеспечения системы бе
зопасности и спецификацией требова
ний к программному обеспечению систе
мы безопасности
RНе используется для языков программи
рования с ограниченной изменчивостью, но
все чаще используется при разработке
систем ПЛК
HR Выбираются входные данные для тестиро
вания всех заданных функциональных бло
ков. включая обработку ошибок. Исполь
зуются: тестовые примеры, полученные с
помощьюпричинно-следственныхсхем,
анализ граничных значений и декомпозиция
входных данных
R Проверка полноты: проверка, гарантиру
ющая, что запланированное адекватное
подтверждение соответствия программного
обеспечения учтено в требованиях к про
граммномуобеспечениюсистемыбе
зопасности
RМинимизациясложности:проверка,
гарантирующая. чтовсе проверки
подтверждения соответствия необходимы
П р и м е ч а н и е- В столбце «Ссылка» "В.х.х.х", "С.х.х.х" указывают на описания методов,
изложенные в приложениях В и С МЭК 61508-7. а "Табл. А.х", "Табл. В.х" - на таблицы методов,
представленные в приложениях А и В МЭК 61508-3.
137