В зависимости от Продукта polyspace, который вы запускаете, можно рассмотреть результаты в одном из этих местоположений:
Пользовательский интерфейс Polyspace: Это - то, где вы видите результаты после анализа настольного Polyspace Code Prover использования (от пользовательского интерфейса, в Simulink®, использование пишет сценарий, которые запускают polyspace-bug-finder команда или эквивалентный MATLAB® скрипты. Если при запуске анализ с помощью плагина Eclipse™, можно рассмотреть результаты в IDE.
Веб-браузер: Это - то, где вы видите результаты после анализа сервера с помощью Polyspace Code Prover Server™.
