Pex
Home Page
Categories: Testing
Author: Microsoft
Latest version: 0.9
Added 2008-05-26Updated 2009-02-17
Automated exploratory testing tool.
Pex (Program EXploration) is an assistant to the programmer that automatically produces a traditional unit test suite with high code coverage from a parameterized unit test. In addition, it suggests to the programmer how to fix the bugs.
Pex generates unit tests from hand-written parameterized unit tests through automated exploratory testing based on dynamic symbolic execution.
Unit Tests: parameterless methods that test a single unit of code.
Parameterized unit tests: same as above, but with parameters.
Automated exploratory testing: a tool-supported process of running, learning and testing code at the same time.
Dynamic symbolic execution: a combination of static analysis and runtime monitoring to compute test inputs.
Pex comes with a Visual Studio add-in, and also works from the command line.
Built for .NET 2 |
Add-in |
Free or free version available |