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