[ANNOUNCE] Mika by Midoan : Automated Test Data Generation for Ada

[ANNOUNCE] Mika by Midoan : Automated Test Data Generation for Ada

[info]

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 at http://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 at
http://www.midoan.com/request.html

Yours sincerely,
the Midoan and Mika team

Re: [ANNOUNCE] Mika by Midoan : Automated Test Data Generation for Ada

[Nicolas Paul Cailean Gloucester]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset=ANSI_X3.4-1968, Size: 743 bytes --]

Scr�obh Criost�ir Meudec n� duine eile ag Midoan ar an 23� M�rta 2009:
|---------------------------------------------------------------------|
|"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.                                   |
|                                                                     |
|[...]"                                                               |
|---------------------------------------------------------------------|

Thank you.

Re: Mika by Midoan : Automated Test Data Generation for Ada

[Martin]

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...

Re: Mika by Midoan : Automated Test Data Generation for Ada

[info]

On Mar 24, 3:31 pm, 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

Re: Mika by Midoan : Automated Test Data Generation for Ada

[Brian Gaffney]

> <info@midoan.com> wrote
> On Mar 24, 3:31 pm, 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.

In what way does VectorCast/Ada not count as "automatically generates test 
inputs from your source code"?

> >
> > "Can Mika handle Ada 20005 code?" - blimey that's optimistic! Who has
> > asked for that!!! :-)

Support for Ada 2005 would be a great thing.  I haven't seen any test tool 
(or any other non-compiler tool) that supports it.  Even a plan to support 
it (or parts of it) would be an improvement.

> >
> > Cheers
> > -- Martin
>
> p.s. looks good...will try when I can...

Likewise.

--Brian [part of a team that has "asked for that"]

-- Some world views are spacious
--  and some are merely spaced.

Re: Mika by Midoan : Automated Test Data Generation for Ada

[info]

On Apr 4, 3:06 am, "Brian Gaffney" <brianDOTgaff...@myrealbox.com>
wrote:
> In what way does VectorCast/Ada not count as "automatically generates test
> 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.  I haven't seen any test tool
> (or any other non-compiler tool) that supports it.  Even a plan to support
> 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/request.html
since the launch.

Next release is due next month.

Regards,
the Midoan and Mika team