ГОСТ Р МЭК 62138—2010
3 Должны быть установлены идо
к
ументально оформлены
к
ритерии прием
к
ипри тестирова
ниях этих программ. по возможности, сучетом результатов других средств верифи
к
ации. Несоот
ветствие этим
к
ритериям должнобыть обосновано.
Критерии прием
к
и могут базироватьсяна фун
к
циональных и/или стру
к
турных по
к
азателях.
4 Программы, написанные на универсальных языках, должны соответствовать оформленным
документально правилам, обеспечивающим четкость, возможность модификации и тестируемость.
Эти правила следует выражать та
к
. чтобы их можно было верифицировать, и они должны быть
нацелены нараннее обнаружение иограничение ошибо
к
в программном обеспечении.
Набор правил может быть специфичным для язы
к
а или па
к
ета программ. Невысо
к
ая слож
ность. стру
к
турное программирование, модульность, ин
к
апсуляция, с
к
рытая информация (для
того, чтобы пользователи программного проду
к
та имели делолишь с предоставляемым им серви
сом. но не с внутренней работой проду
к
та), наличие соответствующих
к
омментариев, отсут
ствие опасных особенностей язы
к
а и его инструментов являются примерами свойств,
к
оторые
могут облегчить понимание, верифи
к
ацию, тестирование и последующую модифи
к
ацию програм
много обеспечения.
5 Еслимогут использоватьсяинструменты статичес
к
ого анализа сложности
к
ода, то прави
ла должны устанавливать допустимые метричес
к
ие пределы.
6 Программы, написанные на универсальныхязы
к
ах, должны быть верифицированы на соот
ветствие применяемым правилам и стандартам. Несоответствия должны быть обоснованы и
должны быть предприняты, до
к
ументально оформлены и. при необходимости, обоснованы соот
ветствующие
к
онтрмеры.
Контрмеры в случае несоответствия могут представлять собой, например, болев полную
верифи
к
ацию.
6.6 Программные аспекты интеграции системы
Интеграция программного обеспечения рассматривается как часть интеграции системы. Настоя
щий подразделдополняет пункты 6.1.4 и 6.2.3 МЭК 61513, устанавливая дополнительные требования,
специфичные или особенно важныедля программногообеспечения.
1 Интеграция программного обеспечения и/или его анализ должны показать, что интегрирован
ные система и программное обеспечение:
- соответствуюттем положениям проекта, которыеобеспечиваютвыполнениеуказанийспецифи
кации требований к программномуобеспечению, определенных в качестве важныхдля безопасности:
- соответствуютограничениям, изложенным вспецификации требованийкпрограммномуобеспе
чению. касающимся корректности и работоспособности.
2 Есливалидационныетестирования программного обеспеченияполагаются недостаточны
ми для провер
к
и программы, то необходимая уверенность в правильности работы должна быть
обеспечена дополнительными интеграционными тестированиями программного обеспечениялибо
другими средствами.
3 Интеграция программного обеспечения должна быть выполнена согласно положениям плана
интеграции системы или плана интеграции программного обеспечения.
4 Должны быть составлены отчеты по результатам выполнения плана, используемого для интег рации
программного обеспечения, например, результатам тестирований. В случае необходимости про
ведения модификации программного обеспечения или системы должна быть возможность повторения
всех или части интеграционных тестирований для оценки степени возможных изменений в работе
программы.
6.7 Программные аспекты валидации системы
Цельвалидациипрограммногообеспечениясостоитвобеспечениисоответствияинтегрированно го
программного обеспеченияфункциональной спецификации, атакже спецификациям характеристики
интерфейса, определяемым требованиями к СКУ. Таким образом, валидация программного обеспече
ния рассматривается как часть валидации системы. Настоящий подраздел дополняет пункты 6.1.5 и
6.2.4 МЭК 61513. выдвигая следующие дополнительные требования, специфичные или особенно важ
ныедля программногообеспечения:
1 Валидация программного обеспечения должна по
к
азать, что интегрированное в завершен
ную систему программное обеспечение соответствует
к
аждому из положений специфи
к
ации тре
бований
к
программному обеспечению,
к
асающихся фун
к
циональности, хара
к
теристи
к
и
интерфейса, ипосвоемуназначениюспособствуетсоответствию специфи
к
ациитребований
к
сис
теме. При этом должно быть в
к
лючено обоснованиетого, что:
33