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