The Checker Framework
Are you tired of null pointer exceptions, unintended side effects, SQL injections, concurrency errors, mistaken equality tests, and other run-time errors that appear during testing or in the field? The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes comp
Javaプログラマが catch すんの忘れるのは計算機に探させよう
Java Pathfinder (jpf) というツールがあって、これは汎用バグ検査ツールなのです。特に、 catch し忘れた例外を、あんた忘れてはるで、と調べてくれるので簡単に紹介してみました。
Java Pathfinder（JPF）のインストール手順詳細 - 情報科学屋さんを目指す人のメモ（FC2ブログ版）
何かのやり方や、問題の解決方法をどんどんメモするブログ。そんな大学院生の活動「キャッシュ」に誰かがヒットしてくれることを祈って。 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を利用
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
