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