<s>[INST]Testler tam olarak bulunamayanlar nelerdir?[/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 açıklıklar özellikleri, sözleşmeleri, karşılaştırılabilir ürünleri, aynı ürünün geçmiş sürümlerini, amaçlanan veya beklenen amaçla ilgili çıkarımları, kullanıcı veya müşteri beklentilerini, ilgili standartları, ilgili yasaları veya diğer kriterleri içerebilir (ancak bunlarla sınırlı değildir).</s>