Программы assertj.sf.net

Рамочная проверка утверждений на основе Java. Хорошее начало для проектирования по контракту (DBC) или тест-Driven развития подхода.