Pex - Automated Whitebox Testing for .NET : Test Generation

Test Generation


In traditional unit testing, it takes several ingredients to put together a test:

[Test]
void MyTest() {
    // data
    ArrayList a = new ArrayList();
 
    // method sequence
    a.Add(5);
 
    // assertions
    Assert.IsTrue(a.Count==1);
    Assert.AreEqual(a[0], 5);
}

The test consists of different aspects.


Pex can often automatically determine relevant argument values for more general Parameterized Unit Tests, which give the sequence of method calls and assertions.
(c) Microsoft Corporation. All rights reserved. pex Wiki Documentation 0.93.50813.0