ГОСТ Р МЭК 60880—2010
между выгодами и рисками, связанными с их применением, а также баланс между выгодами и рисками,
связанными с отказом от их применения. Важный принцип состоит втом. чтобы при выборе инструменталь
ной программы ограничивалась вероятность совершения ошибки и внесения дефекта, а также обеспечи
валась максимальная вероятность регистрации дефектов.
В число инструментальных программ, рассматриваемых в настоящем стандарте, включены те из
них. которые используются для фиксирования требований, а также те. что применяются для реализации
требований в коде и данных конечной системы (могут существовать промежуточные шаги). В
настоящем стандарте рассматриваются также инструментальные программы, непосредственно
используемые при проведении верификации, валидации и тестирований, инструментальные программы
для подготовки при кладных данных и управления ими (см. 14.3.5), а также инструментальные
программы для контроля и управления процессами и продукцией, используемыми при разработке
программного обеспечения.
Автономные инструментальные программы, используемыедля расчета важных переменных, приме
няемых при проектировании и проведении анализа оборудования, важного для безопасности, не входят в
область применения настоящего стандарта. В область применения настоящего стандарта также не входят
текстовые процессоры, инструментальные программы для контроля проектирования и другие офисные
программы, косвенно связанные с разработкой программного обеспечения.
14.2 Выбор инструментальных программ
14.2.1 Инструментальные программы для разработки программного обеспечения систем класса 1
должны выбираться так. чтобы обеспечить процесс их программирования. Критерии и процесс выбора
описаны в 14.3.1. Должна бытьопределена и документально оформлена область применимости всех инст
рументальных программ. Инструментальные программы и их выходные данные недолжны использовать ся
без предварительного обоснования, вне заявленной области их применения.
14.2.2 Инструментальные программы, используемые при разработке программного обеспечения сис
тем класса 1.должны быть верифицированы и оценены втой степени, которая соответствуеттребованиям
к надежности инструментальных программ, их типу (см. 14.2.3. перечисления 1) — 5)] и вероятности внесе
ния дефектов.
14.2.3 Инструментальные программы должны иметь достаточную надежность для того, чтобы не
ухудшать надежность конечной программы. Например, инструментальная программа может отрицательно
влиять на разработку программного обеспечения путем внесения ошибок, выработки искаженных выход
ных данных, неспособностью зарегистрировать уже существующий дефект.
Для снижения требований к надежности отдельных инструментальных программ при их выборе могут
быть рассмотрены принципы «защиты в глубину» и разнообразие, принятыедля архитектуры контроля и
управления.
Степень требуемых верификации и оценки также зависит от типа инструментальной программы и от
того, возможна ли полная верификация и валидация выходных данных инструментальной программы.
Существуют следующие типы инструментальных программ:
1) преобразующие инструментальные программы, такие, например, как генераторы кода, компилято
ры программы, преобразующие текст или диаграмму из одного уровня абстракции вдругой, обычно более
низкий.
2) инструментальные программы для верификации и валидации, такие, например, как статические
анализаторы кода, мониторы тестового покрытия, вспомогательные средства для доказательства теорем и
имитаторы;
3)диагностические инструментальные программы, используемые для поддержания и контроля на
хождения программного обеспечения в рабочих условиях;
4) инструментальные программы инфраструктуры, такие, например, как системы поддержки разра
ботки;
5) инструментальные программы управления конфигурацией, такие, например, как инструменталь
ные программы управления версией.
14.3 Требования к инструментальным программам
Требования к инструментальным программам представлены по следующим темам.
a) средства разработки программ;
b
)аттестация инструментальной программы;
c) управление конфигурацией инструментальных программ;
d) трансляторы/компиляторы.
33