ГОСТ Р МЭК 62279—2016
0 анализ влияния результата изменений на разрабатываемый компонент программного обеспече
ния или уже поставленный.
д) анализ влияния должен предусмотреть повторную проверку, повторное подтверждение соот
ветствия и повторное оценивание, необходимые для изменения;
h) если применены многократные изменения, то необходимо рассмотреть влияние кумулятивного
эффекта.
П р и м е ч ан и е — Несколькоизменений, могуткумулятивно потребовать полного повторного тестирования;
i) разрешение на изменение перед реализацией.
6.6.4.2Все изменения должны инициировать возврат к надлежащей стадии жизненного цикла. За
тем все последующие стадии должны быть выполнены в соответствии с процедурами, определенными
для конкретных стадий в соответствии с требованиями настоящего стандарта.
6.7 Инструментальные средства поддержки и языки
6.7.1 Цели
Представить свидетельства о том. что возможные отказы инструментальных средств не оказы
вают негативное влияние на выход интегрированного комплекса инструментальных средств в его свя
занном с безопасностью применении, которые не выявляются техническими иУили организационными
мерами вне инструментальных средств. С этой целью инструментальные средства для программного
обеспечения разделены в три класса Т1, Т2 и ТЗ (см. определения в 3.1).
Если инструментальные средства используются вместо операций, выполняемых вручную, то до
казательство полноты выхода инструментальных средств может быть представлено теми же этапами
процесса, как будто этот выход был получен в результате операции, выполненной вручную. Эти этапы
процесса могли бы быть заменены альтернативными методами, если дана аргументация о полноте
выхода инструментальных средств, и уровень полноты программного обеспечения в результате такой
замены не снижен.
6.7.2 Входные документы
Спецификация инструментальных средств или руководство по инструментальным средствам.
6.7.3 Выходные документы
Отчет о подтверждении соответствия инструментальных средств (при необходимости см. 67.4.4
или 67.4.6).
6.7.4 Требования
67.4.1Инструментальные средства для программного обеспечения должны выбираться как со
гласованная часть действий по разработке программного обеспечения.
П р и м е ч ан и е — Соответствующие инструментальные средства, поддерживающие разработку программ
ного обеспечения, используются для увеличения полноты программного обеспечения, снижая вероятность введе
ния или не обнаружения сбоев во время разработки. Примеры инструментальных средств, относящихся к стадиям
жизненного цикла разработки программного обеспечения, включают:
a) инструментальные средства преобразования или трансляции, которые конвертируют программное обе
спечение или представление проекта (например, текст или схему) от одного уровня абстракции до другого: инстру
ментальные средства усовершенствования проекта, компиляторы, ассемблеры, компоновщики, редакторы связей,
загрузчики и инструментальные средства генерации кода:
b
) инструментальные средства проверки и подтверждения соответствия такие, как статические анализаторы
кода, мониторы тестового охвата, «помощники» средств доказательства теорем, средства моделирования и сред
ства проверки моделей;
c) инструментальные средства диагностики, используемые для поддержки и контроля программного обе
спечения в условиях эксплуатации;
d) инструментальные средства инфраструктуры, такие как системы поддержки разработки;
е) инструментальные средства управления конфигурацией, такие как инструментальные средства управле
ния версиями;
f)инструментальные средства данных приложения, которые производят или поддерживают данные, требу
ющиеся для определения параметров и создания системных функций, например, параметры функции, диапазоны
инструментов, уровни уставок и блокировок аварийной сигнализации, состояния выхода, которые будут определе
ны как отказ, географическое расположение.
Выбранные инструментальные средства в состоянии взаимодействовать. В этом контексте инструмен
тальные средства взаимодействуют, если выходы одного инструментального средства имеют соответствую-
23