ГОСТРМЭК 62061—2015
Примечания
1 Вмешательство аналитика на стадии спецификации предпочтительнее его апостериорного вмешатель
ства, так как оно должно ограничить влияние любых принимаемых решений. С другой стороны, финансовые и
человеческие аспекты проекта не подвергаются оценке.
2 В интересах заявителя представить удовлетворительные свидетельства всех действий, выполненных во
время разработки программного обеспечения.
3 Аналитик должен иметь все необходимые элементы в своем распоряжении для того, чтобы сформулиро
вать мнение.
Оценка соответствия программного обеспечения выполняется для конкретной версии программного обе
спечения. на которую ссылаются. О любой модификации ранее оцененного программного обеспечения, которое
получило заключительное мнение от аналитика, необходимо сообщить последнему, чтобы были выполнены все
дополнительные действия по оценке этой модификации.
Примечание — Любое изменение может изменить поведение программного обеспечения, поэто
му оценка, выполняемая аналитиком, может быть применена только к строга конкретной версии программного
обеспечения.
С.8 Анализ верификации и подтверждения соответствия
Аналитические действия и верификация проектирования программного обеспечения должны проверить со
ответствие спецификациям.
Примечание — Цель состоит в том. чтобы удостовериться, что требования к программному обеспече
нию и проект (и детализированный и предварительный) когерентны.
Внешний анализ подтверждения соответствия (с аналитиком) должен быть проведен в конце стадии под
тверждения соответствия.
Примечание — Это может быть использовано, чтобы установить, удовлетворяет или нет элемент
спецификации.
Необходимо, чтобы результат каждого анализа был документально оформлен и помещен в архив. Он дол
жен включать список всех действий, выполненных в процессе анализа, и краткое заключения (решение о том. сле
дует ли переходить к следующему действию). Виды действий, выполняемые при анализе, нужно
контролировать и рассматривать.
С.9 Тестирование программного обеспечения
С.9.1 Общие положения о подтверждении соответствия
Перед написанием тестов важно создать стратегию тестирования вего плане. Эта стратегия определяет под
ход. цели, которые устанавливаются в терминах тестового охвата, окружающую среду и конкретные используемые
методы, применяемые критерии успеха выполнения теста и т.д
Цели тестов должны быть адаптированы к типу программного обеспечения и к конкретным факторам. Эти
факторы определяют типы осуществляемых тестов: функциональные, испытание в предельных условиях, запре
дельные тесты, тесты производительности, нагрузочные, внешние тесты отказа оборудования, тесты конфигура
ции. а также круг объектов, которые должны быть охвачены тестами (тесты режима функционирования, связанной с
безопасностью функции управления, для каждого элемента в спецификации и т.д.).
Верификация новой версии программного обеспечения должна включать в себя тесты стабильности.
Примечание — Тесты стабильности используются для того, чтобы изменения, выполняемые в про
граммном обеспечении, не изменяли поведение программного обеспечения любым неожиданным образом.
С.9.2 Верификация спецификации программного обеспечения. Тесты подтверждения соответствия
Целью этих верификаций является выявление ошибок, связанных с программным обеспечением, в окруже
нии целевой системы. Ошибки, обнаруженные этим типом верификации, включают в себя: любые некорректности
при обработке прерываний, недостаточный учет требований для времени выполнения, неправильную реакцию
программного обеспечения, работающего в неустановившемся режиме (пуск, входной поток, переключение в ре
жим с сокращенными возможностями ит.д.). конфликты доступа кразличным ресурсам или организационные про
блемы в памяти, неспособность комплексных испытаний для обнаружения неисправностей, ошибки интерфейса
программного обеспечения / аппаратных средств, переполнение стека. Тесты подтверждения соответствия — ос
новные компоненты для верификации спецификации программного обеспечения.
Тестовый охватдолженбыть выполнен строго всоответствии с матрицей трассируемое™ игарантировать, что:
- каждый элемент спецификации, включая механизмы обеспечения безопасности, охвачен тестом под
тверждения соответствия;
- поведение программного обеспечения гложет быть верифицировано в любом режиме работы в реальном
времени.
64