Exponenta Banner

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

Чтобы использовать Polyspace® Metrics, установите Java®, версию 1.4 или позже ваш компьютер.

Метрики Polyspace поддерживают эти веб-браузеры:

  • Версия 7.0 Internet Explorer®, или позже

  • Версия 3.6 Firefox®, или позже

  • Версия 12.0 Google® Chrome, или позже

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

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

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

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

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

    2. Рядом с выбором Opens With: сеть Java Запускают Средство запуска (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 вашей установки 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
Поддержка