Exponenta Banner

polyspacesetup

Интегрируйте установку Polyspace с Simulink

свернуть все на странице

Синтаксис

polyspacesetup('install', 'polyspacefolder', folder)
polyspacesetup('install', 'polyspacefolder', folder, 'silent', isSilent)
polyspacesetup('uninstall')
polyspacesetup('showpolyspacefolders')

Описание

polyspacesetup('install', 'polyspacefolder', folder) интегрирует Polyspace® в папке folder с MATLAB®.

Запуск в R2019a, чтобы запустить скрипты MATLAB для анализа Polyspace, устанавливает MATLAB и Polyspace в отдельных папках и затем интегрирует их. Чтобы интегрировать Polyspace, используйте эту функцию. См. также Интегрируют Polyspace с MATLAB и Simulink.

polyspacesetup('install', 'polyspacefolder', folder, 'silent', isSilent) интегрирует Polyspace в папке folder с MATLAB тихо, когда isSilent true или с подсказкой, если isSilent false.

polyspacesetup('uninstall') расцепляет в настоящее время соединенную установку Polyspace из MATLAB.

polyspacesetup('showpolyspacefolders') списки все папки Polyspace, которые соединяются с вашей текущей установкой MATLAB.

Примеры

свернуть все

Чтобы интегрировать Polyspace с Simulink® тихо, используйте функцию polyspacesetup. По умолчанию Polyspace установлен в папке C:\Program Files\Polyspace\R2020b.

Откройте MATLAB с правами администратора.

В командной строке MATLAB введите:

polyspacesetup('install', 'polyspaceFolder',...
 'C:\Program Files\Polyspace\R2020b',...
'silent', true);
Процесс может занять несколько минут, чтобы завершиться.

Перезапустите MATLAB.

Входные параметры

свернуть все

Символьный массив, содержащий путь к папке установки Polyspace.

Пример: polyspacesetup('install','polyspacefolder','C:\Program Files\Polyspace\R2020b')

Типы данных: char

Задает, интегрировать ли Polyspace с Simulink, тихо (TRUE) или не (FALSE).

Пример: polyspacesetup('install','polyspacefolder','C:\Program Files\Polyspace\R2020b','silent',true)

Типы данных: логический

Смотрите также

Темы

Введенный в R2019a

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

Поддержка