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

[info@midoan.com]

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