Exponenta Banner
exponenta event banner

polyspacesetup

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

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

Синтаксис

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

Описание

пример

polyspacesetup('install') интегрирует Polyspace® из папки установки по умолчанию с MATLAB® или Simulink®. Если Polyspace был установлен в папке без параметров, функция запрашивает папку установки. См. раздел Папка установки.

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

пример

polyspacesetup('install', 'polyspacefolder', folder) интегрирует Polyspace, установленный в папке folder с MATLAB или Simulink.

пример

polyspacesetup('install', 'polyspacefolder', folder, 'silent', isSilent) интегрирует Polyspace, установленный в папке folder с MATLAB или Simulink бесшумно, когда isSilent является true или с помощью приглашения, если isSilent является false. Когда вы запускаете MATLAB с опцией -batch, isSilent установлено в true по умолчанию. Если для установки Polyspace используется папка без параметров, а затем не указывать папку в folderвыводится запрос на указание местоположения установки, даже если вы используете -batch для запуска MATLAB.

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

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

Примеры

свернуть все

Чтобы интегрировать Polyspace с MATLAB или Simulink, используйте функцию polyspacesetup.

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

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

polyspacesetup('install');
Если вы устанавливаете Polyspace в папку по умолчанию C:\Program Files\Polyspace\R2021aкоманда интегрирует Polyspace с MATLAB. Вам может быть предложено удалить рабочую область и закрыть все открытые модели. Нажмите Yes. Процесс может занять несколько минут. Когда вы запускаете MATLAB с -batch опция завершается без каких-либо подсказок.

Если установка Polyspace не обнаружена в расположении по умолчанию, выводится запрос места установки. Используйте эту команду:

polyspacesetup('install', 'polyspaceFolder', Folder)
где Folder - папка установки Polyspace.

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

Чтобы интегрировать Polyspace с MATLAB в командной строке неинтерактивно, запустите MATLAB с опцией запуска -batch. См. Раздел «Обычно используемые опции запуска»

Когда вы запускаете MATLAB с опцией запуска -batch, polyspacesetup по умолчанию молчит. То есть функция не излучает никаких сообщений, если нет никакой входной ошибки.

  1. Откройте командную строку Windows с правами администратора или root.

  2. Чтобы убедиться, что интегрирование происходит неинтерактивно, укажите папку установки для Polyspace. В командной строке введите:

    matlab -batch "polyspacesetup('install','polyspaceFolder',folder)"
    где folder - место установки Polyspace.

  3. Если интегрирование прошло успешно, отобразится следующее сообщение:

    Polyspace plug-in: installation complete.
Restart MATLAB before using Polyspace plug-in.

    Можно также ввести команду в скрипте. Например, у вас может быть скрипт, который выполняет установки MATLAB и Polyspace. Добавьте предыдущую команду к своему скрипту, чтобы интегрировать MATLAB и Polyspace неинтерактивно.

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

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

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

polyspacesetup('install', 'polyspaceFolder', Folder, 'silent', true);
где Folder - папка установки Polyspace. Процесс может занять несколько минут.

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

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

свернуть все

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

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

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

Определяет, интегрировать ли Polyspace с MATLAB или Simulink бесшумно (true) или нет (false). Когда вы запускаете MATLAB с -batch опция, этот аргумент установлен в true по умолчанию.

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

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

См. также

Темы

Введенный в R2019a

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

Поддержка