I'm thrilled to present the project I joined last October: 'Pex' (for Program EXploration). Pex is a powerfull plugin for unit test frameworks that let the user write parameterized unit tests**. Pex does the hard work of computing the relevant values for those parameters, and serializing them as classic unit tests.

Here's a short screencast where we test and implement a string chunker. In the screencast, we use a parameterized unit test to express that for *any* string input and *any* chunk length, the concatenation of the chunks should be equal to the original sting.

http://research.microsoft.com/pex/screencast.aspx

More info on Pex is available at http://research.microsoft.com/pex/.

** It's actually much more than that... but let's keep that for later :)

Don't forget to take notes... in Reflector!   (more addins at http://www.codeplex.com/reflectoraddins/)

All my Reflector addins have a new home:

http://www.codeplex.com/reflectoraddins

Please use the codeplex issue tracking to log bugs.

Getting this dusty blog back to life....

GLEE, a graph layout engine developed in Microsoft Research. It is now available for downloading at http://research.microsoft.com/research/downloads/download.aspx?FUID=c927728f-8872-4826-80ee-ecb842d10371.

After 2 years in the CLR, I'm moving job (and building) to Microsoft Research. I will be working on Parametrized Unit Testing.

I've refreshed the Reflector Addins and fixed a couple bugs:

• CodeMetrics: fixed data serialization problem. Now dumping xml.
• IL graph: back to life
• IronPython: upgrade to beta4

Download the latest binaries as usual at http://projectdistributor.net/Projects/Project.aspx?projectId=43 

 Looks like there are some big changes ahead for me... Elliott, born sunday, loves milk and keeping his parents awake all night.  

Update for Reflector 4.2.0.0

   Download at http://www.projectdistributor.net/Releases/Release.aspx?releaseId=304

.net 1.1 addins:

• Reflector.CodeMetrics.dll (CodeMetrics)
• Reflector.Rules.dll (Rules)
• Reflector.ComViewer.dll (COM viewer)
• Reflector.DesignViewer.dll (PropertyGrid, Control, XmlSerializer)
• Reflector.TreeMap.dll (Type Tree Map)
• Reflector.Graph.dll (Assembly Graph, IL Graph, Statement Graph)

.net 2.0 addins:

• Reflector.IronPython.dll (IronPython console. Requires IronPython assemblies in path!)
• Reflector.Coverage.dll (Coverage visualization)

I have updated my Reflector Addins (download available at http://projectdistributor.net/Releases/Release.aspx?releaseId=274 ).

1. The big change is that I have splitted the addins into many assemblies which let you load more selectively which one you want.
2. The second change is that most of the addins are now compiled against .Net 1.1. All the 1.1 addins are in the root directory, while the ones requiring 2.0 are in the 2.0 folder (which also contains a config file)!

.net 1.1 addins:

• Reflector.CodeMetrics.dll (CodeMetrics)
• Reflector.Rules.dll (Rules)
• Reflector.ComViewer.dll (COM viewer)
• Reflector.DesignViewer.dll (PropertyGrid, Control, XmlSerializer)
• Reflector.TreeMap.dll (Type Tree Map)

.net 2.0 addins:

• Reflector.Graph.dll (Assembly Graph, IL Graph, Statement Graph)
• Reflector.CodeGeneration.dll (Code Generators)
• Reflector.IronPython.dll (IronPython console. Requires IronPython assemblies in path!)
• Reflector.Languages.dll (Reflection.Emit language)
• Reflector.Coverage.dll (Coverage visualization)

Enjoy.