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

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

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

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

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

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

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

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

Подробная программа:

9:30 – 10:00 

Регистрация. Приветственный кофе

10:00 – 12:00 

Введение в стандарты разработки ПО повышенной надежности

Обзор решений LDRA для соответствия стандартам

Статический анализ

• Стандарты кодирования
• Метрики качества кода
• Графы потоков данных и потоков управления

Динамический анализ

• Создание и управление тестами
• Анализ покрытия кода тестами
• Покрытие связей по данным и управлению

12:00 - 12:30

Кофе-брейк

12:30 – 14:30

Управление проектом

• Импорт требований
• Трассируемость между требованиями, кодом и тестами
• Управление конфигурацией и базовые версии
• Роли и задачи
• Автоматизация тестирования и системное тестирование
• Матрица трассируемости
• Анализ изменений
• Генерация отчетов

Верификация объектного кода

Квалификация инструментов верификации LDRA

14:30 – 15:00

Вопросы и ответы