• Ближайшие события

    Новостная рассылка

    Подпишитесь и получайте самые свежие новости.
    Подписаться на новостную рассылку
  • Верификация и валидация моделей Simulink

    Код тренинга: SLVV

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


    Чему вы научитесь:

    • Конфигурировать модели Simulink для тестирования 
    • Проверять модели Simulink на точность и покрытие 
    • Формально верифицировать поведение модели 
    • Создавать отчеты о результатах тестирования 

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

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

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


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

    Модуль 1. Модельно-ориентированное тестирование

    Модуль 2. Разаработка тестовых примеров 

    Модуль 3. Анализ результатов тестирования 

    Модуль 4. Выполнение множественных тестов 

    Модуль 5. Построение отчетов о результатах тестирования 

    Модуль 6. Автоматическая проверка моделей 


    Заявка на тренинг


    Подробнее

    Программа курса (расширенная)

    Модуль 1. Модельно-ориентированное тестирование

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

    1. Рабочий процесс тестирования
    2. Компоненты теста
    3. Среда Simulink® project
    4. Системные требования
    5. Планы тестирования

    Модуль 2. Разработка тестовых примеров

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

    1. Тестовые модели
    2. Сценарии MATLAB®
    3. Внешние источники

    Модуль 3. Анализ результатов тестирования

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

    1. Анализ времени выполнения
    2. Журналирование данных
    3. Сохранение данных
    4. Автоматизированный анализ
    5. Инспектор результатов симуляции

    Модуль 4. Выполнение множественных тестов

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

    1. Процесс тестирования
    2. Автономные тесты
    3. Наборы тестов
    4. Ускорение тестирования

    Модуль 5. Построение отчетов о результатах тестирования

    В этом модуле рассматриваются технологии автоматического построения документации

    1. Публикация файлов MATLAB®
    2. Стандартные отчеты
    3. Пользовательские отчеты

    Модуль 6. Автоматическая проверка моделей

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

    1. Покрытие моделей
    2. Автоматическое создание тестов
    3. Определяемые пользователем задачи
    4. Доказательство свойств

    Заявка на тренинг