ГОСТ Р 53195.4—2010
5.6.3.4 Результаты тестирования программных модулей следует документировать.
5.6.3.5 Должны быть установлены процедуры для коррекции при нелрохождении теста.
5.6.10 Требования к тестированию интеграции ПО
5.6.10.1 Тесты интеграции ПОдолжны быть разработаны параллельно с разработкой ПО на ста
дии проектирования и разработки СБЗС ПО.
5.6.10.2 Спецификации тестов интеграции ПО должны устанавливать:
- разделение ПО на контролируемые интегрируемые подмножества:
- контрольные примеры и контрольные данные;
- типы проверок, которые должны быть выполнены;
- условия тестирования, используемые инструменты, конфигурацию и программы;
- критерии, на основании которых выносится решение о прохождении теста:
- процедуры, которые необходимо выполнить, если тестирование дало отрицательный результат.
5.6.10.3 ПО должно быть протестировано в соответствии с заранее определенными тестами
интеграции программ. Тестирование должно продемонстрировать, что все программные модули ипро
граммные компоненты/подсистемы корректно взаимодействуют для выполнения функций, для кото
рых они предназначены, и не выполняют непредусмотренных функций.
П р и м е ч а н и я
1 Тестирование программных модулей не означает тестирование всех комбинаций входных данных и всех
комбинаций выходных данных. Достаточным может быть тестирование всех классов эквивалентности или струк
турное тестирование. Анализ граничных значений, анализ управляющей логики или анализ скрытых путей выпол
нения программы может уменьшить количество проверок до приемлемого уровня. Программы, пригодные для
анализа, могут позволить достичь более быстрого выполнения требований.
2 Если при разработке используются формальные методы, формальные доказательства или операторы
проверки условий, область применения подобных проверок может быть уменьшена.
3 Допускается использовать также статистические данные.
4 Методы/средства, рекомендуемые для тестирования при интеграции, приведены в таблице А.5 приложе
ния А и таблицах Б.2, Б.З и Б.6 приложения Б.
5.6.10.4 Результаты тестирования интеграции ПО должны бытьдокументированы. В документа
ции должны быть сформулированы результаты тестирования идолжно быть указано, были ли выпол
нены цели и критерии проверки. При неудачных результатах тестирования должны быть описаны
причины этого.
5.6.10.5 При интеграции ПО все модификации или изменения должны быть объектом анализа
влияния, который позволяет определить, какие программные модули затрагиваются изменениями, и
установить необходимость повторной верификации и проектирования.
5.6.11 Интеграция программируемой электроники (АС и ПО) (см. блок 1.4 на рисунке 3)
5.6.11.1 При интеграции программируемой электроники осуществляются интеграция ПО в
предусмотренные АС. объединение АС и ПО в РЕ СБЗС-систему (подсистему), а также проверка для
удостоверения их совместимости итого, что выполняются требованиядостижения необходимого уров
ня полноты безопасности.
5.6.11.2 Тесты интеграции должны быть определены на стадии проектирования и разработки в
целях проверки совместимости ПО иАС в связанной с безопасностью РЕСБЗС-системе (подсистеме).
5.6.11.3 Спецификация тестирования интеграции программируемой электроники должна уста
навливать:
- разделение ПО на контролируемые интегрируемые подмножества;
- контрольные примеры и контрольные данные:
- типы проверок, которые должны быть выполнены;
- условия тестирования, используемые инструменты, конфигурацию и программы;
- критерии, на основании которых выносится решение о прохождении теста;
- процедуры, которые необходимо выполнить, если тестирование дало отрицательный результат.
5.6.11.4 Специфицированные тесты интеграции программируемой электроники (АС и ПО) долж
ны быть различнымидля операций, которые выполняются разработчиком на его оборудовании, и опе
раций, требующих доступа к оборудованию пользователя.
5.6.11.5 Тесты интеграции программируемой электроники (АС и ПО) должны быть различными
для следующих процессов:
а) загрузки ПО в целевое программируемое электронное оборудование;
б) интеграции Е/Е/РЕ-устройств, т. е. добавления интерфейсов, таких как датчики и устройства
привода:
16