Run Bug Finder or Code Prover analysis on a remote cluster (-batch)

Включите пакетный удаленный анализ

Описание

Эта опция применяется к десктопным решениям Polyspace® только. Опция используется, чтобы отправить анализ с рабочего стола на сервер (где аналитические запуски с помощью серверных продуктов Polyspace).

Укажите, что анализ должен быть разгружен к удаленному серверу.

Чтобы разгрузить анализ Polyspace, вам нужно:

  • Polyspace Bug Finder™ Server™ и/или Сервер Polyspace Code Prover™ и MATLAB® Parallel Server™ на сервере.

  • Polyspace Bug Finder и/или Polyspace Code Prover на рабочем столе.

Смотрите продукты установки для представления анализа Polyspace с рабочих столов на удаленный сервер.

Установите опцию

Пользовательский интерфейс: В вашей настройке проекта опция находится на узле Run Settings. У вас есть отдельные опции для Средства поиска Ошибки и анализа Программы автоматического доказательства Кода.

Командная строка: Используйте опцию -batch. Смотрите информацию о командной строке.

Почему использование эта опция

Используйте эту опцию, если вы хотите, чтобы анализ работал на удаленном кластере вместо вашего локального рабочего стола.

Например, можно запустить удаленный анализ когда:

  • Вы хотите закрыть свою локальную машину, но не прервать анализ.

  • Вы хотите освободить время выполнения на своей локальной машине.

  • Вы хотите передать анализ более мощному компьютеру.

Настройки

На

Запустите пакетный анализ удаленного компьютера. В этом удаленном аналитическом режиме анализ ставится в очередь на кластере после фазы компиляции. Поэтому на вашем локальном компьютере, после того, как анализ ставится в очередь:

  • Если при запуске анализ от пользовательского интерфейса Polyspace, можно закрыть пользовательский интерфейс.

  • Если при запуске анализ из командной строки, можно закрыть окно командной строки.

Можно управлять очередью от Монитора Задания Polyspace. Использовать Монитор Задания Polyspace:

После анализа вам придется вручную загрузить результаты кластера.

От (значения по умолчанию)

Не запускайте пакетный анализ удаленного компьютера.

Зависимости

  • Если вы используете сторонний планировщик вместо Планировщика Задания MATLAB, добавьте опцию -no-credentials-check. Проверка учетных данных, выполненная в продукте, только совместима с Планировщиком Задания MATLAB. В пользовательском интерфейсе Polyspace добавьте эту опцию в Other поле .

  • Не запускайте анализ Программы автоматического доказательства Кода удаленного кластера, если вы доходите до Verification Level Source Compliance Checking. И для локального и для удаленного анализа, исходная фаза проверки или компиляции податливости происходит на вашем локальном компьютере. Поэтому, если вы запускаетесь только до этой фазы, работайте на своем локальном компьютере.

Информация о командной строке

Чтобы запустить удаленный анализ из командной строки, используйте с -scheduler опция.

Параметр: -batch
Значение: - планировщик host_name если вы не установили Job scheduler host name в пользовательском интерфейсе Polyspace
Значение по умолчанию: 'off'
Пример (средство поиска ошибки): polyspace-bug-finder -batch -scheduler NodeHost
polyspace-bug-finder -batch -scheduler MJSName@NodeHost
Пример (программа автоматического доказательства кода): polyspace-code-prover -batch -scheduler NodeHost
polyspace-code-prover -batch -scheduler MJSName@NodeHost