Howdy people, Me again with some more information of how both Code Contracts and Pex can be used together to write expressive tests (while still specifying a (partial) specification of the code). In the course of this article wel’ll also cover Assertions and Assumptions. In order to point out only the necessary topics, let’s introduce [...]
Posts Tagged ‘Unit testing’
Code Contracts & Pex: Assertions and Assumptions for Expressive Tests
Posted in Automation, c#, Code Contracts, Pex, Unit testing, visual studio, tagged assert, Assertions, assume, assumptions, Code Contracts, expressive test, Pex, Unit testing, visual studio, Visual Studio 2010, white box testing on February 1, 2010 | 5 Comments »
Pex: Parametrized Unit Tests and their Customization
Posted in Automation, c#, Pex, tips, Uncategorized, Unit testing, tagged autmation, customizing, ms_feeds, parametrized unit test, put, test, Unit testing, white box testing on January 19, 2010 | 5 Comments »
Hello, You might already guess it: Pex won’t let me go, and so I’d like to explain in short a few of Pex’ concepts. 1.1 Code Coverage Pex is an abbreviation for Program Exploration. You guessed it: Nomen est omen. It analyzes the branches (if, then, else, etc…) of control flow and tries to cover [...]

