Can Pex, otomatik taşma/yetersiz hava koşullarını keşfeder mi?

Question

bu (C#) gibi bir yöntem bulunduğunu varsayalım: toplamı int veri türü içine uymuyorsa

public static int Add(int x, int y) 
{ 
    return x + y; 
} 

muhtemelen bir birim testi değer bir hata durumdur. Pex, bu tür hataları tanımlayabilir ve bunlar için birim testleri oluşturabilir mi?

Answer 1

Evet, çok iyi. Pex'i tanıtırken, Java kütüphanesinin ikili sıralama rutinde bulunan ve sıklıkla yeni orta noktayı bulurken çok büyük diziler için taşacak olan hataları kullanırlar. İlgili bir hata kümesi, artık yıl hatalarıdır ve bunlar, Microsoft'un kendi ürünlerinden (Azure?) Bir tanesini kullanır.

Pex, Taşma, Alt Akımlar, Boş Referanslar, Geçersiz Bağımsız Değişken ve uygulamanıza attığınız özel istisnalar dahil olmak üzere birçok farklı hata sınıfı yakalar. Bazı başlangıç ​​kılavuzlarını okumanızı ve daha sonra uzun vadede hayatınızı kolaylaştırmak için Pex ile Kod Sözleşmelerini birleştirmenizi tavsiye ederim.