Microsoft Pex-Download verfügbar

Alles, was sonst nirgendwo reinpasst

Microsoft Pex-Download verfügbar

Beitragvon user » 12.06.08 15:13

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.
user
 
Beiträge: 104
Registriert: 26.05.08 00:58
Wohnort: Tokyo

Beitragvon Neronus » 12.06.08 21:06

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.
I would rather write programs to help me write programs than write programs
Neronus
 
Beiträge: 153
Registriert: 13.09.05 22:23

Beitragvon HE » 12.06.08 22:07

Also eigentlich ist der Name nur Schall und Rauch und nix mit Verifizieren?
Benutzeravatar
HE
 
Beiträge: 453
Registriert: 09.03.07 12:20
Wohnort: Aachen
Studiert seit: WS 06/07
Anwendungsfach: Mathe

Beitragvon oxygen » 12.06.08 22:33

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.
oxygen
 
Beiträge: 1054
Registriert: 16.12.05 23:05
Wohnort: Bergheim
Studiengang: Informatik (Dipl.)
Studiert seit: fertig
Anwendungsfach: Medizin

Beitragvon user » 13.06.08 10:19

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++ :)
user
 
Beiträge: 104
Registriert: 26.05.08 00:58
Wohnort: Tokyo


Zurück zu Off-Topic