comp.lang.ada
 help / color / mirror / Atom feed
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Runtime check : what about you ?
Date: Fri, 17 Jun 2011 20:29:29 -0400
Date: 2011-06-17T20:29:29-04:00	[thread overview]
Message-ID: <wcchb7of0d2.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: itgqne$cma$1@munin.nbi.dk

"Randy Brukardt" <randy@rrsoftware.com> writes:

> I personally believe in the seatbelt analogy: "turning off checks in 
> released software is like using seatbelts in the driveway and then taking 
> them off when you reach the highway". For me, this also applies to 
> assertions and contracts as well -- I only turn these things off if they are 
> tremendously expensive (in which case I usually remove them permanently). I 
> know there are others (like Bob Duff) who think this analogy is silly.

No, I don't think it's silly.  I think it applies in some cases,
but not others.  I think turning checks on or off is a difficult
engineering decision that should depend on various factors.

- Bob



  reply	other threads:[~2011-06-18  0:29 UTC|newest]

Thread overview: 23+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-06-17  9:42 Runtime check : what about you ? Yannick Duchêne (Hibou57)
2011-06-17  9:56 ` Niklas Holsti
2011-06-17 10:06 ` Martin
2011-06-17 10:43 ` Simon Wright
2011-06-17 11:35 ` J-P. Rosen
2011-06-17 16:06 ` björn lundin
2011-06-17 19:18   ` Robert A Duff
2011-06-17 20:13     ` björn lundin
2011-06-17 20:34     ` Simon Wright
2011-06-17 17:53 ` Jeffrey Carter
2011-06-17 18:59   ` Adam Beneschan
2011-06-17 20:30     ` björn lundin
2011-06-18  0:19     ` Randy Brukardt
2011-06-18  0:26     ` Randy Brukardt
2011-06-18  3:08     ` tmoran
2011-06-18  7:16     ` J-P. Rosen
2011-06-18  8:04     ` Niklas Holsti
2011-06-17 20:12   ` Vinzent Hoefler
2011-06-17 20:12 ` Vinzent Hoefler
2011-06-18  0:15 ` Randy Brukardt
2011-06-18  0:29   ` Robert A Duff [this message]
2011-06-18  8:03     ` Dmitry A. Kazakov
2011-06-18  6:56 ` Dmitry A. Kazakov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox