Pex is a test generation tool for .NET for Microsoft Research that builds on dynamic symbolic execution and constraint solving. After building the Pex engine as a Visual Studio extensions, we decided to make it available on the web. In this session, you will learn how we turn a software …
In this episode we are going to take at how to use Pex and Moles for .Net. Unit testing is great, but most free isolation frameworks require that your mocks implement an interface. But what do you do when the class you are trying to mock is static or sealed …
Pex is a white-box test generation tool for .NET. Starting from a hand-written parameterized unit test, Pex analyzes the program-under-test to determine relevant test inputs fully automatically. To this end, Pex executes the program multiple times with different inputs while monitoring the taken execution paths. Pex uses a constraint solver …