From: "Chad R. Meiners" <crmeiners@hotmail.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 17:23:57 -0500
Date: 2003-11-19T17:23:57-05:00 [thread overview]
Message-ID: <bpgqj7$8hl$1@msunews.cl.msu.edu> (raw)
In-Reply-To: vrnjndmn0vqge6@corp.supernews.com
"Randy Brukardt" <randy@rrsoftware.com> wrote in message
news:vrnjndmn0vqge6@corp.supernews.com...
> Testing can never prove the absense of bugs; unless you're using
> SPARK, you have to assume there are still some in there.
Well non-exhaustive testing cannot prove the absense of bugs ;)
Furthermore, SPARK can only guaruntee the absence of certain bugs (problem
specification errors are outside of SPARK's scope). Thus, it is always safe
to assume that there are bugs in your software. ;-)
next prev parent reply other threads:[~2003-11-19 22:23 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
2003-11-19 22:23 ` Chad R. Meiners [this message]
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