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,f9907f8bfe34dbdb
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!postnews.google.com!y9g2000yqg.googlegroups.com!not-for-mail
From: info@midoan.com
Newsgroups: comp.lang.ada
Subject: Re: Mika by Midoan : Automated Test Data Generation for Ada
Date: Mon, 13 Apr 2009 23:02:21 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <0366ded0-b06e-4014-b8d7-8183c0cf408d@y9g2000yqg.googlegroups.com>
References: <904464b6-c007-4a2e-b643-498e84973be4@37g2000yqp.googlegroups.com>
	<4d091d9d-c5bd-433c-b858-a2a37d2f2fe9@r33g2000yqn.googlegroups.com>
	<0a64b166-4a07-4819-b8c4-42d10b04768f@w34g2000yqm.googlegroups.com>
	<FgyBl.24345$9a.1974@bignews1.bellsouth.net>
NNTP-Posting-Host: 213.202.171.111
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1239688941 11226 127.0.0.1 (14 Apr 2009 06:02:21
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 14 Apr 2009 06:02:21 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: y9g2000yqg.googlegroups.com; posting-host=213.202.171.111;
	posting-account=X24XNwoAAACSn_ecescZSCM9-2ONsCM_
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB; rv:1.9.0.8)
	Gecko/2009032609 Firefox/3.0.8 (.NET CLR 3.5.30729),gzip(gfe),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:5448
Date: 2009-04-13T23:02:21-07:00
List-Id: <comp.lang.ada>

On Apr 4, 3:06=A0am, "Brian Gaffney" <brianDOTgaff...@myrealbox.com>
wrote:
> In what way does VectorCast/Ada not count as "automatically generates tes=
t
> inputs from your source code"?

Quoting from Vector software website: "The Test Case Generator is an
interactive utility that allows you to specify test cases by
responding to prompts."
To us this does not amount to automatic test data generation. Our tool
does not require manual interactions beyond specifying the subprogram
you want coverage tests for.

> > > "Can Mika handle Ada 20005 code?" - blimey that's optimistic! Who has
> > > asked for that!!! :-)
>
> Support for Ada 2005 would be a great thing. =A0I haven't seen any test t=
ool
> (or any other non-compiler tool) that supports it. =A0Even a plan to supp=
ort
> it (or parts of it) would be an improvement.

We are actively working on it and the next update as currently planned
on http://www.midoan.com/soon.html mentions :

        * Remove current dependency on MinGW GNAT distribution to
handle all major GNAT releases including GNAT 2008 GPL and GNAT PRO
6.2.1;
        * Subset to include some Ada 2005 extensions.

These are the top two requests that we got via http://www.midoan.com/reques=
t.html
since the launch.

Next release is due next month.

Regards,
the Midoan and Mika team