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を利用
PMDの独自ルールで、潜在的なバグを機械的に探す : toda_k
パッケージ製品の開発は大規模かつ長期間になり、コードの寿命も必然的に長くなります。また関わる開発者が多いことから、コードの可読性を高く保つことも難しくなります。この難問を解決する方法には個人の技術力向上やプロセス改善といったものも考えられますが、ここでは“悪いコード”を弾きだす機械的な方法を開発サイクルに組み込むことに着目してみましょう。 このためのツールとしてJava開発者の間で最も有名なのは、おそらくfindbugsです。findbugsはclassファイルを解析し、潜在的なバグを探してくれます。Eclipseプラグインの日本語解説記事もあるので、多くの人が一度は試したのではないでしょうか。 他にはcheckstyleやPMDなど、ソースコードを解析してくれるツールもあります。checkstyleはコーディング規約に従っていないコードを検出してくれるので、複数人数での開発では重宝するで
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
