ГОСТ Р МЭК 61511-1—2011
П р и м е ч а н и е — Везде, где возможно, следует применять проверенное ПО.
12.4.5.3 Проект каждого прикладного модуля должен быть рассчитан на здравый смысл, предусмат
ривая в том числе:
- проверку правдоподобности каждой входной переменной, включая любые глобальные перемен
ные. используемые для обеспечения входных данных;
- полное определение интерфейсов входа и выхода:
- проверку конфигурации системы, включая наличие и доступность предполагаемых технических и
программных модулей.
12.4.5.4 Следует точно определить проект каждого прикладного программного модуля и применяе
мые к нему структурные проверки.
12.4.5.5 ППО должно:
- быть читаемым, понятным и проверяемым;
- удовлетворять всем соответствующим принципам проектирования;
- удовлетворять всем соответствующим требованиям, установленным при планировании безопасно
сти (см. 5.2.4).
12.4.5.6 ППО следует подвергнуть критическому рассмотрению, чтобы убедиться в его соответствии
принятому проекту, принципам проектирования и требованиям планирования подтверждения соответствия
безопасности.
П р и м е ч а н и е — Критическое рассмотрение ППО включает в себя такие приемы, как инспектирование
программ, протоны и формальный анализ. Оно должно сочетаться с моделированием и испытаниями, обеспечи
вающими уверенность в том. что модули ППО удовлетворяют соответствующей спецификации.
12.4.6 Требования к проверкам модулей ППО
П р и м е ч а н и е — Проверка модуля ППО на соответствие его спецификации представляет собой работу
по верификации (см. также 12.7). Она является комбинацией критического рассмотрения и структурной проверки,
обеспечивающей уверенность в том, что модуль прикладной программы удовлетворяет перечню предъявляемых
к нему требований, т. е. верифицирован.
12.4.6.1 Должны быть проверены все конфигурации системы между ее входами и выходами путем
рассмотрения, моделирования и испытаний так, чтобы подтвердить, что входные и выходные данные кор
ректно отображают логику применения.
12.4.6.2 Каждый модуль ППОдолжен проверяться путем рассмотрения, моделирования и испытаний
так. чтобы определить, что предполагаемая функция выполняется правильно, а непредполагаемые функ
ции не выполняются.
Тесты должны соответствовать конкретному проверяемому модулю и выполнять проверку:
- всех моделируемых ситуаций области применения:
- границдиапазона данных:
- временных эффектов, вызванных последовательностью исполнения;
- правильности выполнения последовательности.
12.4.6.3 Результаты проверок модулей ППО должны бытьдоступны.
12.4.7 Требования к комплексным испытаниям ППО
П р и м е ч а н и е — Испытание на правильность интеграции ППО является работой по его верификации
(см. 12.7).
12.4.7.1 Испытания ППО должны показать, что при выполнении предполагаемых функций все моду
ли ППО и другие его компоненты или подсистемы правильно взаимодействуют друг сдругом и с систем
ным встроенным ПО.
Приме чание — Проверки следует проводить так, чтобы подтвердить, что ПО не выполняет непреднаме
ренных функций, которые подвергают риску невыполнения требований по безопасности.
12.4.7.2 Результаты комплексных испытаний ППО должны бытьдоступны и содержать:
a) результаты испытаний; и
b
) сведения о том. выполнены ли цели и критерии проведения испытаний.
Если происходили отказы, следует включить в отчет сведения об их причинах.
12.4.7.3 При интеграции ППО все модификации ПО должны быть объектом анализа влияния на безо
пасность. которыйдолжен определить:
51