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.

Does mole generation skip abstract properties and methods of an abstract class?
Does mole generation skip abstract properties and methods of an abstract class? How to enable that? I cannot use stubs for this task because i need to... more
Saturday, Nov 21 by xor88
Pex always crashes with StackOverflow
Hi,after running Pex on a method it constantly crashes. A window pops up saying "Microsoft Pex Exploration Host funktioniert nicht mehr" (in... more
Saturday, Nov 21 by Michael Weiss
Stubs not working after Upgrade from 0.17 to 0.19
I have delete the old stub file and added a new one: <?xml version="1.0" encoding="utf-8" ?> <!-- This file is used by... more
Friday, Nov 20 by xor88
Stubs and Moles generation for internal visible classes
Hello,With the latest version of Pex (v0.19.41110.1 DevLabs Pre Release for commercial evaluation) some stuff started working differently. Particularl... more
Friday, Nov 20 by Yauhen Safrankou
New to Unit Testing
Hi, I have a couple of questions.Say I have a person class:Person{private string firstName;private string lastName;public string GetName(){return last... more
Thursday, Nov 19 by sjhuk

    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