From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,703c4f68db81387d
X-Google-Thread: 109fba,703c4f68db81387d
X-Google-Thread: 115aec,703c4f68db81387d
X-Google-Thread: f43e6,703c4f68db81387d
X-Google-Attributes: gid103376,gid109fba,gid115aec,gidf43e6,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!o13g2000cwo.googlegroups.com!not-for-mail
From: "jimmaureenrogers@worldnet.att.net" <jimmaureenrogers@worldnet.att.net>
Newsgroups: comp.lang.ada,comp.lang.c++,comp.realtime,comp.software-eng
Subject: Re: Teaching new tricks to an old dog (C++ -->Ada)
Date: 6 Mar 2005 15:20:10 -0800
Organization: http://groups.google.com
Message-ID: <1110151210.176045.168760@o13g2000cwo.googlegroups.com>
References: <4229bad9$0$1019$afc38c87@news.optusnet.com.au>
   <1110032222.447846.167060@g14g2000cwa.googlegroups.com>
   <871xau9nlh.fsf@insalien.org>
   <3SjWd.103128$Vf.3969241@news000.worldonline.dk>
   <87r7iu85lf.fsf@insalien.org>
   <y8lWd.103136$Vf.3969714@news000.worldonline.dk>
   <422b6c80.1141685927@news.xs4all.nl>
   <l4MWd.103362$Vf.3977593@news000.worldonline.dk>
NNTP-Posting-Host: 69.170.70.49
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1110151214 27440 127.0.0.1 (6 Mar 2005 23:20:14
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sun, 6 Mar 2005 23:20:14 +0000 (UTC)
User-Agent: G2/0.2
Complaints-To: groups-abuse@google.com
Injection-Info: o13g2000cwo.googlegroups.com; posting-host=69.170.70.49;
   posting-account=SqOfxAwAAAAkL81YAPGH1JdBwpUXw9ZG
Xref: g2news1.google.com comp.lang.ada:8782 comp.lang.c++:44399
 comp.realtime:1040 comp.software-eng:4573
Date: 2005-03-06T15:20:10-08:00
List-Id: <comp.lang.ada>

Peter Koch Larsen wrote:
> "Wouter van Ooijen (www.voti.nl)" <wouter@voti.nl> skrev i en
meddelelse
> news:422b6c80.1141685927@news.xs4all.nl...
> > >My conclusion is that there are some nice ideas out there, but
that they
> >>mainly protect against the "sloppy" programmer.
> >
> > You are absolutely right.
> >
> > The point that you are probably missing is that *everyone* is a
sloppy
> > programmer every once in a while. The frequency of this sloppiness
of
> > course varies, but it is never zero. So every sloppy mistake caught
by
> > the compiler is a good thing.
[snip]
>
> Which is why other means are needed for quality software. Rigorous
testing
> and code reviews come to mind.

Ada does not replace rigorous testing or code reviews. It supplements
them. Code reviews are extremely helpful. They also consume a lot of
time for the development team when they are done well. It is best to
remove as many silly errors from the code through automatic analysis
before exposing the code to developers for review.

I have never worked in an organization where code was judged ready for
review if it had not already produced a clean compile, with no warnings
or errors. When doing C code this meant also passing lint with no
errors or warnings.

The Ada compiler effectively combines the error messages common to a
good C compiler with the error and warning messages common to a good
lint tool. When you get a clean compile from an Ada compiler you are
ready to expose your code to others for a code review.

Jim Rogers