Новые видео по верификации
14 марта 2018
Вашему вниманию предлагается новый плейлист "Верификация - просто о сложном". Цель этого плейлиста - начальное ознакомление с техниками тестирования и верификации моделей Simulink на простых примерах.
Управление требованиями с Simulink Requirements
Первое видео плейлиста "Верификация - просто о сложном". После вводной части рассмтривается вопрос связки требований к проекту и модели Simulink. В виде опорного примера рассмотрен счетчик, смоделированный в данном видео: https://youtu.be/5M7EAZjwPj0?list=PLmu_y3-DV2_l9jcTrJTKjChwMVYvrDyJE
Следование стандартам моделирования
В данном видео обсуждается вопрос применения стандартов моделирования и количественных метрик модели для сохранения единообразия внутри проекта.
Сбор покрытия
Тестирование моделей с помощью Simulink Test
В этом видео мы познакомимся с инструментом Simulink Test. На простом примере будут показаны основные возможности данного инструмента.
Доказательство свойств системы
Первое видео по возможностям инструмента Simulink Design Verifier. Будет рассмотрен вопрос формализации требований, и их атоматизированного анализа.
Обнаружение ошибок проектирования
Второе видео по возможностям инструмента Simulink Design Verifier. На примере сложного конченого автомата будет продемонстрированна работа ядра формальных методов для нахождения ошибок проектирования, которые не могут быть обнаружены классическими подходами к верификации.
Автоматическое создание тестов
Третье видео по возможностям инструмента Simulink Design Verifier. Будет продемонстрировано автоматизированное создание тестов. Эта техника призвана облегчить старт тестирования модели и должна быть рассмотрена в комлексе с остальными техниками.
