Задайте входные области значений для элементов Simulink и Stateflow
Описывает, как анализ обрабатывает минимальное и максимальное значения в Simulink® и Stateflow® элементы.
Проверьте результаты анализа в окне Simulink Design Verifier™ Сводные Данные.
Проверяйте на установленные нарушения минимального и максимального значений
Описывает, как анализировать модель, чтобы убедиться, что заданные проектом минимальные и максимальные значения удовлетворены.
Минимальное и максимальное входные ограничения
Обзор того, как анализ Simulink Design Verifier рассматривает указанные входные минимальные и максимальные значения.
Спецификация Входа Областей значений в полях sldvData
Описание sldvData поля для минимальных и максимальных входных значений.
Использование заданных минимальных и максимальных входных значений в качестве ограничений
В этом примере показано, как использовать минимальное и максимальное значения входного порта в качестве ограничений анализа Simulink Design Verifier во время генерации тестов и проверки свойств.
Задайте минимальное и максимальное значение, которое сигнал может получить во время симуляции. Полностью задайте свой проект и оптимизируйте типы данных и сгенерированный код, задав минимальное и максимальное значение, которое может получить сигнал во время симуляции.
Задайте значения ограничений для структуры или параметров шины
Этот пример описывает, как сгенерировать тесты, которые ограничивают значения для структур и сигналов шины в модели.