-
1 Java PathFinder
1.1 基本情報 バージョン : 1.0-7
インストーラ : javapathfinder-src-libs-1.0-7-oct-05.zip
必要なソフト : Java 開発環境(1.4、1.5)
Web : http://sourceforge.net/project/showfiles.php?group_id=136825
所要時間 : 約 5 分(ダウンロード)
約 20 分(インストール)
*ダウンロード
1. 上記のサイトより 「javapathfinder-src-libs-1.0-7-oct-05.zip」 をダウンロード
* 前提条件として,以下のソフトウェアがインストールされていることが必要です.
Cygwin
Eclipse (以下では,英語版の Eclipse で説明しますが,日本語版でもかまいません.)
JDK 1.4 (JDK のバージョンは,必ず 1.4 としてください.同一マシンに,他のバージョンの
JDK が入っていても問題ありません.)
1.2 インストール手順 1 「javapathfinder-src-libs-1.0-7-oct-05.zip」を「C:\JPF」で展開する.
C:¥JPF¥jpf release という,名前に空白を含むディレクトリが作成されるので,これを
C:¥JPF¥jpfRelease という空白の入らないディレクトリ名に変更する.
2 Eclipse を起動する.
-
- 1 -
3 [File]→[New]→[Project] から、「Java/Java Project from Existing Ant Buildfile」を選択し
「Next」ボタンを押す
-
- 2 -
4 「Ant Buildfile」の右にある「Browse」ボタンから、「C:\JPF\jpfRelease\build.xml」を選択する.
「Select javac declaration to use to define project」 では,先頭にある 「"javac" task found in
target "compile-jpf"」 を選択する.
5 「Finish」 ボタンを押す.左側のペインに,作成された「nasa-jpf」というプロジェクトが表示さ
れるのを確認する.
-
- 3 -
6 「nasa-jpf」プロジェクトを選択し,右クリックして現れるメニューから「Properties」を選択する.
-
- 4 -
7 プロパティウィンドウで Java Compiler のページを選択し,以下のように設定する.
Enable project specific settings: チェック
Compiler compliance level 1.4
Use default compliance settings: チェックを外す
Generated .class files compatibility 1.4
Source compatibility 1.4
8 Apply ボタンを押す.ビルドを直ちに行うかどうか尋ねるウィンドウが現れるかもしれない.そ
の場合は No を選択する.
-
- 5 -
9 プロパティウィンドウで Java Build Path のページを選択し,Libraries タグを選ぶ.
JRE_LIB を選び,Remove ボタンを押して,これを削除する.
Add Library ボタンを押し,現れたウィンドウ (Add Library) で JRE System Library を
選択し,Next ボタンを押す.
-
- 6 -
Alternate JRE を選択し,Installed JREs ボタンを押す.
現れたウィンドウ (Installed JREs) で Add ボタンを押す.
-
- 7 -
現れたウィンドウ (Add JRE) で,JRE home directory の Browse ボタンを押し,JRE
1.4 のインストールディレクトリを選択する.また,JRE name に適当な名前 (たとえば
「j2sdk1.4.2_18」など) を入力する.
OK を押す.Installed JREs ウィンドウに戻るので,OK を押す.
-
- 8 -
Add library ウィンドウに戻るので,今追加した JRE1.4 を, Alternate JREに指定する.
Finish を押す.
10 プロパティウィンドウで,Builders タブを選ぶ.ここで,先ほどの変更を直ちに適用するかどう
か聞かれるかもしれない.その場合は Apply Later を選択する.New ボタンを押し,Ant
Builder を選び,OK を押す.
-
- 9 -
11 Properties for New_Builder ウィンドウが現れるので,以下のように設定する
Name: 適当な名前を入力する.
Main タブ
Build file: C:\JPF\jpfRelease\build.xml
Base Directory: C:\JPF\jpfRelease
-
- 10 -
Targets タブ
After a "Clean": compile-examples, run-tests
Manual Build: compile-examples, run-tests
Auto Build: compile-examples, run-tests
-
- 11 -
Classpath タブ
以下を追加する.方法は,User Entries を選択して,Add External JARs ボタンを押し,
該当ファイルを選ぶ.
C:/JPF/jpfRelease/lib/xml-apis.jar
C:/JPF/jpfRelease/lib/bcel.jar
C:/JPF/jpfRelease/lib/fast-MD5.jar
C:/JPF/jpfRelease/lib/xercesImpl.jar
-
- 12 -
JRE タブ
Runtime JRE: Separate JRE を選択し,先ほど追加した JRE1.4 を選ぶ.
-
- 13 -
12 プロパティウィンドウで OK ボタンを押す.ビルドが始まるはずであるが,もし始まらなかったら,
Project メニューから Build Project を選択する.大量の警告がリストされるが,エラーなしで
ビルドが終了するはずである.
1.3 動作確認手順 1 上記手順 11 の実行後、Eclipse のコンソールウィンドウに 「BUILD SUCCESSFUL」の表示が
あることを確認する。
※ ビルド時に、Norton Internet Security の警告が表示されることある。
警告が表示された場合は、動作を許可するよう設定する。
-
- 14 -
2 Eclipse の Run メニューから Open Run Dialog を選択する.新しいウィンドウ(Run)が現れる.
3 左の一覧から Java Application を選択し,その一覧の上部左端にあるアイコンを押す (上
図では赤丸で示した).以下のように設定する.
Main タブ
Name を New_configuration から適当に変更する.
Project は nasa-jpf を選ぶ.
Main class に,gov.nasa.jpf.JPF と指定する.
-
- 15 -
Arguments タブ
Program arguments に,以下のように指定する: +jpf.basedir=C:/JPF/jpfRelease deadlock/Deadlock
-
- 16 -
Classpath タブ
User Entries を選択し,Advanced ボタンを押す.Add External Folder を選び,
OK を押す.出てきたディレクトリリストから C:/JPF/jpfRelease/build/examples
を選び,OK を押す.
再びUser Entries を選択し,Advancedボタンを押す.Add External Folder を選び,
OK を押す.出てきたディレクトリリストから C:/JPF/jpfRelease/build/env/jvm
を選び,OK を押す.
4 Apply ボタンを押す.
-
- 17 -
5 Run ボタンを押す.コンソールウィンドウに, A cycle start
B.foo() was called
A cycle end
A cycle start
から始まり,終わりの方に
===================================
1 Error Found: Deadlock
===================================
を含む出力が現れることを確認する.
1 Java PathFinder1.1 基本情報1.2 インストール手順1.3 動作確認手順