Pex - Automated Whitebox Testing for .NET : Propagation of Satellite Attributes

Propagation of Satellite Attributes


Test framework may have additional attribute used to annotate tests with domain specific data: bug ids, description, categories, suites, etc...

Each test framework knows about those 'satellite' attributes and propagates (i.e. copy) them to the generated test.

Example

The following example shows how the NUnit's CategoryAttribute can be applied to a parameterized test, and have Pex automatically propagate it to the generated tests:

[PexMethod, Category("very important")]
public void Important(int i) {...}

Then the generated test also have the CategoryAttribute:

[Test, ...]
[Category("very important")]
public void Important_1234_213_1() {...}
(c) Microsoft Corporation. All rights reserved. pex Wiki Documentation 0.93.50813.0