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: 
 g2news1.google.com!postnews.google.com!w34g2000yqm.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: Thu, 26 Mar 2009 00:08:23 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <0a64b166-4a07-4819-b8c4-42d10b04768f@w34g2000yqm.googlegroups.com>
References: <904464b6-c007-4a2e-b643-498e84973be4@37g2000yqp.googlegroups.com>
	<4d091d9d-c5bd-433c-b858-a2a37d2f2fe9@r33g2000yqn.googlegroups.com>
NNTP-Posting-Host: 78.16.206.67
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1238051303 32553 127.0.0.1 (26 Mar 2009 07:08:23
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Thu, 26 Mar 2009 07:08:23 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: w34g2000yqm.googlegroups.com; posting-host=78.16.206.67;
	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.7)
	Gecko/2009021910 Firefox/3.0.7 (.NET CLR 3.5.30729),gzip(gfe),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:4325
Date: 2009-03-26T00:08:23-07:00
List-Id: <comp.lang.ada>

On Mar 24, 3:31=A0pm, Martin <martin.do...@btopenworld.com> wrote:
> On 23 Mar, 14:28, i...@midoan.com wrote:
>
>
>
> > Midoan Software Engineering Solutions Ltd. (http://www.midoan.com/)
> > announces
> > the release of Mika, the first commercial testing tool for Ada that
> > automatically generates
> > test inputs from your source code.
>
> > Mika is an entirely automatic tool that analyses your Ada code and
> > generates,
> > carefully constructed, tests that will exercise all the branches or
> > decision
> > within your code at a level suitable for integration testing. With
> > Mika, manual
> > test data generation is no longer necessary.
>
> > If you are involded in the testing of Ada code, you should check what
> > Mika can
> > do for you: it may well save you weeks of arduous, manual, test data
> > generation.
>
> > You can download and try Mika today athttp://www.midoan.com/
> > The website contains further information and actual examples of
> > Mika's
> > capabilities.
>
> > Remember, Mika does not generate 1000s of random tests: each test is
> > carefully
> > constructed to increase the testing coverage of your code.
>
> > You can also give us your feedback or requests athttp://www.midoan.com/=
request.html
>
> > Yours sincerely,
> > the Midoan and Mika team
>
> "Can Mika handle Ada 20005 code?" - blimey that's optimistic! Who has
> asked for that!!! :-)
>
> Cheers
> -- Martin
>
> p.s. looks good...will try when I can...

Thank you Martin,
we are working on at least being able to use an Ada 2005 compiler
rather than relying on gnat 3.4.2 at best.

Although you can use Mika with gnat 3.4.2 MinGW's version completely
separately from your existing installation and use Mika today (or at
least confirm its suitability), handling an Ada 2005 compiler would be
more flexible for our users.

Yours sincerely,
the Midoan and Mika team