Верификация - просто о сложном
26 ноября 2019
Цель этого плейлиста - начальное ознакомление с техниками тестирования и верификации моделей Simulink на простых примерах
Список видео, входящих в плейлист "Верификация - просто о сложном":
- Управление требованиями с Simulink Requirements
- Сбор покрытия
- Следование стандартам моделирования
- Тестирование моделей с помощью Simulink Test
- Доказательство свойств системы
- Обнаружение ошибок проектирования
- Автоматическое создание тестов
Управление требованиями с Simulink Requirements
Первое видео плейлиста "Верификация - просто о сложном". После вводной части рассмтривается вопрос связки требований к проекту и модели Simulink.
Сбор покрытия
В этом видео мы рассмотрим важную технику верификации - сбор покрытия.
Следование стандартам моделирования
В данном видео обсуждается вопрос применения стандартов моделирования и количественных метрик модели для сохранения единообразия внутри проекта.
Тестирование моделей с помощью Simulink Test
В этом видео мы познакомимся с инструментом Simulink Test. На простом примере будут показаны основные возможности данного инструмента.
Доказательство свойств системы
Первое видео по возможностям инструмента Simulink Design Verifier. Будет рассмотрен вопрос формализации требований, и их атоматизированного анализа.
Обнаружение ошибок проектирования
Второе видео по возможностям инструмента Simulink Design Verifier. На примере сложного конченого автомата будет продемонстрированна работа ядра формальных методов для нахождения ошибок проектирования, которые не могут быть обнаружены классическими подходами к верификации.
Автоматическое создание тестов
Третье видео по возможностям инструмента Simulink Design Verifier. Будет продемонстрировано автоматизированное создание тестов. Эта техника призвана облегчить старт тестирования модели и должна быть рассмотрена в комлексе с остальными техниками.
