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