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

Một khuôn khổ thử nghiệm, dựa trên JUnit, cho phép dễ dàng tạo ra các bài kiểm tra ngẫu nhiên, dựa trên các nguyên tắc thiết kế theo hợp đồng. Lập trình viên xác định các hành động đơn giản trên các tham số (được tiêm bởi khu