ГОСТ Р МЭК 61508-3—2012
терпрвгации свойств в приложении С настоящего стандарта и неформальные описания методов и средств в при
ложении F МЭК 61508-7) тестирования программных модулей:
- полнота тестирования в соответствии со спецификацией проекта программного обеспечения;
- корректность тестирования в соответствии со спецификацией проекта программного обеспечения (успеш
ное выполнение);
- воспроизводимость:
- точно определенная конфигурация тестирования.
7.4.7.1 Каждый программный модуль должен быть протестирован в соответствии со специфика
цией. разработанной при проектировании программного обеспечения (см. 7.4.5).
П р и м е ч ан и е — Верификация состоит из тестирования и анализа.
7.47.2Эти проверки должны продемонстрировать, что каждый программный модуль выполняет
функции, для которых он предназначен, и не выполняет функций, которые не были для него предусмо трены.
П рим ечан ия
1 Сказанное выше не означает тестирования всех комбинаций входных и выходных данных. Достаточным
может быть тестирование всех классов эквивалентности или структурное тестирование. Анализ граничных зна
чений или потоков управления гложет сократить число проверок до приемлемого уровня. Программы, пригодные
для анализа, могут помочь в достижении более быстрого выполнения требований. Перечисленные методы см.
в приложении С МЭК 61508-7.
2 Если при разработке используют формальные методы, формальные доказательства или операторы про
верки условий, то область применения подобных проверок может быть уменьшена. Перечисленные методы см. в
приложении С МЭК 61508-7.
3 Хотя систематическая полнота безопасности обычно количественно не определяется (см. пункт 3.5.6
МЭК 61508-4). определенные количественно статистические данные (например, статистическое тестирование, по
вышение надежности) являются приемлемыми, если удовлетворены все соответствующие условия для статисти
чески достоверного доказательства. Например, см. приложение О МЭК 61508-7.
4 Если модуль настолько прост, что для него реально провести исчерпывающий тест, то это может быть са
мым эффективным способом демонстрации соответствия.
7.4.7.3 Результаты тестирования программных модулей должны быть документально оформлены.
7.47.4 Должны быть определены процедуры для коррекции при непрохождении теста.
7.4.8 Требования к тестированию интеграции программного обеспечения
П р и м е ч ан и е — Проверка того, что интеграция программного обеспечения является корректной, относит
ся к процессам верификации (см. 7.9).
7.4.8.1 Проверки интеграции программного обеспечения должны разрабатываться на этапе про
ектирования и разработки (см. 7.4.5).
7.4.8.2 Проверки интеграции системы программного обеспечения должны определять:
a) разделение программного обеспечения на контролируемые интегрируемые подмножества,
b
) контрольные примеры и контрольные данные;
c) типы проверок, которые должны быть проведены;
d) условия тестирования, используемые инструменты, конфигурацию и программы;
e) условия, при которых проверка считается выполненной, и
f) процедуры, которые необходимо выполнить, если проверка дала отрицательный результат.
7.4.8.3 Программное обеспечение должно быть проверено в соответствии с тестами интеграции
программ, определенными в спецификации тестирования интеграции системы программного обеспече
ния. Эти тесты должны продемонстрировать, что все программные модули и программные элементы/
подсистемы корректно взаимодействуют для выполнения функций, для которых они предназначены, и
не выполняют непредусмотренных функций.
П рим ечан ия
1 Сказанное выше не означает тестирования всех комбинаций входных и выходных данных. Достаточным
может быть тестирование всех классов эквивалентности или структурное тестирование. Анализ граничных зна
чений или потоков управления может сократить число проверок до приемлемого уровня. Программы, пригодные
для анализа, могут помочь в достижении более быстрого выполнения требований. Перечисленные методы см. в
приложении С МЭК 61508-7.
2 Если при разработке используют формальные методы, формальные доказательства или операторы про
верки условий, то область применения подобных проверок может быть уменьшена. Перечисленные методы см. в
приложении С МЭК 61508-7.
28