Укажите, что верификация должна заблокировать автоматически сгенерированные функции, которые используют определенные виды интерполяционных таблиц в их теле. Интерполяционные таблицы в этих функциях используют линейную интерполяцию и не позволяют экстраполяцию. Таким образом, результат использования интерполяционной таблицы всегда находится между нижними и верхними границами таблицы.
Если вы используете эту опцию, верификация более точна и имеет меньше оранжевых проверок. Верификация функций интерполяционной таблицы обычно неточна. Программное обеспечение должно сделать определенные предположения об этих функциях. Чтобы постараться не пропускать ошибку времени выполнения, верификация принимает, что результат использования интерполяционной таблицы в полном спектре, позволенном типом данных результата. Это предположение может вызвать много бездоказательных результатов (оранжевые проверки), когда функция интерполяционной таблицы вызвана. При помощи этой опции вы сужаете предположение. Для функций с помощью интерполяционных таблиц с линейной интерполяцией и никакой экстраполяцией, результат, по крайней мере, в границах таблицы.
Опция релевантна, только если ваша модель использует блоки Интерполяционной таблицы.
Категория параметров конфигурации модели: Polyspace
Значение по умолчанию: On 
Для автоматически сгенерированных функций, которые используют интерполяционные таблицы с линейной интерполяцией и никакой экстраполяцией, верификацией:
Не проверяет на ошибки времени выполнения в теле функции.
Вызывает функциональный тупик вместо фактической функции на сайтах вызова функции. Тупик гарантирует, что результат использования интерполяционной таблицы в границах таблицы.
Чтобы идентифицировать, использует ли интерполяционная таблица в функции линейную интерполяцию и никакую экстраполяцию, верификация использует информацию, предоставленную продуктом генерации кода. Например, если вы используете Embedded Coder®, чтобы сгенерировать код, функции интерполяционной таблицы с линейной интерполяцией и никакой экстраполяцией следуют определенным соглашениям о присвоении имен.
Верификация не блокирует автоматически сгенерированные функции то использование интерполяционные таблицы.
Опция применяется только к автоматически сгенерированным функциям. Если вы интегрируете свою собственную S-функцию C/C++ с помощью интерполяционных таблиц с моделью, опция не заставляет их быть заблокированными.
Опция идет по умолчанию. В целях сертификации, если вы хотите, чтобы ваш инструмент верификации был независим от инструмента генерации кода, выключают опцию.
Используйте pslinkoptions свойство AutoStubLUT.
pslinkoptions функция позволяет вам создавать Polyspace®, опции возражают, что можно снова использовать для многоуровневых моделей. Можно также использовать set_param (Simulink) функция, чтобы сопоставить это свойство с моделью. Используйте параметр PSAutoStubLUT с тем же значением что касается pslinkoptions свойство AutoStubLUT. См. pslinkoptions Свойства.
pslinkoptions | Свойства pslinkoptions
