Верификация программного обеспечения является ключевым этапом при разработке систем повышенной надежности. Удовлетворение требований промышленных стандартов разработки ПО повышенной надежности, таких, как DO-178/КТ-178, IEC 61508/ГОСТ Р МЭК 61508, ISO 26262, EN 50128 и других, существенно упрощается при использовании инструментов, автоматизирующих мероприятия верификации.

В данном вебинаре рассматриваются инструменты верификации LDRA применительно к процессам жизненного цикла ПО, общим для всех стандартов. 

Затрагиваются следующие аспекты верификации:

  • Трассируемость артефактов процессов разработки и верификации
  • Проверки на стандарты кодирования и метрики качества кода
  • Анализ покрытия тестами исходного кода С и кода ассемблера
  • Тестирование исполняемого объектного кода на целевой системе
  • Квалификация инструментов верификации LDRA

Вебинар полезен программистам, тестировщикам и руководителям проектов, разрабатывающих ПО повышенной надежности или желающим улучшить качество разрабатываемого программного обеспечения.

Услуги

Продукты

Тренинги

Сферы применения: Другое