Pex - Automated Whitebox Testing for .NET : Extensibility

Extensibility


Pex and Extended Reflection provide many extensibility points to build new dynamic analysis tools or simply add some missing feature in Pex. The extensibility is generally done through custom attributes:

  • the extension developer implements an abstract base attribute,
  • the extension consumer references the new attribute to use it's functionalities

Disclaimer


Although we will try to avoid breaking changes in Pex internal APIs, we might (and will) change or remove parts of Pex internal API from version to version. This might occur without notice but we will try to give a heads up to the extension writer on important changes (through the extension project).
(c) Microsoft Corporation. All rights reserved. pex Wiki Documentation 0.93.50813.0