Exponenta Banner

Polyspace не может найти сервер

Сообщение

Error: Cannot instantiate Polyspace cluster
| Check the -scheduler option validity or your default cluster profile
| Could not contact an MJS lookup service using the host computer_name.
    The hostname, computer_name, could not be resolved.

Возможная причина

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

Решение

Откройте пользовательский интерфейс рабочего стола продукта Polyspace. Проверьте правильность предоставленной информации о сервере.

  1. Выберите Tools > Preferences.

  2. Выберите вкладку Server Configuration. Проверьте сведения о сервере.

    Например, запись в Job scheduler host name должна совпадать с именем хоста компьютера, который формирует головной узел MATLAB® Parallel Server™. Дополнительные сведения см. в разделе Установка продуктов для отправки анализа Polyspace с рабочих столов на удаленный сервер.

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

Поддержка