Code Contracts & Pex: Assertions and Assumptions for Expressive Tests

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 [...]

Read Full Post »

Pex PUT Customization Update: Use Lambda Expressions instead of Anonymous Methods

Howdy, In reference to my previous post, Pex: Parametrized Unit Tests and their Customization, I’d like to publish an update: I received an interesting comment by Peli, that the following code piece should be replaced by a lambda expression, in order to make it more readable. Hence, I’d advice that you should just replace the [...]

Read Full Post »

First steps with PEX: Automated White box Testing for .NET

Hello folks, It’s me again. During the last days I found an interesting new framework: Pex. On the Microsoft’s research labs’ page, it is summarized as follows: Right from the Visual Studio code editor, Pex finds interesting input-output values of your methods, which you can save as a small test suite with high code coverage. [...]

Read Full Post »