From: "Robert I. Eachus" <rieachus@attbi.com>
Subject: Re: Debugger Rant
Date: Fri, 18 Jul 2003 19:52:46 GMT
Date: 2003-07-18T19:52:46+00:00 [thread overview]
Message-ID: <3F185001.8010002@attbi.com> (raw)
In-Reply-To: e2e5731a.0307161821.763c418@posting.google.com
Alexander Kopilovitch wrote:
> (And yes, every time when I work with debugger I feel myself as I have a revolver
> in my hand -:)
ROTFL! But I tend to feel that using a debugger is more like using a
bazooka or a hand grenade. It can do the job but it is hell on the
spectators. You can make lots of changes with a debugger that the Ada
compiler will prevent you from making. If you know what you are doing,
and can mentally track the effects of your changes, including through
compiler optimizations, great.
But I am not that smart, and I tend to suspect that no one else is either.
If you use a debugger as a tool to steer around a program so you can
figure out what is going on, then make changes and recompile, that is
better.
But what I/we are advocating is that you write software that is
demonstratably correct and demonstrates that it meets all the
requirements. In other words Marc sees as a 'normal' use of the
debugger, I see as a requirements definition failure. You may get me to
sign off on a design where a debugger is required to demonstrate certain
requirements. But only after slogging through several days of
requirements analysis--and then I will go home and think about it some
more. Coverage analysis tools, expecially on secure software are a very
different story. But I will still protest coverage that can only be
demonstrated using a debugger.(It depends on how much code is involved
in the debugger demonstration, and how much needs to be mangled by the
debugger. I still much prefer object code inspection in many cases.)
--
Robert I. Eachus
�In an ally, considerations of house, clan, planet, race are
insignificant beside two prime questions, which are: 1. Can he shoot? 2.
Will he aim at your enemy?� -- from the Laiden novels by Sharon Lee and
Steve Miller.
next prev parent reply other threads:[~2003-07-18 19:52 UTC|newest]
Thread overview: 29+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-07-09 4:42 How to debug an Ada program mauricio
2003-07-09 7:30 ` Preben Randhol
2003-07-09 16:07 ` Pascal Obry
2003-07-09 17:16 ` Cephus�
2003-07-09 21:28 ` Robert I. Eachus
2003-07-10 3:37 ` Cephus�
2003-07-10 5:05 ` Robert I. Eachus
2003-07-10 7:25 ` Preben Randhol
2003-07-10 22:49 ` mauricio
2003-07-15 1:20 ` Richard Riehle
2003-07-15 4:22 ` James Rogers
2003-07-15 12:09 ` Marin David Condic
2003-07-11 13:05 ` Debugger Rant (was Re: How to debug an Ada program) Marc A. Criley
2003-07-11 13:26 ` Preben Randhol
2003-07-11 14:36 ` Dmitry A. Kazakov
2003-07-11 15:13 ` Jerry Petrey
2003-07-11 18:42 ` Robert I. Eachus
2003-07-12 2:26 ` Alexander Kopilovitch
2003-07-15 23:33 ` Robert I. Eachus
2003-07-11 19:36 ` Wesley Groleau
2003-07-11 20:33 ` Preben Randhol
2003-07-11 21:26 ` Wesley Groleau
2003-07-12 7:07 ` Brian Catlin
2003-07-15 23:34 ` Robert I. Eachus
2003-07-16 19:24 ` Debugger Rant Marc A. Criley
2003-07-17 2:21 ` Alexander Kopilovitch
2003-07-18 19:52 ` Robert I. Eachus [this message]
2003-07-19 9:51 ` Pascal Obry
2003-07-17 16:33 ` Wesley Groleau
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox