Инструменты LDRA для верификации ПО

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

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

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

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

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