<s>[INST]Test sırasındaki oracle ne yapar?[/INST]Test, bazı belirli hipotezler varsayımı altında yazılımın doğruluğunu belirleyebilse de (aşağıdaki test zorluğu hiyerarşisine bakın), test yazılım içindeki tüm hataları tanımlayamaz. Bunun yerine, ürünün durumunu ve davranışını kâfirlerle karşılaştıran bir eleştiriyi veya karşılaştırmayı sunar - birinin bir problemi tanıyabileceği prensipler veya mekanizmalar. Bu teklifler, aynı ürünün şartnamelerini, sözleşmelerini, karşılaştırılabilir ürünlerini, geçmiş sürümlerini, amaçlanan veya beklenen amaç, kullanıcı veya müşteri beklentileri, ilgili standartlar, uygulanabilir yasalar hakkındaki çıkarımları içerebilir (ancak bunlarla sınırlı değildir), veya diğer kriterler.</s>