Unit-Tests sind ein probates Mittel, die (korrekte) Funktionalität von Komponenten sicherzustellen. Was die Sache Besonders macht, ist die Möglichkeit, sie zu jeder Zeit automatisiert aufrufen zu können. Damit können problemlos Fehler im Code aufgedeckt werden, die beispielsweise durch Refactoring im Laufe der Zeit sonst unentdeckt blieben.

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.