Partager via


Microsoft.Pex.Framework.Explorable Namespace

Classes

PexCrossProductExplorableStrategyAttribute

Generates a sequence of test from a systematic cross-product of api calls. This is the default strategy.

PexExplorableAttributeBase

Attribute to define how instances of a particular type can be created by exploring a (parameterized) method

PexExplorableFromConstructorAndSettersAttribute

Explorable from constructor and setters

PexExplorableFromConstructorAttribute

Attribute to define how instances of a particular type can be created by using property setters and setter methods to set field values

PexExplorableFromFactoriesAttributeBase

Attribute that scans an assembly for methods marked by PexFactoryMethodAttribute located in static types.

PexExplorableFromFactoriesFromAssemblyAttribute

Attribute that scans an assembly for methods marked by PexFactoryMethodAttribute located in static types.

PexExplorableFromFactoriesFromTypeAttribute

Attribute that scans an assembly for methods marked by PexFactoryMethodAttribute located in a static types.

PexExplorableFromMethodAttribute

Attribute to define how instances of a particular type can be created by using property setters and setter methods to set field values

PexExplorableGuesserAttributeBase

Abstract base class to define new Microsoft.Pex.Engine.Explorable.IPexExplorableGuesser implementations

PexExplorableMutatorAttribute

Attribute to define how instances of a particular type can be mutated by exploring a (parameterized) instance method

PexExplorableStrategyAttributeBase

Abstract base class for attributes implementing the Microsoft.Pex.Engine.Explorable.IPexExplorableStrategy

PexInvariant

Helper method to create instances of types which have a contract invariant method

PexRandomExplorableStrategyAttribute

Generates random sequences of mutators within bounds.