Web server port number をデフォルトの 8080 から変更する方法についてですが、下記手順を実行してください。
1) Polyspace GUI 上から、 [Options] > [Preferences] にて、 Polyspace Preferences を開きます。
2) Sever Configuration タブより、 Web server port number を変更することが可能です。例: 8088
3) <Polyspace_RLDatas>\tomcat\conf 内部にある server.xml を開きます。
4) server.xml を開き、下記記述のConnector port の箇所を 8088 に変更します
<?xml version="1.0" encoding="UTF-8"?>
<Server port="8005" shutdown="SHUTDOWN">
<Service name="Catalina">
<Connector port="8080"/>
5) Polyspace Remote Launcher Manager を起動し、 Daemon を再スタートします。
[Stop Daemon] -> [Start Daemon] の順序となります。
6) Polyspace で解析を行います。
オプションは、上で示した 3つのオプションにチェックを入れてください。
Machine Configuration -> Send to Polyspace Server
Machine Configuration -> Add to results repository
Coding Rules & Code Metrics -> Calculate code complexity metrics
