Meskipun pengujian dapat menentukan benarnya perangkat lunak di bawah asumsi beberapa hipotesis tertentu (lihat hirarki kesulitan pengujian di bawah), pengujian tidak dapat mengidentifikasi semua cacat dalam perangkat lunak. Sebaliknya, buku itu memberikan kritik atau perbandingan yang membandingkan keadaan dan perilaku produk itu dengan oracles princiciples atau mekanisme yang dengannya seseorang mungkin mengenali suatu problem. Oracles ini mungkin termasuk (tetapi tidak terbatas pada) spesifikasi, kontrak, produk yang sebanding, versi masa lalu dari produk yang sama, inferensi tentang tujuan atau harapan yang diharapkan, pengguna atau pelanggan, standar yang relevan, hukum yang berlaku, atau kriteria lainnya.
Hal - hal apa saja yang tercakup dalam oracles dan terbatas?
spesifikasi, kontrak, produk yang sebanding, versi masa lalu dari produk yang sama, inferensi tentang tujuan atau harapan yang diharapkan