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