Производные области значений в поиске ошибок проектирования
Когда вы задаете минимальное и максимальное значения для сигнала или данных в модели, эти значения определяют design range.
Во время поиска ошибок проектирования программное обеспечение анализирует поведение модели и вычисляет значения, которые могут возникнуть во время симуляции для:
Блочные выходные порты
Stateflow® локальные данные
Область значений этих значений называется derived range.
Параметр Use specified input minimum and maximum values в диалоговом окне Параметры конфигурации (Configuration Parameters) на панели Design Verifier, если он включен, предписывает анализу учитывать области значений проекта входных портов модели как ограничения при вычислении производных областей значений. По умолчанию параметр Use specified input minimum and maximum values включен.
Если Use specified input minimum and maximum values отключен, программное обеспечение не ограничивает сигналы при вычислении производных областей значений.
Чтобы увидеть, как этот процесс работает, рассмотрите следующую модель.
В этой модели областей значений проектирования:
Блок Inport: [-35.. 35]
Вывод блока Abs [0.. 30]
Учитывая проект области значений на блоке Inport, единственными возможными значениями для выхода блока Abs являются значения от 0 до 35. Поэтому производная область значений для блока Abs является [0.. 35].
Однако, если вы отключаете параметр Use specified input minimum and maximum values, анализ вычисляет производные области значений на основе неограниченных значений входных портов модели. В предыдущей модели единственными допустимыми выходами блока Abs являются неотрицательные числа. Следовательно, производная область значений для блока Abs равна [0.. Inf].