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

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

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

09 марта
Понедельник

09:00

Прошло

Сферы применения

Поделиться

${message}

${message}