Exponenta Banner

Требования веб-браузера к метрикам Polyspace

Как использовать Polyspace® Метрики, установка Java®, версии 1.4 или более поздней на вашем компьютере.

Polyspace Metrics поддерживает следующие веб-браузеры:

  • Internet Explorer® версии 7.0 или более поздней

  • Firefox® версии 3.6 или более поздней

  • Google® Chrome версии 12.0 или более поздней

  • Safari для Mac версии 6.1.4 и 7.0.4

Дополнительные факторы

  • С помощью некоторых веб-браузеров, таких как Google Chrome, вам предлагается скачать или открыть файл под названием psapplet.jsp. Необходимо сконфигурировать систему, чтобы она открылась .jsp файлы с использованием Java Web Start Launcher (javaws) двоичный. Вы можете найти этот двоичный файл в папке установки Java.

    Например, если вы загружаете psapplet.jsp в окнах® система, чтобы открыть и просмотреть результаты Polyspace:

    1. Щелкните правой кнопкой мыши psapplet.jsp и выберите Properties.

    2. Рядом с Opens With: выберите Java Web Start Launcher (javaws) двоичный. Если двоичного файла нет в списке опций по умолчанию, перейдите в папку установки Java, например C:\Program Files\Java\jre1.8.0_161\bin.

    3. После применения изменений дважды кликните мышью psapplet.jsp чтобы открыть его.

  • Если ваш компьютер использует Linux® операционная система, вручную установите необходимый плагин Java для веб-браузера Firefox:

    1. Создайте plugins папка под .mozilla папка в домашней директории:

      mkdir ~/.mozilla/plugins

    2. Из этой папки создайте символьную ссылку на плагин Java, который доступен в папке Java Runtime Environment.

      Например, чтобы использовать окружение Java Runtime Environment вашего MATLAB® введите следующие команды:

      cd ~/.mozilla/plugins
ln -s MATLAB_Install/sys/java/jre/glnxa64/jre/lib/amd64/libnpjp2.so

  • Если вы загружаете результаты с помощью Internet Explorer 11, это может занять минуту или две, чтобы открыть плагин Java и загрузить интерфейс Polyspace.

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

Поддержка