Assertive debugging: correcting software as if we meant it

Assertive debugging: correcting software as if we meant it

[Marc A. Criley]

This is an excellent article on how a comprehensive assertion-based 
debugging approach can result in significantly higher quality and 
reduced development time, because bugs are found and fixed quicker.

This sort of approach really complements software development with Ada, 
since with Ada one effectively gets numerous implicit assertions (range 
checks, index checks, null checks, type compatibility checks, etc.) for 
free.

Over the last few years I've significantly increased my use of 
assertions, in both Ada and C++, and can attest to the fact that 
problems are caught much sooner, and localized much quicker, than if I'd 
simply let themselves manifest themselves as application misbehavior.

"Assertive debugging: correcting software as if we meant it" by Mark 
Halpern.

http://www.embedded.com/showArticle.jhtml?articleID=163101116

-- Marc A. Criley
-- www.mckae.com
-- DTraq - XPath In Ada - XML EZ Out