DevLabs: PEX


About Pex – Automated White Box Testing for .NET

Pex (Program EXploration) produces a traditional unit test suite with high code coverage. A parameterized unit test is simply a method that takes parameters, calls the code under test, and states assertions. Given a parameterized unit test written in a .NET language, Pex automatically produces a small unit test suite with high code and assertion coverage. To do so, Pex performs a systematic white box program analysis.

Pex learns the program behavior by monitoring execution traces, and uses a constraint solver to produce new test cases with different behavior. At Microsoft, this technique has proven highly effective in testing even an extremely well-tested component.

Play with Pex, stress it, evaluate it, and tell us what you think.

See more DevLabs projects >


Feedback

Give feedback about Pex in the DevLabs Forums.

Can Moles be used to mock a sealed class?
I am trying to mock my Linq To SQL classes. I have the following code:     IQueryable<User> vUser =          (from aUser in _ctx.Users       ... more
Tuesday, Feb 9 by Vaccanoll
How to get the related path condition that is used to generate a test input and the execution with the input have boundary exceeded problem
When Pex get new inputs from a new path condition that is obtained by flipping one of the branch node of the old path, Pex will execute the program wi... more
Tuesday, Feb 9 by xusheng.xiao
How to track arguments of the uninstrumented method call?
If we pass an uninstrumented method receives symbolic variables and make some changes inside the method, it could affect the subsequent execution of P... more
Tuesday, Feb 9 by xusheng.xiao
Pex with VS 2010 RC
I tried (just because I'm a sucker for punishment) to install Pex 0.22 with VS 2010 RC. I ended up getting bad image errors when I'd run Pex on a meth... more
Tuesday, Feb 9 by Jason Bock
.net 4.0 RC & PEX 0.23
RC is finally out, keeping fingers crossed for PEX 0.23 :-)
Miha Markic [MVP C#] http://blog.rthand.com
Tuesday, Feb 9 by Miha Markic

    Featured Video

    Getting started with Pex in Visual Studio 2008

     

     

     

    Related

    Get PEX

    Pex finds interesting input-output values of your methods, which you can save as a small test suite with high code coverage.

    Get Started

    1Download and install Pex (Program EXploration)
    Follow the Getting Started guide to use Pex in your projects


    Requirements

    • Operating System: Windows Vista 32bit / 64bit (on x64, only 32-bit (Wow64) processes are supported)
    • Development Tools: Visual Studio 2008 Team Dev or Team Test Editions

    Page view tracker