Exponenta 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)

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

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

Темы

Введенный в R2019a

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

Поддержка