Pex - Automated Whitebox Testing for .NET : Test Generators

Test Generators

Pex generates test cases by selecting a sequence of methods of the implementation-under-test to execute, and then generating inputs for the methods while checking assertions over the derived data.

A 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.

See Also

PexClassAttribute, PexExplorationAttributeBase, PexMethodAttribute
(c) Microsoft Corporation. All rights reserved. pex Wiki Documentation 0.93.50813.0