•  

    Новостная рассылка

    Подпишитесь и получайте самые свежие новости.
    Подписаться на новостную рассылку
  • Инструменты LDRA для верификации программного обеспечения

    1 ноября 2016
    10:00
    Мероприятие бесплатное
    Регистрация обязательна
    и заканчивается за сутки до начала мероприятия

    Михаил Песельник, ведущий инженер департамента MathWorks

    Михаил Песельник - ведущий инженер департамента MathWorks по прототипированию алгоритмов в реальном времени, а также по процессам верификации и валидации при проектировании встраиваемых систем повышенной надежности. Михаил имеет квалификацию магистра по специальности "Системный анализ, управление и обработка информации" в МГУЛ. Михаил имеет многолетний опыт работы с инструментами MathWorks в области разработки алгоритмов управления и является профессиональным тренером по модельно-ориентированному проектированию. До перехода в департамент MathWorks, он работал в мировых автомобильных компаниях, разрабатывая системы управления для двигателей внутреннего сгорания.

    Семинар 3.11 в СПб

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

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

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

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

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

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

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

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

    Подробная программа семинара

    Первая часть: 
    • Введение в стандарты разработки ПО повышенной надежности 
    • Обзор решений LDRA для соответствия стандартам 
    • Статический анализ 
    – Стандарты кодирования 
    – Метрики качества кода 
    – Графы потоков данных и потоков управления 
    • Динамический анализ 
    – Создание и управление тестами 
    – Анализ покрытия кода тестами 
    – Покрытие связей по данным и управлению 

    Перерыв

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

    • 10:00
      г. Москва, ул. Русаковская д. 24
    • Регистрация закрыта