Re: ANNOUNCE Mika by Midoan New Release : Automated Test Data Generation for Ada

[info@midoan.com]

On May 25, 8:47 pm, sjw <simon.j.wri...@mac.com> wrote:
> On May 25, 7:42 pm, 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