${message}
${message}
Верификация ПО с помощью инструментов 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
Вопросы и ответы
10:00
14 дней до начала
Спикеры
Михаил Песельник
Михаил Песельник - ведущий инженер ЦИТМ Экспонента по прототипированию алгоритмов в реальном времени, а также по процессам верификации и валидации при проектировании встраиваемых систем повышенной надежности. Михаил имеет квалификацию магистра по специальности "Системный анализ, управление и обработка информации" в МГУЛ. Михаил имеет многолетний опыт работы с инструментами MathWorks в области разработки алгоритмов управления и является профессиональным тренером по модельно-ориентированному проектированию. До перехода в ЦИТМ Экспонента, он работал в мировых автомобильных компаниях, разрабатывая системы управления для двигателей внутреннего сгорания.