Документация

Задайте входные диапазоны для Inport блоков

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

Следующая модель в качестве примера ограничивает сигналы в двух Inport блоках:

Когда вы используете Simulink Design Verifier, чтобы анализировать эту модель, анализ приводит к этим результатам:

Отчет детального анализа показывает значения, которые вы используете в качестве ограничений для Input1 и Input2.

Задайте входные диапазоны для Simulink.Signal Объекты

Используя Model Explorer, в рабочем пространстве модели, можно задать минимальные и максимальные значения на Simulink.Signal объекты сопоставлены с входными сигналами.

Следующая модель в качестве примера использует Simulink.Signal объекты сопоставили с входными сигналами a и b ограничить значения сигналов:

Когда вы анализируете эту модель, результаты эквивалентны, если вы задали минимальные и максимальные значения на входных портах.

Задайте входные диапазоны для объектов данных Stateflow

Используя Model Explorer, можно указать диапазоны на объектах данных, которые непосредственно соединяются с входными портами корневого уровня для диаграммы Stateflow.

В следующей модели в качестве примера диаграмма Stateflow под названием График имеет объект данных, x, чей диапазон вы указали как 0 <x <10. В этом графике, x должен быть больше 15, чтобы инициировать переход от low к high.

Значение x диапазоны от 0 до 10, поэтому условие перехода [x > 15] никогда не true. Переход от low к high никогда не происходит. Поскольку high состояние никогда не вводится, условие перехода [x < 15] никогда не тестируется, и переход от high к low никогда не происходит. График всегда находится в low состояние.

Когда вы анализируете эту модель, эти цели доказаны невыполнимыми:

Аналитический отчет указывает на значения, которые вы используете в качестве ограничений для x: [0, 10].

Задайте входные диапазоны для подсистем

Программное обеспечение Simulink Design Verifier считает заданным, вводит минимальные и максимальные значения как ограничения только в верхнем уровне модели. Можно задать минимальные и максимальные значения на Input port на подсистемах, но когда вы анализируете модель верхнего уровня, программное обеспечение игнорирует те значения.

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

Например, рассмотрите следующую модель и ее подсистему.

В Подсистеме заданных минимальных и максимальных значениях для входного порта SSIn-10 и 10, соответственно. Нижние и верхние пределы для блока Saturation-15 и 15, соответственно.

Если вы щелкаете правой кнопкой по Subsystem по модели верхнего уровня и выбираете Design Verifier> Generate Tests for Subsystem, анализ рассматривает заданные минимальные и максимальные значения как ограничения на порт SSIn.

Анализ идентифицирует две невыполнимых цели:

Если вы анализируете модель, которая содержит Подсистему, анализ не считает значения заданными на входном порте SSIn в подсистеме. Анализ рассматривает только входные порты корневого уровня на соответствующем уровне иерархии для анализа.

Задайте входные диапазоны для хранилищ глобальных данных

data store является репозиторием, к которому можно записать данные и от которого можно считать данные, не имея необходимость соединять сигнал ввода или вывода непосредственно с хранилищем данных. Вы создаете хранилище данных при помощи блока Data Store Memory или Simulink.Signal объект. Можно задать минимальные и максимальные значения для любого хранилища данных.

Во время анализа подсистемы Simulink Design Verifier создает входной порт, чтобы подражать контексту выполнения для хранилища глобальных данных. Для получения дополнительной информации смотрите Подсистемы Извлечения для Анализа. Если хранилище данных задало минимальные и максимальные значения, те значения присвоены как минимальные и максимальные значения на новом входном порте. Анализ Simulink Design Verifier считает вход минимальными и максимальными значениями как аналитические ограничения уровня подсистемы.

В следующей модели в качестве примера, хранилище данных A имеет минимальное значение 0 и максимальное значение 10.

Атомарная подсистема читает значения из хранилища данных и проверок, чтобы видеть, меньше ли вход 0. Выходные параметры блока Compare To Zero 1, если вход меньше 0, и выходные параметры 0, если вход больше или равен 0. Проверки блока Test Objective, чтобы видеть, равняется ли выход когда-нибудь 1.

В модели верхнего уровня, если вы щелкаете правой кнопкой по Subsystem и выбираете Design Verifier> Generate Tests for Subsystem, анализ считает ограничения для хранилища данных A быть [0, 10].

Анализ не удовлетворяет цели, заданной в блоке Test Objective. Вход всегда больше или равен 0, поэтому выход от блока Compare To Zero всегда 0.

Задайте входные диапазоны для элементов шины

Когда вы задаете шину, можно задать минимальные и максимальные значения для элементов в шине. Simulink Design Verifier рассматривает эти минимальные и максимальные значения при анализе подсистем и моделей, которые используют шину в качестве входного сигнала.

Рассмотрите подсистему, которая вводит шину трех полей, каждого с заданным минимумом и максимумом. Просмотреть эту подсистему, в командной строке, введите:

open_system(fullfile(docroot,'toolbox','sldv','examples',...
'sldvBusMinMaxExample'));

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

Установите текущую папку на перезаписываемую папку. В режиме верхнего уровня щелкните правой кнопкой по Subsystem и выберите Design Verifier> Generate Tests for Subsystem. Цель Условия для тестирования vehicleSpeed > 135 не выполнимо из-за максимальной спецификации на vehicleSpeed элемент.