どのようにして Polyspace のデフォルトWeb Server ポート番号 8080 を変更しますか？

Polyspace のデフォルトWeb Server ポート番号を 8080 から 任意の番号へ変更したいと考えています。下記Microsoft社のリンク(<http://technet.microsoft.com/en-us/sysinternals/bb897437.aspx> )から TCPViewと呼ばれるユーティリティでマシン上のTCP接続をモニタリングすることによって確認しておりますが、どのプロセスもローカルポート8080を現在使っているようには見られませんが、Polyspace Web Metrics を開こうとすると、下記エラーメッセージがブラウザ上に表示されてしまいます。

HTTP 404 "File not found"

また、catalina.out (Tomcat web server log file) には下記エラーメッセージが含まれています。

SEVERE: Error starting endpoint

java.net.SocketException: Unrecognized Windows Sockets error: 0: JVM_Bind

SEVERE: Catalina.start

LifecycleException: service.getName(): "Catalina"; Protocol handler start failed: java.net.SocketException:

Unrecognized Windows Sockets error: 0: JVM_Bind

Answer 1

[MathWorks Support Team]

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