Pex – Automated White Box Testing for .NET

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.

Shouldn't Pex-generated test fail?
public static IEnumerable<A> GetAs(IEnumerable<Base> bases) { Contract.Requires(bases != null); Contract.Requires(Contract.For... more
Tuesday, Nov 24 by Michael Damatov

Creating Parameterized Moles returns null Mole only
I was working on a demo on using Pex with SharePoint and stumbled upon the following challenge. Imagine the following code: public static SPListItem G... more
Monday, Nov 23 by Waldek Mastykarz

Adding Precondition doesn't take the framework version into account
Adding Precondition to a 3.5 Framework Assembly, adds the Contract.Requires statement which belongs to the 4.0 Framework.w: http://blog.mastykarz.nl |... more
Monday, Nov 23 by Waldek Mastykarz

Error while executing a test from the Test View: Host process failed with exit code ClrMonitorFail
Executing a test from the Test View window results in the following exception:Error 11/23/2009 10:35:31 AM !error! [agent] host process failed with ex... more
Monday, Nov 23 by Waldek Mastykarz

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

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

	Download 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