From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Is it possible to build an Ada cross-compiler for an 8-bit embedded target now that gcc 3.X has support for Ada?
Date: Wed, 19 Nov 2003 14:12:00 -0600
Date: 2003-11-19T14:12:00-06:00 [thread overview]
Message-ID: <vrnjndmn0vqge6@corp.supernews.com> (raw)
In-Reply-To: ubrr91g7a.fsf@nasa.gov
"Stephen Leake" <Stephe.Leake@nasa.gov> wrote in message
news:ubrr91g7a.fsf@nasa.gov...
> Which is a consequence of good design. How many times has it caught an
> exception generated by a runtime check? I would class those as "bugs",
> even if they don't cause lots of downtime.
Many times, tracable to 4 or 5 actual bugs (all fixed now). The point is
that even bugs don't cause the program to fail or (worse) cause a security
hole. Testing can never prove the absense of bugs; unless you're using
SPARK, you have to assume there are still some in there.
Randy.
next prev parent reply other threads:[~2003-11-19 20:12 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-11-13 19:50 Is it possible to build an Ada cross-compiler for an 8-bit embedded target now that gcc 3.X has support for Ada? Peter Milliken
2003-11-13 21:02 ` Peter Milliken
2003-11-14 9:53 ` Peter Amey
2003-11-14 18:59 ` Mike Silva
2003-11-14 19:52 ` Martin Dowie
2003-11-17 21:57 ` Randy Brukardt
2003-11-18 16:03 ` Stephen Leake
2003-11-18 20:17 ` Randy Brukardt
2003-11-18 22:10 ` Stephen Leake
2003-11-19 20:12 ` Randy Brukardt [this message]
2003-11-19 22:23 ` Chad R. Meiners
2003-11-18 19:55 ` Peter Milliken
2003-11-18 20:11 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox