ГОСТ Р МЭК 61508-6—2007
Т а б л и ц а Е.7 — Безопасность программного обеспечения, проверка (см. МЭК 61508-3. подраздел 7.7)
М
с
тоД|’средс
t
оа
С сы пкаSIL2
И нтерпретация |п настоящ ем прилож ении)
1 Вероятностное тестирование
С.5.1R
Не используется для языков программи
рования с ограниченной варьируемостью
2 Имитация/моделирование
ТаблицаR
В.5
Не используется для языков программи
рования с ограниченной варьируемостью, но
все чаще используется при разработке сис
тем ПЛК
3 Функциональное тестирование и тести
рование методом черного ящика
В .З
В.5.1.HR
В.5.2.
таблица
Выбираются входные данные для тести
рования всех заданных функциональных
блоков, включая обработку ошибок. Исполь
зуются: тестовые примеры, полученные с
помощьюпричинно-следственныхсхем,
анализ граничных значений и декомпозиция
входных данных
Т а б л и ц аЕ.8 — Модификация программного обеспечения (см. МЭК 61508-3, подраздел 7.8)
М стодГсредстоаС сы лк аSIL2И нтерпретация In настоящ ем прилож ении)
1 Анализ влиянияС.5.23HRВыполняют анализ последствий для
изучения того, насколько влияние предла
гаемых изменений ограничено модульной
структурой всей системы
2 Повторная верификация измененныхС.5.23
программных модулей
HRПовторение предыдущих тестов
3 Повторная верификация программныхС.5.23
модулей, на которые оказывают влияние из
менения в других модулях
HRПовторение предыдущих тестов
4 Повторное подтверждение соответстС.5.23
вия системы
RЕсли анализ последствий показал необ
ходимость модификации системы, то после
выполнения ее модификации обязательно
проводится повторное подтверждение соот
ветствия системы
5 Управление конфигурацией программС.5.24
ного обеспечения
HR
Поддерживает базовую конфигурацию,
изменения в ней. влияние на другое систем
ные требования
6 Регистрация и анализ данныхС.5.2
HRВыполняется запись исходных данных и
результатов тестирования
Т а б л и ц аЕ.9 — Проверка программного обеспечения (см. МЭК 61508-3. подраздел 7.9)
М сто дГсре дстео
С сы лк аSIL2
И нтерпретация
(в
настоящ ем прилож ении)
1 Формальное доказательство
С.5.13R
Не используется для языков программи
рования с ограниченной варьируемостью
2 Вероятностное тестирование
С.5.1R
Заменяется опытом эксплуатации суще
ствующих компонентов
3 Статический анализ
В.6.4,HR
таблица
В.8
Выполняют анализ перекрестных ссылок
использования переменных, условий и т. д.
4 Динамический анализ и тестирование
В.6.5,HR
таблица
В.2
Используются автоматические средства
тестирования для облегчения регрессивно
го тестирования
53