Инструменты LDRA для верификации программного обеспечения

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

• DO-178 и КТ-178 в авиации;
• ISO 26262 в автомобилестроении;
• IEC 62304 в медицине;
• EN 50128 на железнодорожном транспорте и
• IEC 61508 для промышленной автоматизации и управления

Удовлетворение требований этих стандартов может быть длительным и дорогим процессом, поскольку он требует проведения тщательных и хорошо документированных мероприятий разработки и верификации.

На этом вебинаре вы узнаете, каким образом инструменты LDRA помогают разработчикам осуществлять верификацию программного обеспечения в соответствии с требованиями стандартов.

Во время вебинара будут затронуты следующие вопросы:

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

Данный вебинар будет полезен для разработчиков и тестировщиков программного обеспечения повышенной надежности, а также для руководителей групп верификации и разработки.