-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:
В пользовательском интерфейсе Polyspace выберите Tools> Open Job Monitor. Смотрите Отправляют Анализ Polyspace с Рабочего стола на Удаленные серверы.
На DOS или командной строке UNIX®, используйте команду polyspace-jobs-manager. Для получения дополнительной информации смотрите, Отправляют Анализ Polyspace с Рабочего стола на Удаленные серверы Используя Скрипты.
На командной строке MATLAB используйте функцию polyspaceJobsManager.
После анализа вам придется вручную загрузить результаты кластера.
От (значения по умолчанию)Не запускайте пакетный анализ удаленного компьютера.
Если вы используете сторонний планировщик вместо Планировщика Задания MATLAB, добавьте опцию -no-credentials-check. Проверка учетных данных, выполненная в продукте, только совместима с Планировщиком Задания MATLAB. В пользовательском интерфейсе Polyspace добавьте эту опцию в поле Other.
Не запускайте анализ Программы автоматического доказательства Кода удаленного кластера, если вы доходите до Verification Level Source Compliance Checking. И для локального и для удаленного анализа, исходная фаза проверки или компиляции соответствия происходит на вашем локальном компьютере. Поэтому, если вы запускаетесь только до этой фазы, работайте на своем локальном компьютере.
Чтобы запустить удаленный анализ из командной строки, используйте с опцией -scheduler.
Параметр: -batch |
Значение: |
| Значение по умолчанию: 'off' |
Пример (средство поиска ошибки): polyspace-bug-finder -batch -scheduler NodeHostpolyspace-bug-finder -batch -scheduler MJSName@NodeHost |
Пример (программа автоматического доказательства кода):
polyspace-code-prover -batch -scheduler NodeHostpolyspace-code-prover -batch -scheduler MJSName@NodeHost |