Monday, December 28, 2009

Pex - Automated White Box Testing

Pex generates Unit Tests from Parameterized Unit Tests through Automated White box Testing based on Input Generation:
  • Can generate inputs for hand-written Parameterized Unit Tests.
  • Can try to find bugs in an existing .Net assemblies by using the Pex Wizard to create simple parameterized unit tests automatically.
  • Uses a constraint solver to systematically generate relevant inputs for the program-under-test. The result is a minimal test suite with maximal code coverage.
  • Pex emits tests and mocks for MSTest.


No comments: