TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy


Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Lionel Draghi <[log in to unmask]>
Reply To:
Lionel Draghi <[log in to unmask]>
Fri, 2 May 1997 22:17:53 +0200
text/plain (28 lines)
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  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?