Верификация и валидация на уровне моделей

Записаться на обучение

Описание курса

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

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

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

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

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

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

1 день

Связанные продукты:

Simulink Test
Simulink Requirements
Simulink Coverage
Simulink Design Verifier

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

Модуль 1. Верификация и валидация в Модельно-ориентированном проектировании
В этом модуле будут рассмотрены такие базовые вопросы, как:
Рабочий процесс тестирования в рамках Модельно-ориентированного проектирования
Непрерывная верификация и валидация
Виды верификации
В качестве примера будет рассмотрен проект электронной системы управления тягой.

Модуль 2. Разработка тестовых векторов
В этом модуле будет показано как создавать тестовые вектора для моделей Simulink
Определение тестовых векторов
Создание тестовых обвязок
Создание и импорт тестовых данных
Создание тестовых векторов с логикой

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

Модуль 4. Выполнение множественных тестов
В этом модуле объясняется, как автоматизировать последовательное выполнение тестов, а также документирование результатов тестирования.
Создание тестовых файлов
Конфигурация тестов
Построение отчетов по результатам тестирования

Модуль 5. Формальная верификация моделей
В этом модуле рассматривается формальные методы для математического анализа моделей Simulink без тестовых векторов.
Использование Simulink Design Verifier
Автоматическое создание тестов
Доказательство свойств
Обнаружение ошибок проектирования