CHESS: An Automated Concurrency Testing Tool

CHESS is an automated tool from Microsoft Research for finding errors in multithreaded software by systematic exploration of thread schedules. It finds errors, such as data-races, deadlocks, hangs, and data-corruption induced access violations, that are extremely hard to find with current testing tools. Once CHESS locates an error, it provides a fully repeatable execution of the program leading to the error, thus greatly aiding the debugging process. In addition, CHESS provides a valuable and novel notion of test coverage suitable for multithreaded programs. CHESS can use existing concurrent test cases and is therefore easy to deploy. Both developers and testers should find CHESS useful.

More including a video can be found here: http://channel9.msdn.com/shows/Going+Deep/CHESS-An-Automated-Concurrency-Testing-Tool/

Microsoft Source Analysis for C# Announced By Microsoft

Microsoft Source Analysis for C# has been announced. Here is what I found on the Microsoft site:

This tool is known internally within Microsoft as StyleCop, and has been used for many years now to help teams enforce a common set of best practices for layout, readability, maintainability, and documentation of C# source code.

Source Analysis is similar in many ways to Microsoft Code Analysis (specifically FxCop), but there are some important distinctions. FxCop performs its analysis on compiled binaries, while Source Analysis analyzes the source code directly. For this reason, Code Analysis focuses more on the design of the code, while Source Analysis focuses on layout, readability and documentation. Most of that information is stripped away during the compilation process, and thus cannot be analyzed by FxCop.

The ultimate goal of Source Analysis is to allow you to produce elegant, consistent code that your team members and others who view your code will find highly readable.

More info can be found here: http://blogs.msdn.com/sourceanalysis/

Source Analysis for C# can be downloaded here: https://code.msdn.microsoft.com/Release/ProjectReleases.aspx?ProjectName=sourceanalysis.

Use Twitter To Stay On Top Of The .NET Programming News

Do you use twitter? If you don't you should, it is a great way to find out what is happening in the programming world. Below is a list of some well known programmers and their twitter URL. Start following them and you might learn a thing or two. And if you know of some other people then leave a comment and I will add them to the list.


Don Demsak
http://twitter.com/donxml

Keyvan Nayyeri
http://twitter.com/keyvan

Phil Haack
http://twitter.com/haacked

Miguel de Icaza
http://twitter.com/migueldeicaza

Shawn Wildermuth
http://twitter.com/TheADOGuy

Andrew Badera
http://twitter.com/andrewbadera

Michael Palermo
http://twitter.com/palermo4

Jeff Atwood
http://twitter.com/codinghorror

Scott Hanselman
http://twitter.com/shanselman

Jessy Libertry
http://twitter.com/jliberty

ALT.NET
http://twitter.com/altdotnet

Gavin Joyce
http://twitter.com/gavinjoyce

Sam Gentile
http://twitter.com/SamGentile

Dare Obasanjo
http://twitter.com/Carnage4Life

Chuck Boyce
http://twitter.com/chuckboycejr

Justice Gray
http://twitter.com/justice_gray

Rory Blyth
http://twitter.com/rory_blyth

John Lam
http://twitter.com/john_lam

Jason Massie
http://twitter.com/statisticsio

aspnetmvc
http://twitter.com/aspnetmvc

Paul Nielsen
http://twitter.com/PaulNielsen

Scott Koon
http://twitter.com/lazycoder


--------- added from comments --------
Rob Conery
http://twitter.com/robconery

Jon Galloway
http://twitter.com/jongalloway

Chad Myers
http://twitter.com/chadmyers

Jeremy Miller
http://twitter.com/jeremydmiller

Brad Wilson
http://twitter.com/bradwilson

Chris Bowen
http://twitter.com/chrisbowen

Dan Rigsby
http://twitter.com/DanRigsby

Aaron Lerch
http://twitter.com/AaronLerch

Jeff Moser
http://twitter.com/jeffmoser

Javier Lozano
http://twitter.com/lozanotek

Roy Osherove
http://twitter.com/RoyOsherove