ГОСТ Р МЭК 61508-7—2012
Таблица F.3 — Проектирование и разработка программного обеспечения: инструментальные средства под
держки и языки программирования (см.МЭК 61508-3. пункт 7.4.4 и таблица С.З)
Свойство
Определение
3.1 Поддержка разработки программ
ного обеспечения с требуемыми
свойствами программного обеспе
чения
Средства, обеспечивающие обнаружение ошибок
или устранение подверженных ошибкам структур
3.2 Четкость работы и функциональ
ность инструментальных средств
Обеспечение всестороннего охвата и ответной ре
акции для всех аспектов работы инструментальных
средств
3.3 Корректность и воспроизводимость
результата
Непротиворечивость и точность результата работы
инструментального средства для любого входного
задания
Таблица F.4 — Проектирование и разработка программного обеспечения: детальное проектирование (см.МЭК
61508-3, пункт 7.4.5 и таблица С.4)
Свойство
Определение
4.1 Полнота специфика
ции требований к про
граммному обеспечению
системы безопасности
Приняты методы детального проектирования и разработки программно
го обеспечения, которые гарантируют, что получающееся программное
обеспечение охватывает все потребности и ограничения системы без
опасности. сформированные для программного обеспечения
4.2Корректность специфи
кации требований к про
граммному обеспечению
системы безопасности
Существует конкретное доказательство, позволяющее утверждать,
что требования к системе безопасности, сформированные для про
граммного обеспечения, выполняются разработанным программным
обеспечением
4.3Отсутствие собствен
ных ошибок проекта
Разработанное программное обеспечение лишено внутренних отказов.
Примеры: зависания, доступ к несанкционированным ресурсам, утечки
ресурсов
4.4 Простота и понятность.
Предсказуемость по
ведения
Поведение разрабатываемого программного обеспечения предсказуемо
объективным и убедительным тестированием и анализом
4.5 Верифицируемоеь и те
стируемость проекта
Разработанное программное обеспечение является поддающимся про
верке и тестируемым
4.6Отказоустойчивость/Об-
наружение неисправ
ностей
Методы и разработки дают гарантию, что разработанное программное
обеспечение будет вести себя безопасно в присутствии ошибок
4.7Отсутствие отказов
по общей причине
Методы и проекты идентифицируют виды отказа по общей причине
и обеспечивают эффективные средства предостережения от отказов
программного обеспечения
Таблица F.5 — Проектирование и разработка программного обеспечения: тестирование и интеграция про
граммных модулей (см.МЭК 61508-3. пункты 7.4.7, 7.4.8 и таблица С.5)
Свойство
Определение
5.1 Полнота тестирования
и интеграции в соответ
ствии со спецификация
ми проекта программно
го обеспечения
Тестирование программного обеспечения исследует поведение про
граммного обеспечения с достаточной полнотой, чтобы гарантировать,
что все требования спецификации проектирования программного обе
спечения были удовлетворены
5.2Корректность тести
рования и интеграции
в соответствии со специ
фикациями проекта про
граммного обеспечения
(успешное выполнение)
Если задача тестирования модуля завершена, то существует конкрет
ное доказательство, позволяющее утверждать, что требования к систе
ме безопасности были удовлетворены
86