John McCormick wrote:
> In the April issue of the Communications of the ACM, Marc Eisenstadt
> analyses the types and methods of locating bugs in war stories he
> collected on the net. He asked people to send him descriptions of thorny
> bugs in large pieces of software that caused them lots of headaches.
> Looking at the three examples of bug stories in the article I thought that
> 2 of the 3 bugs would have been detected in an equivalent Ada program at
> either compile or run time. Marc has made all of his war stories
> available at ftp://kmi-ftp.open.ac.uk/pub/bugtales/bugdata.txt I have
> made the following quick analysis of 41 bugs in 39 of his usenet stories:
> 24 bugs outside of the program (hardware errors, op sys errors, no cause
> given, compiler error, etc.)
> 15 bugs would have been detected with no effort in an Ada program (array
> bound violations, scalars out of range, etc.).
> 2 bugs would not have been detected by Ada (uninitialized variable and
> incorrect data)
Even with Normalize_Scalar pragma?