何かのやり方や、問題の解決方法をどんどんメモするブログ。そんな大学院生の活動「キャッシュ」に誰かがヒットしてくれることを祈って。 Java Pathfinder はJava用のモデル検査ツールで、実行することなくデッドロックが発生するスレッドの実行順序を発見したり、例外の発生する可能性を検出することが出来ます。 このJava Pathfinderはインストールがすこし面倒なので、インストールしたときのメモを公開しておきます。 Java PathfinderのWebページ トップページ:http://babelfish.arc.nasa.gov/trac/jpf Getting and Installing JPF:http://babelfish.arc.nasa.gov/trac/jpf/wiki/install/start ポイント ソースコードのダウンロードにMercurialを利用