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