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

• Верификация и валидация в модельно-ориентированном проектировании.
• Разработка тестовых векторов.
• Анализ результатов тестирования.
• Выполнение множественных тестов.
• Формальная верификация моделей.

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

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

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

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

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

Simulink

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

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

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

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

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

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

Simulink Design Verifier

Simulink