26 ноября 2019

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

Список видео, входящих в плейлист "Верификация - просто о сложном":

  1. Управление требованиями с Simulink Requirements
  2. Сбор покрытия
  3. Следование стандартам моделирования
  4. Тестирование моделей с помощью Simulink Test
  5. Доказательство свойств системы
  6. Обнаружение ошибок проектирования
  7. Автоматическое создание тестов


Управление требованиями с Simulink Requirements

Первое видео плейлиста "Верификация - просто о сложном". После вводной части рассмтривается вопрос связки требований к проекту и модели Simulink.


Сбор покрытия

В этом видео мы рассмотрим важную технику верификации - сбор покрытия.


Следование стандартам моделирования

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


Тестирование моделей с помощью Simulink Test

В этом видео мы познакомимся с инструментом Simulink Test. На простом примере будут показаны основные возможности данного инструмента.


Доказательство свойств системы

Первое видео по возможностям инструмента Simulink Design Verifier. Будет рассмотрен вопрос формализации требований, и их атоматизированного анализа.


Обнаружение ошибок проектирования

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


Автоматическое создание тестов

Третье видео по возможностям инструмента Simulink Design Verifier. Будет продемонстрировано автоматизированное создание тестов. Эта техника призвана облегчить старт тестирования модели и должна быть рассмотрена в комлексе с остальными техниками.

Публикация
Развитие верификации объектного кода
13.08.2019
Публикация
Внедрение стандарта IEC 61508: 2010 с набором инструментов LDRA
13.08.2019
Публикация
ISO 26262 a Pain in the ASIL
12.08.2019
Публикация
Верификация бортового ПО согласно DO-178C
12.08.2019
Видео
Новые видео по верификации
14.03.2018
Видео
Автоматизация верификации Polyspace
20.06.2017
История успеха
Korean Air ускоряет разработку и верификацию программного обеспечения для управления БПЛА с помощью модельно-ориентированного проектирования
22.05.2017
Видео
Передача модели третьим лицам и защита интеллектуальной собственности
04.04.2017
Видео
Инструменты LDRA для верификации ПО: Автоматизация верификации
11.10.2016
Видео
Инструменты LDRA для верификации ПО: Обзор стандартов и трассируемость
11.10.2016
Видео
Инструменты LDRA для верификации ПО: Стандарты кодирования и метрики
11.10.2016
Видео
Инструменты LDRA для верификации ПО: Модульное и функциональное тестирование
11.10.2016