${message}
Формальные методы верификации и валидации
В ходе этого однодневного курса вы научитесь техникам тестирования и формальной верификации поведения моделей Simulink.
Вы научитесь:
- Создавать тестовые вектора для моделей Simulink;
- Анализировать результаты симуляций для верификации поведения модели;
- Автоматизировать тестирование и управлять его результатами;
- Техникам формальной верификации;
- Автоматизировать получение артефактов.
Предварительная подготовка:
Настоятельно рекомендуется предварительное прохождение курсов "MATLAB для профессионалов" и "Simulink для моделирования систем и алгоритмов" или аналогичный опыт с продуктами MATLAB и Simulink.
Продолжительность курса – 1 день.
Программа курса:
Модуль 1. Верификация и валидация в модельно-ориентированном проектировании.
Модуль 2. Разработка тестовых векторов.
Модуль 3. Анализ результатов тестирования.
Модуль 4. Выполнение множественных тестов.
Модуль 5. Формальная верификация моделей.
Код тренинга
Сферы применения
Подробная программа курса:
Модуль 1. Верификация и валидация в Модельно-ориентированном проектировании.
В этом модуле будут рассмотрены такие базовые вопросы, как:
- Рабочий процесс тестирования в рамках Модельно-ориентированного проектирования;
- Непрерывная верификация и валидация;
- Виды верификации.
В качестве примера будет рассмотрен проект электронной системы управления тягой.
Модуль 2. Разработка тестовых векторов.
В этом модуле будет показано как создавать тестовые вектора для моделей Simulink.
- Определение тестовых векторов;
- Создание тестовых обвязок;
- Создание и импорт тестовых данных;
- Создание тестовых векторов с логикой.
Модуль 3. Анализ результатов тестирования.
В этом модуле рассматриваются такие приемы анализа результатов тестирования, как:
- Подтверждение выполнения требований;
- Работа с результатами тестирования: хранение, анализ и сравнение;
- Сбор покрытия модели.
Модуль 4. Выполнение множественных тестов.
В этом модуле объясняется, как автоматизировать последовательное выполнение тестов, а также документирование результатов тестирования.
- Создание тестовых файлов;
- Конфигурация тестов;
- Построение отчетов по результатам тестирования.
Модуль 5. Формальная верификация моделей.
В этом модуле рассматривается формальные методы для математического анализа моделей Simulink без тестовых векторов.
- Использование Simulink Design Verifier;
- Автоматическое создание тестов;
- Доказательство свойств;
- Обнаружение ошибок проектирования.
