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