Code Digger für VS2012 analysiert .NET-Code

Die Erweiterung Code Digger kann direkt aus Visual Studio 2012 heraus über die Visual Studio Gallery geladen werden. Code Digger analysiert alle möglichen Ausführungspfade von .NET-Code und präsentiert seine Ergebnisse in Form einer Tabelle. Jede Zeile der Tabelle zeigt eine Verhaltensweise des Codes -- welcher Input erzeugt welchen Output. Ziel ist es, mit der Tabelle das Verhalten des Codes besser verständlich zu zu machen und versteckte Fehler aufzudecken.

Unter der Haube benutzt Code Digger die Pex Engine und den Z3 Constraint Solver von Microsoft Research um systematisch alle Zweige im Code zu analysieren. Dabei wird versucht, eine Test Suite mit möglichst hoher Codeabdeckung zu generieren. Das Benutzerinterface von Code Digger ist dabei bewusst einfacher gestaltet worden als die der Pex Power Tools. Entsprechend ist Code Digger auch kein vollständiger Ersatz für die Power Tools, die sich viel detaillierter konfigurieren lassen. Code Digger ist vielmehr als ein einfacher und leicht zu handhabender Einstieg in die Codeanalyse für alle Entwickler gedacht. Weitere Infos zu Code Digger, darunter auch einige Screenshots, hat Microsoft-Research-Mitarbeiter Nikolai Tillmann in diesem Blogbeitrag zusammengestellt. [bl]