${message}

Формальные методы верификации и валидации

В ходе этого однодневного курса вы научитесь техникам тестирования и формальной верификации поведения моделей Simulink.

Вы научитесь:

  • Создавать тестовые вектора для моделей Simulink;
  • Анализировать результаты симуляций для верификации поведения модели;
  • Автоматизировать тестирование и управлять его результатами;
  • Техникам формальной верификации;
  • Автоматизировать получение артефактов.

Предварительная подготовка:

Настоятельно рекомендуется предварительное прохождение курсов "MATLAB для профессионалов" и "Simulink для моделирования систем и алгоритмов" или аналогичный опыт с продуктами MATLAB и Simulink.

Продолжительность курса – 1 день.

Программа курса:

Модуль 1. Верификация и валидация в модельно-ориентированном проектировании.

Модуль 2. Разработка тестовых векторов.

Модуль 3. Анализ результатов тестирования.

Модуль 4. Выполнение множественных тестов.

Модуль 5. Формальная верификация моделей.

Код тренинга

SLVV

Сферы применения

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

Модуль 1. Верификация и валидация в Модельно-ориентированном проектировании.

В этом модуле будут рассмотрены такие базовые вопросы, как:

  1. Рабочий процесс тестирования в рамках Модельно-ориентированного проектирования;
  2. Непрерывная верификация и валидация;
  3. Виды верификации.

В качестве примера будет рассмотрен проект электронной системы управления тягой. 


Модуль 2. Разработка тестовых векторов.

В этом модуле будет показано как создавать тестовые вектора для моделей Simulink.

  1. Определение тестовых векторов;
  2. Создание тестовых обвязок;
  3. Создание и импорт тестовых данных;
  4. Создание тестовых векторов с логикой.


Модуль 3. Анализ результатов тестирования.

В этом модуле рассматриваются такие приемы анализа результатов тестирования, как:

  1. Подтверждение выполнения требований;
  2. Работа с результатами тестирования: хранение, анализ и сравнение;
  3. Сбор покрытия модели.


Модуль 4. Выполнение множественных тестов.

В этом модуле объясняется, как автоматизировать последовательное выполнение тестов, а также документирование результатов тестирования.

  1. Создание тестовых файлов;
  2. Конфигурация тестов;
  3. Построение отчетов по результатам тестирования.


Модуль 5. Формальная верификация моделей.

В этом модуле рассматривается формальные методы для математического анализа моделей Simulink без тестовых векторов.

  1. Использование Simulink Design Verifier;
  2. Автоматическое создание тестов;
  3. Доказательство свойств;
  4. Обнаружение ошибок проектирования.
Поделиться

Задать вопрос

*
Настоящим в соответствии с Федеральным законом № 152-ФЗ «О персональных данных» от 27.07.2006, отправляя данную форму, вы подтверждаете свое согласие на обработку персональных данных . Мы, ООО ЦИТМ "Экспонента" и аффилированные к нему лица, гарантируем конфиденциальность получаемой нами информации. Обработка персональных данных осуществляется в целях эффективного исполнения заказов, договоров и пр. в соответствии с «Политикой конфиденциальности персональных данных». * - обязательные поля