Pex - Automated Whitebox Testing for .NET : Using Custom Values and Types

Using Types


When Pex generates inputs, it uses an automatic constraint solver to determine what relevant input values are.

The constraint solver has certain built-in theories which can reason about how the program-under-test uses integer arithemtic and how it accesses memory. However, these theories handle only certain cases.

In order to create objects, Pex needs to know which types are available.

You can tell Pex which values to consider using the following attributes which derive from PexDomainAttributeBase.
(c) Microsoft Corporation. All rights reserved. pex Wiki Documentation 0.93.50813.0