Диагностируйте ошибки, разгружающие анализ от клиента к серверу с помощью polyspace-code-prover команда с -batch опция.
Polyspace не может найти сервер
Диагностируйте, почему Polyspace® не может определить местоположение вашего сервера, когда вы запускаете удаленный анализ.
Менеджер по заданию не может записать в базу данных
Диагностируйте, почему Планировщик MATLAB® Job не может записать данные к клиентскому компьютеру.
Свяжитесь с технической поддержкой о проблемах с рабочим Polyspace
Изучите то, что MathWorks® Technical Support должен от вас диагностировать проблему.
