Code Digger is a Microsoft® Visual Studio® 2012 extension that analyzes possible execution paths through your .NET code. The result is a table where each row shows a unique behavior of your code. The table helps you understand the behavior of the code, and it may also uncover hidden bugs.
Overview
Through the new context menu item "Generate Inputs / Outputs Table" in the Visual Studio editor, you can invoke Code Digger to analyze your code. Code Digger computes and displays input-output pairs. Code Digger systematically hunts for bugs, exceptions, and assertion failures.
Code Digger only works on public .NET code that resides in Portable Class Libraries.
Under the hood, Code Digger uses the Pex engine and Microsoft Research’s Z3 constraint solver to systematically analyze all branches in the code, trying to generate a test suite that achieves high code coverage.
Code Digger is the first extension from the Pex team at Microsoft Research for Visual Studio 2012. Stay tuned for future extensions that bring more aspects of the rich experience of the Pex Visual Studio 2010 Power Tools to the latest version of Visual Studio. If you have feedback for us, or bug reports, feel free to write an email to the Pex team at Microsoft Research. If you have used Pex before, let us know if you are missing a particular feature.
To stay up-to-date, like Pex and Moles on Facebook.
Code Digger in news and blogs
- April 28, 2012, InfoQ: Analyze Public .NET Code with Code Digger
- April 25, 2013: Rion Williams on Using Pex and Microsoft Code Digger to Better Understand and Test Your Code
- Aril 25, 2013: Mike James on Code Digger Finds The Values That Break Your Code
- Overview
- Getting Started
- Release Notes
