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,c406e0c4a6eb74ed
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!proxad.net!feeder2-1.proxad.net!news2-e.free.fr!not-for-mail
Date: Wed, 08 Sep 2004 00:18:32 +0200
From: Lionel Draghi <Lionel.nospam.Draghi@Ada-France.org>
User-Agent: Mozilla/5.0 (X11; U; Linux i686; fr-FR;
 rv:1.7.2) Gecko/20040820 Debian/1.7.2-4
X-Accept-Language: en-us, it
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: ADA Popularity Discussion Request
References: <49dc98cf.0408110556.18ae7df@posting.google.com>
 <TqxUc.26181$9Y6.25639@newsread1.news.pas.earthlink.net>
 <e749549b.0408200838.43e841d@posting.google.com>
 <tJqVc.7839$3O3.4242@newsread2.news.pas.earthlink.net>
 <ba2f9c57.0408211523.389cf201@posting.google.com>
 <e749549b.0408261232.8d8157e@posting.google.com>
 <cgn7bm$snk$3@a1-hrz.uni-duisburg.de>
 <e749549b.0408271348.74f5a957@posting.google.com>
 <cgpma7$pet$1@a1-hrz.uni-duisburg.de>
 <slrncj0nmf.hl6.adi@ppc201.mipool.uni-jena.de>
 <cgppvn$t4m$1@a1-hrz.uni-duisburg.de>
 <6F2Yc.848$8d1.621@newsread2.news.pas.earthlink.net>
 <m3isb2ey3w.fsf@rigel.goldenthreadtech.com>
 <hMnYc.1759$w%6.1486@newsread1.news.pas.earthlink.net>
 <m3656vfgmf.fsf@rigel.goldenthreadtech.com> <wvbrzn43kfah.fsf@sun.com>
 <m31xhffj73.fsf@rigel.goldenthreadtech.com>
In-Reply-To: <m31xhffj73.fsf@rigel.goldenthreadtech.com>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <413e33b7$0$29062$626a14ce@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 08 Sep 2004 00:18:32 MEST
NNTP-Posting-Host: 82.64.158.15
X-Trace: 1094595512 news2-e.free.fr 29062 82.64.158.15:37053
X-Complaints-To: abuse@proxad.net
Xref: g2news1.google.com comp.lang.ada:3452
Date: 2004-09-08T00:18:32+02:00
List-Id: <comp.lang.ada>

jayessay wrote:
...

> Actually, the incremental bottom
> up development with _continual_ testing of almost every code snippet
> is a significant advance above static typing.

> In this sort of
> development you are typically _extensively testing even partial
> expressions or single clauses_ (well below the level of a function)
> and at each increment of accretion testing that until you have a
> function at which point it is tested.  
In this sort of development, you typically *don't* do any extensive 
testing. You more often just test typical use-cases.
Doing extensive testing will certainly not be done with an informal method.

For extensive testing, you need some coverage tools, and this is 
obviously not specific to Agile methods.

If you really want to increase your productivity, just try to avoid 
testing by using formal proof or static analysis tools.
And once more here, strong typing will be your best friend.

-- 
Lionel Draghi