2012年3月13日火曜日

JavaPathFinderのインストール方法(コマンドライン編)

Debian LinuxにJavaPathFinderをコマンドラインで動くようにインストールしたのでメモします。

1) /etc/apt/source.listを修正

   SunのJDKをインストールするため/etc/apt/source.listの以下記載を修正

[修正前]deb http://ftp.jp.debian.org/debian/ squeeze main
[修正後]deb http://ftp.jp.debian.org/debian/ squeeze main non-free

2)リポジトリを更新

> apt-get update 

3)JDK6をインストール

> apt-get install sun-java6-jdk

4)利用するJavaを変更する

以下コマンドよりインストールしたSunのJavaを選択する。
> update-alternatives --config java 

選択するJavaのパスは以下。
/usr/lib/jvm/java-6-sun/jre/bin/java 

JavaPathFinderのビルドはSunのJavaに

5)Antをインストール

apt-get install ant

6)Mercurialをインストール

> apt-get install mercurial

7)JPFをクローン

> hg clone http://babelfish.arc.nasa.gov/hg/jpf/jpf-core

8)ビルド

クローンしたjpf-coreフォルダに移動してantコマンドを実行

9)サンプルを動作確認

> bin/jpf HelloWorld

以下のように表示されたらインストール完了

JavaPathfinder v6.0 (rev 679) - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: HelloWorld.java

====================================================== search started: 12/03/13 22:27
I won't say it!

====================================================== results
no errors detected

====================================================== statistics
elapsed time:       00:00:00
states:             new=1, visited=0, backtracked=1, end=1
search:             maxDepth=1, constraints hit=0
choice generators:  thread=1 (signal=0, lock=1, shared ref=0), data=0
heap:               new=319, released=11, max live=319, gc-cycles=1
instructions:       2902
max memory:         15MB
loaded code:        classes=74, methods=956

====================================================== search finished: 12/03/13 22:27

10)任意のクラスを検証する場合

> <jpf-core-dir>/bin/jpf +classpath=. <application-main-class>