Технологические процессы и стандарты обеспечения функциональной безопасности

       

Верификация программного средства


Целью является испытание и оценка выходных данные этапа ЖЦ обеспечения безопасности ПС для подтверждения правильности и согласованности с выходными данными и стандартами, которые использовались в качестве входных данных на этом этапе. Основные аспекты верификации являются общими для нескольких этапов цикла обеспечения безопасности. В этом пункте не содержатся дополнительные требования к проводимым при верификации испытаниям, изложенным в 4.7 (испытания модуля программного обеспечения), 4.8 (компоновка программного обеспечения) и 5 (компоновка программируемой электроники) (см. Рис. 1), которые сами по себе являются верификационными действиями. Этот пункт не требует также проведение верификации в дополнение к аттестации программного средства (см. п. 7), которая в данном стандарте является демонстрацией соответствия системы спецификации требований по безопасности (сквозная верификация).

Верификация ПС должна планироваться одновременно с разработкой для каждого этапа обеспечения безопасности и эта информация должна быть внесена в документацию. При планировании верификации ПС должны быть указаны критерии, методы и инструментальные средства, которые должны использоваться во время верификации. При верификации должны выполняться следующие действия:

  • верификация требований по безопасности программного средства;
  • верификация архитектуры программного средства, конструкции системы и встроенного программного средства;
  • верификация конструкции модулей ПС, объектного кода и данных;
  • испытания модулей программного средства;
  • компоновочные испытания программного средства;
  • компоновочные испытания комплекса программируемой электроники;
  • тестирование реализации требований по безопасности программного средства и системы.


  • Содержание раздела