Chương trình theo assertj.sf.net

Một khung kiểm tra khẳng định dựa trên Java. Một khởi đầu tốt cho một thiết kế theo hợp đồng (DBC) hoặc một cách tiếp cận phát triển test-Driven.