EDN Admin
Well-known member
[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...
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...