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-13 00:06:01 PST
Path: 
 archiver1.sj.google.com!newsfeed.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!dispose.news.demon.net!news.demon.co.uk!demon!pogner.demon.co.uk!zap!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: AUnit
Date: 12 May 2001 18:31:58 +0100
Organization: CodeFella
Message-ID: <x7vsnia8odt.fsf@smaug.pushface.org>
References: <20010509194203.8E0BD190F2@ada.eu.org>
 <mailman.989493129.2348.comp.lang.ada@ada.eu.org>
 <9ddtdt$74q$1@news.huji.ac.il> <uvgn9hxm9.fsf@wanadoo.fr>
NNTP-Posting-Host: localhost
X-NNTP-Posting-Host: pogner.demon.co.uk:158.152.70.98
X-Trace: news.demon.co.uk 989737559 nnrp-10:11639 NO-IDENT
 pogner.demon.co.uk:158.152.70.98
X-Complaints-To: abuse@demon.net
NNTP-Posting-Date: 12 May 2001 17:32:02 GMT
X-Newsreader: Gnus v5.7/Emacs 20.7
Xref: archiver1.sj.google.com comp.lang.ada:7441
Date: 2001-05-12T17:32:02+00:00
List-Id: <comp.lang.ada>

Pascal Obry <p.obry@wanadoo.fr> writes:

> To test units I've been using Test Driver Generator from Andre Spiegel.
> 
>    ftp://ftp.informatik.uni-stuttgart.de/pub/local/
> 
> Latest version is 3.1.

We are evaluating this and AUnit (and a non-free tool, too). My
personal feeling is that TG stands a good chance.

A complete (short) script I'm using:

-- $Id: problem_reporting-component-test.ts,v 1.1 2001/04/22 10:49:46 simon Exp $

error_handling continue

context with Ada.Text_IO; use Ada.Text_IO;
	with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
        with Architecture.Exceptions;
	with Problem_Reporting.Component; use Problem_Reporting.Component;

***** (1) Create
define 	H : Problem_Reporting.Component.Handle;
	N : Unbounded_String := To_Unbounded_String ("first");
test	H := Problem_Reporting.Component.Create ((Id => N));
pass	H /= null
cleanup Problem_Reporting.Component.Delete (H);

***** (2) Create twice
define 	H : Problem_Reporting.Component.Handle;
	N : Unbounded_String := To_Unbounded_String ("first");
test	H := Problem_Reporting.Component.Create ((Id => N));
	H := Problem_Reporting.Component.Create ((Id => N));
pass	exception Architecture.Exceptions.Duplicate
cleanup Problem_Reporting.Component.Delete (H);

(as it stands, this needs a patch to TG because of translating '-' to
'.' when converting the file name to the Ada name).