comp.lang.ada
 help / color / mirror / Atom feed
From: Peter Amey <peter.amey@praxis-cs.co.uk>
Subject: Re: n versioning is there any other better approach
Date: Mon, 24 Apr 2006 00:31:02 +0100
Date: 2006-04-24T00:31:02+01:00	[thread overview]
Message-ID: <4b2h1rFvb6o3U1@individual.net> (raw)
In-Reply-To: <jvE2g.939576$xm3.211846@attbi_s21>



Jeffrey R. Carter wrote:
> Larry Kilgallen wrote:
> 
>>
>> Do you recall whether there was any commonality in the versions, other
>> than the specification ?   Like language, background of implementers,
>> deadline, etc. ?
> 
> 
> Sorry, no, just that the versions were developed independently.
> 

Are you perhaps thinking of the Knight-Leveson experiment?  The paper is 
  on line somewhere.

ISTR that they got teams of students independently to implement the same 
specification.  The interesting result is that the programs all tended 
to fail the same, hard, test cases - e.g. area of a figure in the case 
where all the vertices were 0,0 or intersection of lines that are 
parallel.  The conclusion was that N version gives some protection from 
random errors but that real errors aren't very random!

Peter




  reply	other threads:[~2006-04-23 23:31 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2006-04-21  6:05 n versioning is there any other better approach Ananth the Boss
2006-04-21 13:45 ` Larry Kilgallen
2006-04-21 21:25   ` Robert A Duff
2006-04-22  0:50     ` Jeffrey R. Carter
2006-04-22 11:50       ` Larry Kilgallen
2006-04-23  5:44         ` Jeffrey R. Carter
2006-04-23 23:31           ` Peter Amey [this message]
2006-04-24  4:05     ` Ananth the Boss
2006-04-24 10:11       ` Ananth the Boss
2006-04-24  4:04   ` Ananth the Boss
2006-04-24 12:04     ` Simon Clubley
replies disabled

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