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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,595c75298fbdce96
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,CP1252
Path: 
 g2news1.google.com!postnews.google.com!x21g2000yqa.googlegroups.com!not-for-mail
From: Midoan <midoan.ses@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Is Aunit helpful?
Date: Sat, 14 Aug 2010 14:33:32 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <3957496a-af4b-45f5-87c9-327b22d19f08@x21g2000yqa.googlegroups.com>
References: 
 <8a1e58c0-2330-4475-8013-97df103dd85e@o19g2000yqb.googlegroups.com>
 <82r5ids1o9.fsf@stephe-leake.org>
 <daea94be-eb3a-4984-a6de-0b68225e3139@o19g2000yqb.googlegroups.com>
 <20100805211820.52c18cb5.tero.koskinen@iki.fi>
 <8d166cfb-4850-42b6-ac25-d9ac00df7565@q35g2000yqn.googlegroups.com>
 <op.vhdx2hsoule2fv@garhos> <82ocd5wukf.fsf@stephe-leake.org>
NNTP-Posting-Host: 188.141.92.189
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1281821612 16977 127.0.0.1 (14 Aug 2010 21:33:32
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sat, 14 Aug 2010 21:33:32 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: x21g2000yqa.googlegroups.com; posting-host=188.141.92.189;
 posting-account=X24XNwoAAACSn_ecescZSCM9-2ONsCM_
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US)
 AppleWebKit/534.3 (KHTML,
 like Gecko) Chrome/6.0.472.33 Safari/534.3,gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:13303
Date: 2010-08-14T14:33:32-07:00
List-Id: <comp.lang.ada>

On Aug 14, 6:57=A0am, Stephen Leake <stephen_le...@stephe-leake.org>
wrote:
> "Yannick Duch=EAne (Hibou57)" <yannick_duch...@yahoo.fr> writes:
>
> > About AUnit: just seen about what it is, how it is set up and how it
> > works. Seems a question is still pending : =93how to be sure the test
> > cover =A0all relevant case ?=94. I do not see a way to be sure testing
> > cover all =A0cases.
>
> Correct, AUnit does not do that. gcov does, although I have not used it
> very much. It can be difficult to use the output of gcov.
>
> > That is the main limitation of this kind of approach.
>
> What alternative approaches provide coverage information?
>

FYI, note that with Mika (http://www.midoan.com/), the automatic test
data  generator for Ada, it is possible to take in your existing test
cases, check the coverage achieved, and automatically generate missing
test inputs and expected test result (which can be validated to form
new test cases automatically). This facility will be automated soon:
http://www.midoan.com/soon.html

This can be done to achieve branch, decision or MC/DC coverage as
desired.

regards,
the Midoan team