Mit Microsoft PEX ist es nun möglich, Unit-Tests automatisch generieren zu lassen. Dabei erstellt PEX zunächst für die jeweilige Methode einen generischen Test und kann sie dann analysieren um Eingabeparameter zu finden, die den Code der Methode zu 100% abdecken. Für jede gefundene Kombination wird ein eigener Unit-Test generiert.

Neben Parametern mit einfachen Basistypen wie int, string & co funktioniert das sogar für eigene Typen. Selbst mit Collections kann PEX umgehen, sobald man ihm erklärt hat, wie es dafür Testdaten generieren kann.

Darüber hinaus findet PEX beispielsweise auch heraus, wenn Methoden Ausnahmefehler werfen, die nicht abgefangen werden und gibt Hinweise darauf, wie man das Problem lösen kann.

Alles in allem scheint sich mit Microsoft PEX ein neuer Stern am Himmel der Softwareentwickler zu bilden. Eine sehr umfangreiche Übersicht mit Beispielen gibt es von Thomas Schissler im Artiso Blog.