Path: csiph.com!usenet.pasdenom.info!gegeweb.org!de-l.enfer-du-nord.net!feeder1.enfer-du-nord.net!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: "Paul E. Bennett" Newsgroups: comp.lang.forth Subject: Re: Olympic Spririt for Forth Followup-To: comp.lang.forth Date: Fri, 12 Oct 2012 22:41:15 +0100 Organization: Hidecs Consultancy Lines: 34 Message-ID: References: <7x4nmauisn.fsf@ruckus.brouhaha.com> <2028826.7QaYsnLk6j@sunwukong.fritz.box> <7xd30x4t9c.fsf@ruckus.brouhaha.com> <2012Oct5.130829@mips.complang.tuwien.ac.at> <7xa9vyuwlo.fsf@ruckus.brouhaha.com> <8544930.KNqXtjcyQv@sunwukong.fritz.box> <7xwqz1vcdu.fsf@ruckus.brouhaha.com> <1755828.uKo66frh80@sunwukong.fritz.box> <7xa9vw9r99.fsf@ruckus.brouhaha.com> <2012Oct11.192115@mips.complang.tuwien.ac.at> Reply-To: Paul_E.Bennett@topmail.co.uk Mime-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7Bit X-Trace: individual.net mDacTSTKjjrvGMo6HRKakQ9MAcGpNAAQztDR2l5n/02saGN/FlMk3r1NnpVAOTwCN+ Cancel-Lock: sha1:Tj+DWwGplu8ya4/Up8mIe1hztaY= Mail-Copies-To: Paul_E.Bennett@topmail.co.uk User-Agent: KNode/0.99.01 Xref: csiph.com comp.lang.forth:16226 rickman wrote: [%X] >> Woops. > > That is my point. They *do* test the "living shit" out of their stuff, > but sometimes they decide a given test is not required (Hubble) or they > just don't think to test something (Mars Orbiter). There are just so > many tests you can do that you *can't* do them all. So problems can't > be tested out of a complex system. > > Of course I'm not saying you shouldn't test. I'm saying you can't > produce complex systems that are 100% reliable. Then I read stuff like > the post I replied to that makes it sound like they think there *is* a > magic bullet to solve the problem. > > I'm just sayin'... Where Forth wins out for high integrity systems, in my view, is in that you can write a collection of simple programmes that are so obviously correct by inspection, confirm the case by fully testing, and build the more complex application without having to repeat too much of the former testing.This is, of course, assuming that the Forth code was developed from use of a decent development process. -- ******************************************************************** Paul E. Bennett............... Forth based HIDECS Consultancy Mob: +44 (0)7811-639972 Tel: +44 (0)1235-510979 Going Forth Safely ..... EBA. www.electric-boat-association.org.uk.. ********************************************************************