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