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.
PEX explorations fails
I follow thorught the Capatalise tutorial, e.g. create the class library, added the code and compiled it,Created paramaterised test stubs,however Run... moreFriday, Nov 6 by rdefeo
Stubs needs a better nameSearch for “Stubs” on stackoverflow and it is very hard to find any questions/answers about the “Stubs” framework rather then about Stubs/mocks in gen... moreThursday, Nov 5 by Ian Ringrose
Object Creation ErrorHi,
I have a problem with Pex's object creation. I am converting the test cases in Microsoft Enterprise Cache Application Block to Parameterized unit... moreMonday, Nov 2 by Swaroop Ganaganoor
Pex with ASP.NET MVC 1.0 Hi , We are going to start development with ASP.NET MVC 1.0 . Can Pex be used on this ? Is there any guidelines / best practice for using Pex on this... moreMonday, Nov 2 by Arul Prasad
Featured Video
Getting started with Pex in Visual Studio 2008