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. Будет продемонстрировано автоматизированное создание тестов. Эта техника призвана облегчить старт тестирования модели и должна быть рассмотрена в комлексе с остальными техниками.

 
 

Видео
Верификация - просто о сложном
26.11.2019
Публикация
Развитие верификации объектного кода
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
Видео
Автоматизация верификации 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