[Microsoft research] PEX - automated Unit test

Have you heard about PEX ?


Description : Right from the Visual Studio code editor, Pex finds interesting input-output values of your methods, which you can save as a small test suite with high code coverage. Pex performs a systematic analysis, hunting for boundary conditions, exceptions and assertion failures, which you can debug right away. Pex enables Parameterized Unit Testing, an extension of Unit Testing that reduces test maintenance costs.

Value : use Pex to maximize the generation of Unit tests and increase your code coverage. You can attach the tests with the Team System unit test campaigns and increase your automated quality checks. Even if this project is still sitting at Microsoft Research, you can see where Microsoft is going looking at the software quality activities ... Quality is an activity sitting at EVERY STEP of the application development efforts ...