Mike Barnett gives a step-by-step tutorial on Code Contracts, a new way to express preconditions, postconditions and invariants in any .NET language. The contracts team have built a runtime instrumentation tool and also advanced static checkers that can understand and reason about contracts. The Code Contracts library can be downloaded for …
In this video, Reza gives us a quick sneak-peak on some of the tools coming in Visual Studio 2010 around supporting Sharepoint as a platform. Watch this video on Channel9.com
In this third episode, Stephen Walther and Charlie Poole build tests that verify that their blog can return blog entries. They build unit tests for the case when there are no entries returned and the case when a single entry is returned. http://www.asp.net/learn/mvc-videos/video-407.aspx
Tutorial on how to inherit from a form in Visual Studio
In this episode Kyle Baley and I walk though creating a new feature for DimeCasts.net via remote pairing. This is the 2nd part of our pairing session, in this session we will fill out the application logic to allow our test to pass. http://www.dimecasts.net/Content/WatchEpisode/71
Learn how to catch critical bugs earlier in the development cycle by identifying issues such as buffer overruns and SQL injection attacks before they actually cause a security exploit. The Code Analysis features in Microsoft Visual Studio help you tune application security, robustness, performance, and more. Learn about Code Analysis …