プログラム assertj.sf.net

Java ベースのアサーション・チェック・フレームワーク。コントラクトによる設計 (DBC) またはテスト主導型の開発アプローチの開始点として最適です。