Supponiamo che ci sia un metodo come questo (C#):Can Pex rileva automaticamente le condizioni di overflow/underflow del tipo?
public static int Add(int x, int y)
{
return x + y;
}
Se la somma non rientra nel tipo di dati int esso è probabilmente una situazione di errore che merita una prova di unità. Pex è in grado di identificare tali errori e generare test unitari per questi?
Sì, è molto buono. Quando introducono Pex, usano frequentemente il bug trovato nella routine di ordinamento binario della libreria Java, dove si riverserebbero su array molto grandi quando trovassero il nuovo punto medio. Una serie correlata di bug sono i bug degli anni bisestili e in genere utilizzano una funzione di uno dei prodotti Microsoft (Azure?) Che ne visualizzava uno in natura.
Pex rileva numerose classi di bug tra cui Overflow, Underflow, Null References, Argomento non valido e persino eventuali eccezioni personalizzate che si inseriscono nell'applicazione. Consiglio vivamente di leggere alcune delle guide introduttive e quindi combinare Pex con i Contratti di codice per rendere la tua vita molto più facile a lungo termine.
Può anche causare conflitti di hash quando si utilizza una tabella hash. È così bello – usr
@BryanAnderson, potresti condividere un link per un esempio pertinente? Ho provato a eseguire il rilevamento automatico di Pex sul metodo dalla domanda ma non ha rilevato le condizioni di overflow/underflow. –
Dai un'occhiata a http://channel9.msdn.com/Blogs/Peli/Getting-started-with-Pex-in-Visual-Studio-2008, è più vecchio ora ma è comunque una buona introduzione. Potrebbe anche essere necessario compilare con controlli over/underflow per testare il metodo add, credo che tendano ad essere off di default per la maggior parte delle build. –