ГОСТ Р МЭК 61508-3—2007
7.4.7 Требования к тестированию программных модулей
П р и м е ч а н и я
1 См. также таблицы А.5 (приложения А). В.2. В.З и В.6 (приложения В).
2 Процесс проверки того, что программный модуль корректно выполняет все требования, содержащиеся в
спецификации тестирования, относится к процессам верификации (см. 7.9). Сочетание просмотра исходных тек
стов и тестирования программных модулей дает гарантию того, что программный модуль удовлетворяет требова
ниям своей спецификации, т.е. верифицирует модупь.
7.4.7.1 Каждый программный модульдолжен быть протестирован в соответствии со специфика
цией. разработанной при проектировании программного обеспечения (см. 7.4.5).
7.4.7.2 Эти проверки должны продемонстрировать, что каждый программный модуль выполняет
функции, для которых он предназначен, и не выполняет функции, которые не были для него предусмот
рены.
П р и м е ч а н и я
1 Сказанное выше не означает тестирования всех комбинаций входныхданныхивсех комбинаций выходных
данных.Достаточным может быть тестирование всех классов эквивалентности (МЭК61508-7. пункт С.5.7 приложе
ния С) или структурное тестирование (МЭК 61508-7, пункт С.5.8 приложения С). Анализ граничных значений
(МЭК61508-7. пунктС.5.4 приложения С), анализ управляющей логики(МЭК61508-7. пункт С.5.9приложения С)или
анализ скрытых путей выпопнения программы (МЭК 61508-7, пункт С.5.11 приложения С) могут уменьшить коли
чество проверок до приемлемого уровня. Программы, пригодные для анализа (МЭК 61508-7. пункт С.2.7 приложе ния
С), могут позволить достичь болев быстрого выполнения требований.
2 Если при разработке используются формальные методы (МЭК 61508-7, пункт С.2.4 приложения С), фор
мальные доказательства (МЭК 61508-7, пункт С.5.13 приложения С) или операторы проверки условий (МЭК
61508-7. пункт С.3.3 приложения С), область применения подобных проверок может быть уменьшена.
3 Допускается использовать также статистические данные (МЭК 61508-7, приложение D).
7.4.7.3 Результаты тестирования программных модулей должны быть документированы.
7.4.7.4 Должны быть определены процедуры для коррекции при непрохождении теста.
7.4.8 Требования к тестированию интеграции программного обеспечения
П р и м е ч а н и я
1 См. также таблицы А.5 (приложение А). В.2. В.З и В.6 (приложение В).
2 Проверка того, что интеграция программного обеспечения является корректной, относится к процессам
верификации (см. 7.9).
7.4.8.1 Проверки интеграции программного обеспечения должны разрабатываться на этапе про
ектирования и разработки.
7.4.8.2 Проверки интеграции программного обеспечения должны определять следующее:
a) разделение программного обеспечения на контролируемые интегрируемые подмножества:
b
) контрольные примеры и контрольные данные;
c) типы проверок, которые должны быть выполнены,
d) условия тестирования, используемые инструменты, конфигурацию и программы:
e) условия, при которых проверка считается выполненной, и
0 процедуры, которые необходимо выполнить, если проверка дала отрицательный результат.
7.4.8.3 Программное обеспечение должно быть проверено в соответствии с заранее определен
ными тестами интеграции программ. Эти тесты должны продемонстрировать, что все программные
модули и программные компоненты/подсистемы корректно взаимодействуют для выполнения функ
ций. для которых они предназначены, и не выполняют непредусмотренных функций.
П р и м е ч а н и я
1 Сказанное выше не означает тестирования всех комбинаций входныхданныхивсех комбинаций выходных
данных. Достаточным может быть тестирование всех классов эквивалентности (МЭК 61508-7. пункт С.5.7 приложе
ния С) или структурное тестирование (МЭК 61508-7. пункт С.5.8 приложения С). Анализ граничных значений
(МЭК61508-7. пунктС.5.4 приложения С),анализ управляющей логики(МЭК61508-7. пункт С.5.9приложения С)или
анализ скрытыхпутей выполнения программы (МЭК 61508-7. пункт С.5.11 приложения С)могут уменьшитьколичес
тво проверокдо приемлемого уровня. Если выполняемая разработка ведет к созданию программ, пригодных для
анализа (МЭК 61508-7. пункт С.2.7 приложения С), то можно достичь более быстрого выполнения требований.
2 Если при разработке используются формальные методы (МЭК 61508-7. пункт С.2.4 приложения С), фор
мальные доказательства (МЭК 61508-7. пункт С.5.13 приложения С) или операторы проверки условий (МЭК
61508-7. пункт С.3.3 приложения С), область применения подобных проверок может быть уменьшена.
3 Допускается использовать также статистические данные (МЭК 61508-7. приложение D).
20