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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: f43e6,899fc98b2883af4a
X-Google-Attributes: gidf43e6,public
X-Google-Thread: 1108a1,59ec73856b699922
X-Google-Attributes: gid1108a1,public
X-Google-Thread: fdb77,5f529c91be2ac930
X-Google-Attributes: gidfdb77,public
X-Google-Thread: 11232c,59ec73856b699922
X-Google-Attributes: gid11232c,public
X-Google-Thread: 103376,583275b6950bf4e6
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-05-14 09:50:59 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!feed2.news.rcn.net!rcn!news-out.visi.com!petbe.visi.com!uunet!ash.uu.net!spool0900.news.uu.net!reader0902.news.uu.net!not-for-mail
Date: Wed, 14 May 2003 12:50:42 -0400
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US;
 rv:1.4b) Gecko/20030507
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: 
 comp.lang.java.advocacy,comp.object,comp.lang.ada,misc.misc,comp.software-eng
Subject: Re: Quality systems (Was: Using Ada for device drivers? (Was: the
 Ada mandate, and why it collapsed and died))
References: <9fa75d42.0304230424.10612b1a@posting.google.com>
 <9fa75d42.0305011727.5eae0222@posting.google.com>
 <17cd177c.0305072114.24f04783@posting.google.com>
 <9fa75d42.0305090612.261d5a5c@posting.google.com>
 <b9gko2$pub@library1.airnews.net>
 <9fa75d42.0305091549.48b9c5d9@posting.google.com>
 <dstanbro-DDA263.20492210052003@mec2.bigpond.net.au>
 <ZpGva.13$1Q1.6@read3.inet.fi>
 <7507f79d.0305121629.5b8b7369@posting.google.com>
 <ln0wa.54$a03.44@read3.inet.fi>
 <9fa75d42.0305130543.60381450@posting.google.com>
 <slrnbc1tum.62g.randhol+abuse@kiuk0152.chembio.ntnu.no>
 <b9tcov$u6q$1@slb3.atl.mindspring.net>
 <slrnbc4ne1.8if.randhol+abuse@kiuk0152.chembio.ntnu.no>
In-Reply-To: <slrnbc4ne1.8if.randhol+abuse@kiuk0152.chembio.ntnu.no>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Organization: KBC Financial Products
Message-ID: <1052931043.822632@master.nyc.kbcfp.com>
Cache-Post-Path: master.nyc.kbcfp.com!unknown@fixedcost.nyc.kbcfp.com
X-Cache: nntpcache 3.0.1 (see http://www.nntpcache.org/)
NNTP-Posting-Host: 204.253.250.10
X-Trace: 1052931044 reader2.ash.ops.us.uu.net 10330 204.253.250.10
Xref: archiver1.google.com comp.lang.java.advocacy:63784 comp.object:63389
 comp.lang.ada:37327 misc.misc:14162 comp.software-eng:19181
Date: 2003-05-14T12:50:42-04:00
List-Id: <comp.lang.ada>

Preben Randhol wrote:
> What I am wondering is why do C or C++ programmers need so many tools to
> check their code

The tool that checks my C++ code is my compiler. I do have to work
with third-party libraries, so occasionally I use Purify when a
mystery erupts.

> If there was a debugger-free day

Debuggers are useful to stop a program in mid-execution and then
prowl around in its innards to get a snapshot of current state.
When the program in question is responding to external events
and messages, and also does not seem to be behaving as expected,
the debugger can give you insight as to what's going on. This
doesn't mean that I'm using the debugger to track down buffer
overruns or those other Ada-checked things.