From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,c4cb2c432feebd9d
X-Google-Thread: 1094ba,c4cb2c432feebd9d
X-Google-Thread: 101deb,15c6ed4b761968e6
X-Google-Attributes: gid103376,gid1094ba,gid101deb,public
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news2.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed01.chello.at!newsfeed02.chello.at!news.hispeed.ch.POSTED!not-for-mail
Message-ID: <1513819.xLoThlOV4W@linux1.krischik.com>
From: Martin Krischik <krischik@users.sourceforge.net>
Subject: Re: Ada vs Fortran for scientific applications
Newsgroups: comp.lang.ada,comp.lang.fortran,comp.lang.pl1
Date: Mon, 29 May 2006 19:37:48 +0200
References: <mubcg.13522$fb2.853@newssvr27.news.prodigy.net>
 <epcs4e.qb8.ln@hunter.axlog.fr> <tHkcg.6937$kR6.484@trnddc05>
 <0ugu4e.4i7.ln@hunter.axlog.fr>
 <PkHcg.90575$Fs1.7198@bgtnsc05-news.ops.worldnet.att.net>
 <To_cg.10095$S7.4017@news-server.bigpond.net.au>
 <%P_cg.155733$eR6.26337@bgtnsc04-news.ops.worldnet.att.net>
 <pan.2006.05.24.15.48.07.783229@linuxchip.demon.co.uk.uk.uk>
 <ru0dg.156184$eR6.115957@bgtnsc04-news.ops.worldnet.att.net>
 <pan.2006.05.24.17.53.03.81353@linuxchip.demon.co.uk.uk.uk>
 <2006052415345816807-gsande@worldnetattnet> <op.s92jl8t85afhvo@dogen>
 <5H9dg.10257$S7.8193@news-server.bigpond.net.au>
 <1319222.cHklMpk1fa@linux1.krischik.com>
 <inZdg.11939$S7.8565@news-server.bigpond.net.au>
User-Agent: KNode/0.10.1
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-15
Content-Transfer-Encoding: 8Bit
X-Complaints-To: abuse@hispeed.ch
Organization: hispeed.ch
NNTP-Posting-Host: 80.218.119.160 (80.218.119.160)
NNTP-Posting-Date: Mon, 29 May 2006 20:30:16 +0200
X-Trace: 8ccdb447b3db8f57fd20502800
Xref: g2news2.google.com comp.lang.ada:4589 comp.lang.fortran:10447
 comp.lang.pl1:1807
Date: 2006-05-29T19:37:48+02:00
List-Id: <comp.lang.ada>

robin wrote:

>> The review was only done for the Ariane 4 rocket.
 
> The report specifically states that the code was reviewed
> for Ariane 5, as I just described.

Not in the two reports I read:

1) http://ravel.esrin.esa.it/docs/esa-x-1819eng.pdf

Pg.11: "However, no test was performed to verify that the SRI would behave
correctly when being subjected to the count-down and flight time sequence
and the trajectory of Ariane 5"

cont. Pg. 11: "The main explanation for the absence of this test has already
been mentioned above, i.e. the SRI specification (...) *does not* contain
the Ariane 5 trajectory data as a functional requirement"

2) http://www-aix.gsi.de/~giese/swr/ariane5.html

"Ein intensiver Test des Navigations- und Hauptrechners wurde nicht
unternommen, da die Software bei Ariane 4 erprobt war."

"Trotz des ganz anderen Verhaltens der Ariane 5 wurde dieser Wert nicht neu
�berlegt."

"Diese Beweise galten jedoch nicht f�r die Ariane 5 und wurden daf�r auch
gar nicht nachvollzogen."

(Bablefish [1] translation work well on the above German quotes)

But thinking about it: "review the code" is not the same as "test the code"
or "review the requirement".

Martin

[1] http://babelfish.altavista.com

-- 
mailto://krischik@users.sourceforge.net
Ada programming at: http://ada.krischik.com