Is there any best practice/guidelines available for using Code Contracts, Pex and 'Fake' framework?

Question

Is there any best practice/guidelines available for using Code Contracts, Pex and Fake framework? Not able to find something concrete available with all 3 combined.

Answer 1

PEX site provides a bunch of documentation for using PEX and Code Contracts.

Your entry point probably will be Getting Started With Microsoft Code Contracts and Pex .

They also have good Moles documentation Microsoft Moles Reference Manual

Martin Angler has a great introductory article on Code Contracts & Pex: Assertions and Assumptions

There are also good workshops on this topic:

• Code Contracts and Pex: Power Charge Your Assertions and Unit Tests
• Microsoft PEX/MOLES & advanced Unit-Testing aspects (3 parts)
• Manuel Fahndrich and Peli de Halleux - The Synergy of Code Contracts and Pex 10-minute note from PEX designers

Answer 2

The Visual Studio ALM Rangers are working on guidance for Microsoft Fakes. I'd be very interested in hearing from users who have adopted it, been scared off, success stories, tips, failures.... etc. drop me a mail at fakes@freetodev.com

I'll post a link here to our guidance as soon as we start shipping.

Mike