From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,2796523a7ef1b49d,start
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!news.glorb.com!atl-c03.usenetserver.com!news.usenetserver.com!atl-c08.usenetserver.com!news.usenetserver.com!pc01.usenetserver.com!ALLTEL.NET-a2kHrUvQQWlmc!not-for-mail
Date: Thu, 14 Jul 2005 09:15:02 -0500
From: "Marc A. Criley" <mcNOSPAM@mckae.com>
User-Agent: Mozilla Thunderbird 1.0 (Windows/20041206)
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Assertive debugging: correcting software as if we meant it
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <1d806$42d67363$499528f$16241@ALLTEL.NET>
X-Complaints-To: abuse@usenetserver.com
Organization: UseNetServer.com
X-Trace: 1d80642d67363a13cf72a16241
Xref: g2news1.google.com comp.lang.ada:3623
Date: 2005-07-14T09:15:02-05:00
List-Id: <comp.lang.ada>

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