ГОСТРМЭК 62061—2013
- проверку каждой ветви всех модулей прикладного программного обеспечения:
- проверку для граничных данных:
- корректное выполнение последовательности действий с учетом соответствующих требований
синхронизации.
6.11.3.7.4 Результаты тестирования программных модулей должны быть документально оформлены.
6.11.3.7.5 Если программное обеспечение уже было оценено или имеется информация о значи
тельном положительном опыте его эксплуатации, то количество испытаний можно сократить.
6.11.3.8 Требования к тестированию интеграции прикладного программного обеспечения
П р и м е ч а н и е — Процесс проверки того, что интеграция программного обеспечения является коррект
ной. относится к процессам верификации.
6.11.3.8.1 Прикладное программное обеспечение должно быть проверено, чтобы убедиться,
что все модули прикладного программного обеспечения и компоненты/подсистемы корректно взаи
модействуют друг с другом и со встроенным программным обеспечением для выполнения функций,
для которых они предназначены, и не выполняют непредусмотренных функций, которые могли бы
угро жать любой функции безопасности.
6.11.3.8.2 Результаты проверки интеграции прикладного программного обеспечения необхо
димо документально оформить, в них следует сформулировать:
- результаты проверки:
- были ли выполнены цели и критерии проверки.
6.11.3.8.3 Если тестирование окончилось неудачно, то причины неудачи и предпринятые кор
ректирующие действия должны быть включены в документацию по результатам испытаний.
6.11.3.8.4 При интеграции прикладного программного обеспечения все модификации или из
менения программного обеспечения должны быть объектом анализа влияния на безопасность,
который должен определить:
- все программные модули, затрагиваемые изменениями;
- все необходимые действия для повторных верификации и проектирования.
6.12 Интеграция и тестирование СБЭСУ
П р и м е ч а н и е — Интеграция СБЭСУ обычно проводится до установки, но в некоторых случаях интегра
ция СБЭСУ не может быть осуществлена до окончания установки (например, если разработка прикладного про
граммного обеспечения не завершена).
6.12.1 Общие требования
6.12.1.1 СБЭСУ должна быть интегрирована в соответствии с конкретным проектом СБЭСУ.
В рамках интеграции все подсистемы и элементы подсистем СБЭСУ. СБЭСУ должны быть испытаны
в соответствии с конкретными тестами интеграции. Эти испытания должны показать, что все модули
взаимодействуют правильно для выполнения функций, для которых они предназначены и не выполняют
непредусмотренных функций.
6.12.1.2 Интеграция связанного с безопасностью программного обеспечения в СБЭСУ включает
тесты, которые определяются на стадии проектирования и разработки, для обеспечения совместимо
сти программного обеспечения с аппаратными средствами и встроенной платформой программного
обеспечения так. чтобы были выполнены функциональные требования и требования безопасности.
П р и м е ч а н и я
1. Тестирование всех входных комбинаций не проводится. Считается достаточным тестирование всех клас
сов эквивалентности (см. МЭК 61508-7. n. В.5 и п С.5.7). Статический анализ, динамический анализ или анализ
отказов могут сократить число испытаний до приемлемого уровня. Использование структурного
проектирования или полуформальных методов упрощает выполнение тестирования и верификации.
2 Использование структурного проектирования или полуформальных методов может позволить уменьшить
глубину и количество тестов.
3 Статистические данные также могут быть использованы для уменьшения глубины и количества тестов.
6.12.1.3 Для тестирования интеграции СБЭСУ должна быть разработана соответствующая до
кументация. устанавливающая результаты испытаний и определяющая достигнуты ли цели и критерии,
определенные на стадиях проектирования и создания систем. В случае отказа должны быть докумен
тально оформлены его причины, выполнены действия по его корректировке и повторное тестирование.
42