Exponenta Banner

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

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

Прежде чем вы свяжетесь с MathWorks, соберете эту информацию.

  • Операционная система

    Видеть информацию об операционной системе машины, где вы устанавливаете доступ к Polyspace в командной строке, введите:

    Windows®systeminfo | findstr /C:OS
    Linux®uname -a

  • Polyspace доступ к версии

    Регистрируйте в Polyspace доступ, затем наверху нажатия кнопки окна> About Polyspace. Если Polyspace, доступ еще не установлен или вы не можете регистрировать в Polyspace доступ, в командной строке, перейти к папке, где вы разархивировали Polyspace доступ к изображению установки, и войдите:

    Windowstype VERSION
    Linuxcat VERSION

  • Номер лицензии

    Регистрируйте в Polyspace доступ, затем наверху нажатия кнопки окна> About Polyspace. Если Polyspace, доступ еще не установлен или вы не можете регистрировать в Polyspace доступ, свяжитесь со своим администратором лицензии, чтобы получить ваш номер лицензии.

  • Журналы Службы доступа Polyspace

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

    docker logs -t polyspace-access-web-server-main >> access-web-server.log 2>&1

docker logs -t polyspace-access-etl-main >> access-etl.log 2>&1

docker logs -t polyspace-access-db-main >> access-db.log 2>&1

docker logs -t issuetracker-server-main >> issuetracker-server.log 2>&1

docker logs -t issuetracker-ui-main >> issuetracker-ui.log 2>&1

docker logs -t usermanager-server-main >> usermanager-server.log 2>&1

docker logs -t admin >> admin.log 2>&1

docker logs -t gateway >> gateway.log 2>&1

docker logs -t usermanager-ui-main >> usermanager-ui.log 2>&1

docker logs -t usermanager-db-main >> usermanager-db.log 2>&1

docker logs -t polyspace-access >> polyspace-access.log 2>&1

docker logs -t issuetracker >> issuetracker.log 2>&1

docker logs -t usermanager>> usermanager.log 2>&1
    Присоедините файлы журнала к своему запросу на обслуживание. Команды, чтобы сгенерировать эти журналы являются тем же самым для Windows и Linux.

  • Polyspace доступ к журналу веб-интерфейса

    Чтобы сгенерировать журнал для Polyspace доступ к веб-интерфейсу, регистрируйте в Polyspace доступ. На левой панели нажмите SUPPORT REPORT затем Get support info. Присоедините сгенерированный supportreport файл к вашему запросу на обслуживание.

Документация Polyspace Bug Finder

Поддержка