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>
