Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!philabs!seismo!harpo!floyd!vax135!ariel!houti!hogpc!houxm!ihnp4!zehntel!zinfandel!berry
From: berry@zinfandel.UUCP
Newsgroups: net.unix-wizards
Subject: Re: Famous Bugs - (nf)
Message-ID: <1061@zehntel.UUCP>
Date: Fri, 10-Jun-83 01:25:59 EDT
Article-I.D.: zehntel.1061
Posted: Fri Jun 10 01:25:59 1983
Date-Received: Sun, 12-Jun-83 04:45:00 EDT
Lines: 29

#R:sri-arpa:-181400:zinfandel:12400027:000:1589
zinfandel!berry    Jun  9 09:13:00 1983

In the April 1980 issue of ACM SIGSOFT Software Engineering Notes,
editor Peter G. Neumann (NEUMANN@SRI-KL at that time) relays information that
Earl Boebert got from Mark Groves (OSD R&E) regarding bugs in
the software of the F-16 fighter.  Apparently a problem in the navigation 
software inverted the aircraft whenever it corssed the equator.  Luckily it
was caught early in simulation testing and promptly fixed.  
  In the July issue, J.N. Frisina at Singer-Kearfott wrote to Mr. Neumann,
"concerned that readers might have mistakenly believed there was a bug in the
flight software, which was of course not the case." [At least they fixed THAT 
one.  Wasn't it Hoare who said that acceptance testing is just an unsuccessful
attempt to find bugs?]  Mr. Frisina wrote:
	"In the current search for reliable software, the F16 Navigation
	software is an example of the high degree of reliability and quality
	that can be obtained with the application of proper design verification
	and testing methodologies.  All primary misison functions were software
	correct."

In the April '81 Issue it is revealed that the F18 range of control travel 
limits imposed by the F18 software are based on assumptions about the 
inability of the aircraft to get into certain attitudes.  Well, some of these
'forbidden' attitudes are in fact attainable.  Apparently so much effort had
gone design and testing of the software that it is now preferable to
modify the aircraft to fit the software, rather than vice-versa!

Berry Kercheval		Zehntel Inc.	(decvax!sytek!zehntel!zinfandel!berry)
(415)932-6900