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