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

EDN Admin

Well-known member
Joined
Aug 7, 2010
Messages
12,794
Location
In the Machine
[Broken External Image]:http://ecn.channel9.msdn.com/o9/ch9/5/8/1/2/5/5/MDCCTechTalkCodeContractsAndPex_85_ch9.pngBy*Nikolai Tillmann and**Mike Barnett

Learn how*Code Contracts provides a set of tools for design-by-contract programming and how Pex is an advanced unit-testing tool that uses automated program exploration to intelligently create unit tests with high code coverage.*
See how they work together so that your code has fewer defects.

Learn about new features for Code Contracts including automatic documentation generation, call-site checking for components and reference assemblies for the .NET Framework and for Pex including a light-weight mocking framework, improved support for large code bases, and more thorough test input generation.

Links:
PEX // Code Contracts // Mike Barnett // Nikolai Tillmann*//*MDCC // DPE DK

[Broken External Image]:http://channel9.msdn.com/552185/WebViewBug.aspx?EVT=0

More...
 
Back
Top