Pex

Categories:	Testing
Author:	Microsoft
Latest version:	0.5
Description:	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.
Added:	2008-05-26
Attributes:	[BuilfForDotNet2] [AddIn] [FreeVersionAvailable]