Software Quality

March 20, 2010

Code Contracts March 2010 Release improves code coverage

Filed under: Code Contracts — David Allen @ 1:26 pm

In previous releases, if you used code contracts and code coverage, your code coverage might be understated due to distortions in the analysis of the code inserted by the code contracts rewriter.

I tested the new version and it fixes this. So now, code coverage behaves as I expect. If you see partial coverage in some contracts, remember to write automated tests to exercise those alternate paths that cause contract failure.

Get the release at

March 9, 2010

Code Contracts Enhance Systems Integration

Filed under: Uncategorized — David Allen @ 11:23 pm

Integration of software systems is a challenging job. Our company has several systems that are connected.  I have observed  that adding Microsoft Code Contracts improves the speed of diagnosing problems, and improves the readability of our integration code.  I noticed this when we wrote custom workflow activity code, and installed it within our Microsoft CRM system. I wrote about that in an earlier article.

 This article describes the same benefit applied to another integration point. (more…)

Blog at