Category Archives: 8520

Using Pex in a TDD fashion…

Peli has just posted a good post on using Pex in a TDD fashion to create a binary heap.

In case you don’t know, Peli is actually one of the guys working on Pex at MSR so if you have a chance do give it a look 😉

Pex (Program EXploration) is an intelligent assistant to the programmer. From a parameterized unit test, it automatically produces a traditional unit test suite with high code coverage. In addition, it suggests to the programmer how to fix the bugs.”

By the way Pex is not tied to MSTest. See the Pex Extensions project on CodePlex for other framework support like NUnit.

A bit late…Pex 0.6 (with x64 support) released

I’ve not looked at Pex (Program EXploration) yet but it seems pretty interesting. The previous version 0.5 only supported x86.

I watched the Channel9 video on Pex a while back now, and have been following it via word of mouth for a long time so when 0.5 dropped it was pretty exciting…until I found out it didn’t support x64.

Nikolai Tillman has some more information on the 0.6 release, of particular note 64-bit support: Pex 0.6 installs on 64-bit Windows (but cannot analyse 64-bit-only code)