Верификация ПО с помощью инструментов LDRA

На этом семинаре вы узнаете, каким образом инструменты LDRA помогают разработчикам осуществлять верификацию программного обеспечения в соответствии с требованиями стандартов (вплоть до DO-178C Level A и IEC 61508 SIL4).

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

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

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

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

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

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

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