Pex - Automated Whitebox Testing for .NET
: Test Generators
Pex generates test cases by selecting a sequence of methods of the implementation-under-test to execute, and then
for the methods while
over the derived data.
parameterized unit test
directly states a sequence of method calls in its body.
When Pex needs to construct objects, calls to
constructors and factory methods
will added automatically to the sequence as needed.
The generation of inputs and assertion checking can be controlled with
further decoration attributes
(c) Microsoft Corporation. All rights reserved.
pex Wiki Documentation