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

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

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

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

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

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

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

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