Code Digger Finds The Values That Break Your Code
Written by Mike James   
Thursday, 25 April 2013

Code Digger is a free extension for VS 2012 that will automatically find "interesting" input values for your program - where interesting usually means  "crash" or otherwise break your code. 

I had a colleague with a remarkable talent. He could look at your program for a few minutes, go to the keyboard and enter something that would crash it. It was a valuable knack, but guess what, he was hated for it. Not a gift you would wish on anyone. Now you don't have to.

Code Digger is a lightweight Visual Studio extension that will examine your code and perform the same trick. It makes use of the Pex engine and Microsoft' Research's Z3 constraint solver to analyze all branches in the code in an attempt to generate a test suite that runs the code though all possibilities. The input values needed to exercise your code in this way are the "interesting" values that your code either copes with or dies on. 

 

codediggercode

Code Digger takes the code and makes a list of the interesting input values along with their outputs and shows you if any make your program crash along with the error message: 

 

codediggerout

 

At the moment there are some limitations. In particular it only works with a Portable Class Library. The reason for this is that it cannot cope with platform specific dependencies. 

 

codediggerpex

 

Code Digger is essentially an easier to use form of Pex which does performs a more configurable analysis. If you want to try Pex there is a website where it will analyze your code interactively. It also has a set of programming puzzles where you try to write code the matches the Pex analysis of a hidden function. It's fun and it emphasizes the idea that a program is well defined by a small number of input output relationships. 

 

codediggerpexicon

More Information

Introducing: Code Digger, an extension for VS2012

Download

Pex4Fun.com

Related Articles

Debugging and the Experimental Method       

Chrome Native Debugger For Visual Studio       

Does Your JavaScript Leak? Introducing Google Leak Finder    

Debug the easy way with Canvas      

 

To be informed about new articles on I Programmer, install the I Programmer Toolbar, subscribe to the RSS feed, follow us on, Twitter, FacebookGoogle+ or Linkedin,  or sign up for our weekly newsletter.

 

blog comments powered by Disqus

 

Banner


The Astonishing Progress Of Blink
09/04/2014

It is just over a year since Google broke away from WebKit and decided to create its own version of the rendering engine just for Chrome. What is amazing is just how much benefit Chrome has accrued fr [ ... ]



Google Invites Vancouver To Paint the Sky
20/03/2014

The Vancouver waterfront has a new attraction - an interactive crowd-controlled visual artwork on a textile sculpture of monumental scale created for TED's 30th anniversary.


More News

 

Last Updated ( Thursday, 25 April 2013 )
 
 

   
RSS feed of news items only
I Programmer News
Copyright © 2014 i-programmer.info. All Rights Reserved.
Joomla! is Free Software released under the GNU/GPL License.