Sdílet prostřednictvím


Microsoft.Pex.Framework Namespace

Classes

PexArgumentsAttribute

Defines a single value tuple that will be used as test inputs to seed the IntelliTest exploration.

PexAssert

A static helper class that contains a set of methods to express assertions in parameterized unit tests.

PexAssertReachedEventArgs

Event argument when a reachability point is touched.

PexAssertReachEventuallyAttribute

This attribute is used in conjunction with ReachEventually() to specify one or more goals that should be executed during exploration.

PexAssume

A static helper class that contains a set of methods to express preconditions in parameterized unit tests.

PexAssumeAttributeBase

Abstract base class for Assume attributes

PexAssumeNotNullAttribute

The test fails if the specified parameter is a null reference.

PexAssumeUnderTestAttribute

Defines a test target: not null and precise type matching.

PexAttributeBase

Abstract base class for all IntelliTest attributes

PexChoose

Supplies auxiliary input values to a test method.

PexChoose.Replay

Helper methods to support test execution.

PexClassAttribute

Used to specify additional settings about parameterized test methods.

PexExplorationAttributeBase

Abstract base class for exploration attributes

PexFactoryMethodAttribute

Tags factory methods used to instantiate objects. The method must be visible, static in a static class.

PexGenericArgumentsAttribute

Defines a single type tuple that will be used to instantiate generic test methods.

PexMethodAttribute

Identifies a method as a parameterized unit test for IntelliTest.

PexMethodUnderTestAttribute

Specifies the intended method under test for the current exploration. This attribute is used for exploration of private methods that require Reflection. Usually, this information can be mined by reading the method body byte code but when private method calls involving reflection are involved, we need this attribute.

PexObserve

Static class that contains methods to record values computed during test execution.

PexPreparationMethodAttribute

Tags methods used to prepare types. The method must be visible, static in a static class. It may have parameters.

PexSymbolicValue

Helper functions to deal with symbolic inputs

Enums

PexPlatform

Supported bitness for an exploration

Delegates

EqualityComparison<T>

Delegate that compares two values for equality.

PexAction

Anonymous action

PexAction<T>

Anonymous action

PexAction<T1,T2>

Anonymous action

PexAssume.Func<T>

A delegate that takes no input and returns a value of type T.

PexChooseExceptionFactory

A user-implemented delegate that creates an exception object.

PexEqualityComparison<T>

Returns true if left is equal to right

PexSymbolicValue.Action

A delegate representing a nullary method.

PexSymbolicValue.Function<T>

A delegate representing a nullary function.