Microsoft.Pex.Framework.Explorable Namespace
Important
Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.
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. |