ГОСТ Р МЭК 61508-6-2012
Таблица Е.15 - Проектирование и разработка программного обеспечения:
проверка и интеграция программных модулей (см. МЭК 61508-3, пункты 7.4.7 и 7.4.8)
Метод/средствоСсылка УПБЗИнтерпретация (в настоящем приложении)
1 Вероятностное тестированиеС.5.1
2 Динамический анализ и тес В.6.5,
тирование Табл.
В.2
3 Регистрация и анализ данныхС.5.2
4 Функциональное тестированиеВ.5.1,
итестированиеметодом В.5.2,
«черного ящика» Табл.
В.З
R
Используется для программных модулей, ис
ходный код которых недоступен, а определение
граничных значений и классов эквивалентности
для тестовых данных затруднено
HR
Используются дляпрограммныхмодулей,
исходный код которых доступен.
Выполняют: контрольные примеры, разрабо
танные с помощью анализа граничных значе
ний. моделирование производительности, раз
деление входных данных на классы эквива
лентности. структурное тестирование
HR
Используютзаписьвходныхданныхи
результатов тестирования
HR Используют для программных модулей, ис
ходный код которых не доступен, и для провер
ки интеграции.
Выбираются входные данные для тестирова
ния всех заданных функциональных блоков,
включая обработку ошибок. Используются: тес
товые примеры, полученные с помощью при
чинно-следственных схем, прототипирование,
анализ граничных значений, разделение дан
ных на классы эквивалентности и декомпозиция
входных данных
5 Тестирование производитель Табл.
ностиВ.6
6 Тестирование, основанное на С.5.27
модели
HR Используют при проверкеинтеграции на
конкретном оборудовании
HRНе используют
7 Тестирование интерфейсаС.5.3
8 Управление тестированием иС.4.7
средства автоматизации
HR Включено в функциональное тестирование и
тестирование методом «черного ящика»
HRИспользуются, где доступно
HR Проверка,гарантирующая.чтотесты
интеграции достаточны
9Прямаяпрослеживаемость С.2.11
между спецификацией проекта
программного обеспеченияи
спецификациямитестирования
модуля и интеграции
10 Формальная верификацияС.5.12
RНе используется
П р и м е ч а н и е - В столбце «Ссылка» "В.х.х.х*, "С.х.х.х” указывают на описания методов,
изложенные в приложениях В и С МЭК 61508-7. а "Табл. А.х", "Табл. В.х" - на таблицы методов,
представленные в приложениях А и В МЭК 61508-3.
146