ГОСТ IEC 60730-1—2016
Примечание — Примерами методов статистического анализа являются:
- анализ потока команд:
- анализ потока данных:
- сквозной контроль/рецензирование проекта.
Н.11.12.3.2.4 Стандарты проектирования и кодирования
Стандарты программного проектирования и кодирования должны быть последовательно использованы в
ходе процессов проектирования и сопровождения программного обеспечения.
Стандарты кодирования должны указывать практические рекомендации по программированию, признаки не
безопасных языковых конструкций, описывать процедурыдля документации исходного кода, а также для соглаше
ний об именовании переменных.
Н.11.12.3.3 Испытания
Н.11.12.3.3.1 Модульное проектирование (системное проектирование программного обеспечения, модуль
ное проектирование и кодирование программного обеспечения)
Н.11.12.3.3.1.1 Концепция тестирования с подходящим набором тестовых ситуацийдолжна бытьопределена
на основе спецификации модуля.
Н.11.12.3.3.1.2 Каждый модуль программного обеспечения должен бытьпротестирован как указано в концеп
ции тестирования.
Н.11.12.3.3.1.3 Наборы тестовых ситуаций, данные для тестирования и результаты тестирования должны
быть задокументированы.
Н.11.12.3.3.1.4 Поверка кода модуля программного обеспечения при помощи статических средств включает
в себя такие методики, как осмотры, сквозной контроль, статический анализ и формальные подтверждения.
Поверка кода модуля программного обеспечения при помощи динамических средств включает в себя функ
циональное тестирование, тестирование по принципу «стеклянного ящика» и статистическое тестирование.
Поверка является комбинацией обоих типовдоказательств, чтодает уверенность в том. что каждый модуль
программного обеспечения удовлетворяет связанной с ним спецификации.
Примеры подходое/способое указаны в таблице Н.6.
Таблица Н.6 — Тестирование модулей программногообеспечения
Техиик&ГСпособСсылки (для справки}
Динамический анализ и тестирование:
Анализ работы в тестовой ситуации на границах диапазона
Тестирование на основе архитектуры
B.6.5IEC 61508-7:2010
C.5.4 IEC 61508-7:2010
С.5.8 IEC 61508-7:2010
Запись данных и анализ
С.5.2 IEC 61508-7:2010
Функциональное тестирование и тестирование по принципу «черного
ящика»:
Анализ пограничных значений
Имитация процесса
В.5.1. В.5.2 IEC 61508-7:2010
С.5.4 IEC 61508-7:2010
C.5.18IEC 61508-7:2010
Тестирование рабочих характеристик:
Лавинное/стрессовое тестирование
Время отклика и ограничения по памяти
С.5.20 IEC 61508-7:2010
С.5.21 IEC 61508-7:2010
С.5.22 IEC 61508-7:2010
Тестирование интерфейса
С.5.3 IEC 61508-7:2010
Примечание — Тестирование модуля программного обеспечения является поверочной деятельностью.
Н.11.12.3.3.2 Интеграционное тестирование программного обеспечения
Н.11.12.3.3.2.1 Концепция тестирования с подходящим набором тестовых ситуацийдолжна бытьопределена
на основе архитектурной спецификации модуля.
Н.11.12.3.3.2.2 Программное обеспечение должно быть протестировано как указано в концепции тестирова
ния.
Н.11.12.3.3.2.3 Наборы тестовыхситуаций, тестовыхданных и результатов тестирования должны быть задо
кументированы.
Примеры подходое/способое указаны в таблице Н.7.
156