ГОСТРМЭК 62061—2013
Результаты подтверждения соответствия следует записать в отчет о подтверждении соответствия, который
должен содержать, по крайней мере, следующие моменты:
- версии программною обеспечения и системы, для которых была выполнена процедура подтверждения
соответствия;
- описание выполненных тестов подтверждения соответствия (входы, выходы, процедуры тестирования);
- инструментальные средства и оборудование, используемые для подтверждения соответствия или оценки
результатов;
- результаты, показывающие, является ли каждый тест подтверждения соответствия успешным или не
удачным;
- оценка подтверждения соответствия: выявленные несоответствия, влияние на безопасность, решение
о том. что программное обеспечение прошло подтверждение соответствия или нет.
Отчет о подтверждении соответствия должен быть доступен для каждой версии поставляемого программно
го обеспечения и содержать соответствующую информацию об окончательной версии каждого элемента поставля
емого программного обеспечения.
П р и м е ч а н и е — Данный отчет может быть использован для предоставления доказательств того, что ис
пытания действительно были выполнены и результаты были правильными (или содержат объяснимые отклоне
ния). Он также может быть использован для повторения испытаний в более поздние сроки для будущей версии
программного обеспечения или для другого проекта. Это дает гарантию, что каждая поставляемая версия завер
шена и прошла подтверждение соответствия. С другой стороны, не предполагается полное подтверждение со
ответствия каждой модификации существующего кода — в некоторых случаях анализ влияния может частично
обосновать подтверждение соответствия.
С.9.3 Верификация проекта программного обеспечения. Тесты интеграции программного обеспечения
Данная верификация нацелена на обеспечение корректности комплекса программных модулей и отношений
между программными компонентами. Она может быть использована для выявления ошибок следующего вида:
неправильная инициализация переменных и констант, ошибки в передаче параметров, любые изменения данных,
особенно глобальных данных, неправильная последовательность событий и операций.
Тесты интеграции программного обеспечения должны проверять:
- последовательность выполнения программ;
- обмен данными между модулями;
- соблюдение критериев эффективности;
- неизменность глобальных данных.
Тестовый охват должсен быть выполнен строго в соответствии с матрицей трассируемости и демонстриро
вать. что соответствие между выполняемыми тестами, и целями испытаний определено.
Результаты тестирования интеграции необходимо записать в отчете о тестировании интеграции программно
го обеспечения, который должен, как минимум, содержать следующие пункты:
- версию интегрированного программного обеспечения;
- описание проведенных испытаний (входы, выходы, процедуры);
- результаты тестов интеграции и их оценку.
С.9.4 Верификация детального проектирования. Тесты модуля
Тесты модуля предназначены для проверки модулей программного обеспечения и их соответствия с деталя
ми проекта. Эти действия могут быть необходимы для больших и сложных элементов программного обеспечения,
но рекомендуются только для относительно небольших элементов программного обеспечения, рассматриваемых
в настоящем стандарте. Эта стадия процедуры верификации позволяет выявить следующие виды ошибок:
- неспособность алгоритма удовлетворять спецификации программного обеспечения;
- некорректность выполнения циклических операций;
- некорректность выполнения логического выбора:
- неспособность верно вычислить правильные комбинации входных данных;
- некорректный результат в случае пропуска или изменения входных данных;
- нарушение границ массива;
- неправильная последоеательность расчетов:
- недостаточная точность:
- некорректность и неэффективность алгоритма.
Для каждого программного модуля должна быть определена серия тестов, чтобы проверить использование
входных данных, выполнение модулем функций, указанных на стадии детального проектирования.
Тестовый охват необходимо представить матрицей трассируемости, которая демонстрирует соответствие
между результатами тестирования и целями заданных тестов.
66