تست‌های مثالی ورودی‌هایی را بررسی می‌کنند که شما به آن‌ها فکر کرده‌اید. تست مبتنی بر ویژگی (property-based test) قاعده‌ای را می‌نویسد که باید برای هر ورودی برقرار باشد و بعد می‌گذارد کامپیوتر صدها ورودی بسازد تا آن را بشکند. وقتی موفق شود، شکست را به کوچک‌ترین مثالی که یک آدم بتواند بخواند کوچک می‌کند.