Microsoft Pex-Download verfügbar

[user]

Hallo da,

unter http://research.microsoft.com/pex/downloads.aspx gibt's Pex zum runterladen. Dabei handelt es sich um ein Tool zum automatischen Verifizieren von Quellcodes.

[Neronus]

Pex ist eher ein Tool zu automatischen Generierung von Unit Tests auf der Basis von parameterisierten Unit Tests. Was der macht ist lediglich alle moeglichen Inputs zu erzeugen.

[HE]

Also eigentlich ist der Name nur Schall und Rauch und nix mit Verifizieren?

[oxygen]

Description
Pex (Program EXploration) is a white-box test generation tool. Given a hand-written parameterized unit test, Pex analyzes the code to determine relevant test inputs fully automatically. The result is a traditional unit test suite with high code coverage.

[user]

Also damals vor Urzeiten, wurde behauptet, dass die Fehlermöglichkeiten gezielt lokalisiert werden und dann Unittest erstellt werden, welche genau diese Fehler provozieren. Also sowas wie Z.b. String ist eine null-Referenz, etc.

So oder so, is es eine nette Sache. Das zeigt einem mal, wieviele Eingabemöglichkeiten und Randfälle man sonst nicht beachtet. Das gibt bei mir immer solche Aha!-Moment wie die Benutzung von Valgrind für C++ :)