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: a07f3367d7,965e49af15d3565
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!postnews.google.com!m19g2000yqk.googlegroups.com!not-for-mail
From: info@midoan.com
Newsgroups: comp.lang.ada
Subject: Re: ANNOUNCE Mika by Midoan New Release : Automated Test Data
	Generation for Ada
Date: Mon, 25 May 2009 13:26:36 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <84be79ff-121e-4202-8f1c-97b9da34efa6@m19g2000yqk.googlegroups.com>
References: <9f6229a1-e95d-4453-8dca-eb0e893e603d@g1g2000yqh.googlegroups.com>
	<f3990bd7-358b-4f6f-8577-fe7247f0f59a@c36g2000yqn.googlegroups.com>
NNTP-Posting-Host: 89.101.123.129
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1243283196 8056 127.0.0.1 (25 May 2009 20:26:36
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 25 May 2009 20:26:36 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: m19g2000yqk.googlegroups.com; posting-host=89.101.123.129;
	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.10)
	Gecko/2009042316 Firefox/3.0.10 GTB5,gzip(gfe),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:6009
Date: 2009-05-25T13:26:36-07:00
List-Id: <comp.lang.ada>

On May 25, 8:47=A0pm, sjw <simon.j.wri...@mac.com> wrote:
> On May 25, 7:42=A0pm, i...@midoan.com wrote:
>
> > Midoan Software Engineering Solutions Ltd. (http://www.midoan.com/)
> > announces a new 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 the tool can do this, can it tell me which tests are going to fail?
> That would save me the bother of actually running the tests ..

Hello,
of course Mika cannot do this as it has no knowledge of the intended
behaviour of the code. It only automatises the generation of tests.
However, Mika also gives the predicted tests outcomes for each test
generated; the tester can scan those and decide if a test has failed
without actually executing the code. Mika also generates a test driver
that when run compares the predicted test outcomes against the actual
tests results.

So the user has the choice of executing or not executing the tests;
either way the pass/fail oracle is still human...

regards,
Midoan