ГОСТ Р МЭК 61508-6—2007
Т а б л и ц аЕ.15 — Проектирование и разработка программного обеспечения: проверка и интеграция програм
мных модулей (см. МЭК 61508-3, пункты 7.4.7 и 7.4.8)
М сто д/ср е дств о
С сы ла яSIL3
И нтерпретация (о настоящ ей прилож ении)
1 Вероятностное тестирование
С.5.1R
Используется для программных модулей,
исходный код которых недоступен, а опреде
ление граничных значений и классов эквива
лентности для тестовых данных затруднено
2 Динамический анализ и тестирование
В.6.5,HR
таблица
В.2
Используются для программных моду
лей. исходный код которых доступен.
Выполняют: контрольные примеры, раз
работанные с помощью анализа граничных
значений, моделирование производитель
ности. разделение входных данных на клас
сы эквивалентности, структурное тестирова
ние
3 Регистрация и анализ данных
С.5.2HR
Используют запись входных данных и ре
зультатов тестирования
4 Функциональное тестирование и тести
рование методом черного ящика
В.5.1,HR
В.5.2.
таблица
В.З
Используют для программных модулей,
исходный код которых недоступен, идля про
верки интеграции.
Выбираются входные данные для тести
рования всех заданных функциональных
блоков, включая обработку ошибок. Исполь
зуются: тестовые примеры, полученные с
помощью причинно-следственных схем, про
тотипирование. анализ граничных значений,
разделение данных на классы эквивалент
ности и декомпозиция входных данных
5 Моделирование производительности
С.5.20.HR
таблица
В.6
Используют при проверке интеграции на
конкретном оборудовании
6 Тестирование интерфейса
С.5.3HR
Не используют
Т а б л и ц аЕ.16 — Интеграция программируемой электроники (аппаратных средств и программного обеспече
ния) (см. МЭК 61508-3. подраздел 7.5)
М отод<’средства
С сы пкаSIL3
И нтерпретация |п настоящ ем прилож ении)
1 Функциональное тестирование и тести
рование методом черного ящика
В.5.1,HR
В.5.2.
таблица
В.З
Используют как дополнительные тесты
при интеграции программного обеспечения
(см. таблицу Е.15).
Выбираются входные данные для тести
рования всех заданных функциональных
блоков, включая обработку ошибок. Исполь
зуются: тестовые примеры, полученные с
помощью причинно-следственных схем, про
тотипирование, анализ граничных значений,
разделение данных на классы эквивалент
ности и декомпозиция входных данных
2 Моделирование производительности
С.5.20.HR
таблица
В.6
Широко используют
57