Входные ограничения области значений

Задайте минимальное и максимальное входные значения, чтобы имитировать ограничения окружающей среды

Темы

Задайте входные области значений для элементов Simulink и Stateflow

Описывает, как анализ обрабатывает минимальное и максимальное значения в Simulink® и Stateflow® элементы.

Просмотр результатов анализа

Проверьте результаты анализа в  окне Simulink Design Verifier™ Сводные Данные.

Проверяйте на установленные нарушения минимального и максимального значений

Описывает, как анализировать модель, чтобы убедиться, что заданные проектом минимальные и максимальные значения удовлетворены.

Минимальное и максимальное входные ограничения

Обзор того, как анализ Simulink Design Verifier рассматривает указанные входные минимальные и максимальные значения.

Спецификация Входа Областей значений в полях sldvData

Описание sldvData поля для минимальных и максимальных входных значений.

Использование заданных минимальных и максимальных входных значений в качестве ограничений

В этом примере показано, как использовать минимальное и максимальное значения входного порта в качестве ограничений анализа Simulink Design Verifier во время генерации тестов и проверки свойств.

Задайте диапазоны сигнала

Задайте минимальное и максимальное значение, которое сигнал может получить во время симуляции. Полностью задайте свой проект и оптимизируйте типы данных и сгенерированный код, задав минимальное и максимальное значение, которое может получить сигнал во время симуляции.

Задайте значения ограничений для структуры или параметров шины

Этот пример описывает, как сгенерировать тесты, которые ограничивают значения для структур и сигналов шины в модели.

Для просмотра документации необходимо авторизоваться на сайте