Pex - Automated Whitebox Testing for .NET : Static Helper Classes

Static Helper Classes


Pex provides a set of static helper class that can be used when authoring parameterized unit tests:
  • PexAssume, facilities to state assumptions on inputs, useful to filter out undesirable inputs
  • PexAssert, simple assertion class in case your test framework does not provide one
  • PexChoose, a stream of additional test inputs that Pex manages
  • PexObserve, logs concrete values and optionaly validates them in the generated code

Some classes allow to interact with the Pex reasoning engine at a low-level:
  • PexSymbolicValue, utilities to inspect or modify symbolic constraints on variables

(c) Microsoft Corporation. All rights reserved. pex Wiki Documentation 0.93.50813.0