Exponenta Banner
exponenta event banner

polyspacesetup

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

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

Синтаксис

polyspacesetup ('установить')
polyspacesetup ('установка', 'polyspacefolder', папка)
polyspacesetup ('install', 'polyspacefolder', папка, 'silent', isSilent)
polyspacesetup ('удаление')
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. Может появиться запрос на удаление рабочей области и закрытие всех открытых моделей. Нажмите «Да». Процесс может занять несколько минут. При запуске 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

Поддержка