Theo Boris Beizer, thiết kế Testcase cần theo ràng buộc (contraint)

Theo một cách thức đầy đủ

Tất cả đều đúng

Nỗ lực và thời gian là tối thiểu

Nhằm khám phá lỗi