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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a37b80c4b5cba675
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-05-10 03:54:08 PST
Path: 
 newsfeed.google.com!newsfeed.stanford.edu!bloom-beacon.mit.edu!news-peer.gip.net!news.gsl.net!gip.net!cpk-news-hub1.bbnplanet.com!news.gtei.net!npeer.kpnqwest.net!nmaster.kpnqwest.net!blackbush.xlink.net!rz.uni-karlsruhe.de!schlund.de!news.online.de!not-for-mail
From: "Dr. Michael Paus" <paus@ib-paus.com>
Newsgroups: comp.lang.ada
Subject: Re: AUnit
Date: Thu, 10 May 2001 12:56:29 +0200
Organization: =?iso-8859-1?Q?Ingenieurb=FCro?= Dr. Paus
Message-ID: <3AFA73DD.C6B7EAA4@ib-paus.com>
References: <9dc49u$9fj$1@news.huji.ac.il>
NNTP-Posting-Host: pd95034f3.dip0.t-ipconnect.de
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: news.online.de 989492048 20711 217.80.52.243 (10 May 2001 10:54:08
 GMT)
X-Complaints-To: abuse@online.de
NNTP-Posting-Date: 10 May 2001 10:54:08 GMT
X-Mailer: Mozilla 4.75 [de]C-CCK-MCD DT  (Win98; U)
X-Accept-Language: de
Xref: newsfeed.google.com comp.lang.ada:7450
Date: 2001-05-10T10:54:08+00:00
List-Id: <comp.lang.ada>

Ehud Lamm wrote:
> 
> I was wondering how spread is the use of Aunit (the testing framework). Does
> anyone use it professionally? Did anyone try (and succeed) using it with
> students?

I am using JUnit (the Java counterpart to AUnit) but did not have the time yet
to try out AUnit (although I have already downloaded it :-)

> I have a feeling it is too complicated for students (it uses stuff we cover
> quite late like tagged types and child units), but I'd love showing my
> students the intense testing approach.

I think the use of J(A)Unit is quite straight forward if you have a complete
example which you can then extend with further test cases. Even if you do not
understand object oriented concepts like tagged types etc. you can just copy
and extend an example and so I think it should be possible to teach students
how to use this tool even if they do not completely understand why it works.

Michael