Programas por assertj.sf.net

Un marco de comprobación de aserciones basado en Java. Un buen comienzo para un diseño por contrato (DBC) o un enfoque de desarrollo basado en pruebas.