PEX – Automated White Box Testing for .NET

 

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 microsoft what you think.

Visit the orginal Article @ MSDN-DevLabs to download and Evaluate the Software…

Logo and Content are created and copy righted by Microsoft. This is just an information sharing post.