Code Contracts and Pex: Power Charge Your Assertions and Unit Tests

Download this episode

Download Video


Code Contracts and Pex, introduced at Devlabs, now have even more ways to improve your .NET code. Code Contracts provides a set of tools for design-by-contract programming. Pex is an advanced unit-testing tool that uses automated program exploration to intelligently create unit tests with high code coverage. They work together so that your code has fewer defects. New features for Code Contracts include automatic documentation generation, call-site checking for components and reference assemblies for the Microsoft .NET Framework. Pex now comes with a light-weight mocking framework, improved support for large code bases, and more thorough test input generation.
For more information, check out this course on Microsoft Virtual Academy:







Available formats for this video:

Actual format may change based on video formats available and browser capability.

    The Discussion

    Comments closed

    Comments have been closed since this content was published more than 30 days ago, but if you'd like to send us feedback you can Contact Us.