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