Mika by Midoan: Automatic Test Data Generation for Ada

Automatic Test Data Generation from Ada

Midoan Software Engineering Solutions Ltd. introduces the first fully automatic test data generation tool from Ada 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.

New Testing Technology for Ada

Mika uses new algorithms to construct tests that target precise areas in your Ada code; not a single random test is ever generated. Each test is designed to exercise an hitherto uncovered portion of your code. Using the tests that are generated automatically, the entire unit and integration testing process can be performed in seconds.

Of prime interest is the wide applicability of Mika: unit testing of course, but more useful inter-procedural testing too for integration testing at any level; Mika is able to construct test inputs that will fully exercise called subprograms. Hence subprograms can be tested within their usage environment; the tests are more realistic and the way subprograms work together is also tested. That is, Mika can generate automatically tests for integration testing purposes.

Mika replaces the tedious manual test data generation process; days of manual work can now be automatically performed within minutes. Mika can integrate with your existing testing tools. No scripting is necessary: Mika analyses your code automatically and generates test inputs that are targeted at executing your code as thoroughly as possible. The process is entirely automatic.

You can try Mika on your own Ada code using your own GNAT environment for free today.

Mika Presentation An overview of Mika with screenshots of its GUI, description of its capabilities and its requirements is available on our Mika Presentation page. Examples are also included.	Documentation Up-to-date documentation for the various releases of Mika is available on the Documentation page. The known issues lists are also available on that page. The documentation is freely available. The precise requirements, installation procedure and capabilities of Mika are fully described in the documentation.
DownloadMika, our automatic test data generator from Ada source code, is available to download now on our Download page. It takes about 2 minutes to download and install and try the test files. You should be able to decide very quickly if Mika is for you; or request features before committing to the full version. The free demonstration version is restricted in the number of tests it can generate. The demonstration version can be directly updated to a full version; no re-install will be necessary.	OrderTo unlock the demonstration version to its full potential you need to order the full license; you will continue to use the settings of the demonstration only mode: no re-install will be necessary. You may also buy additional maintenance periods from our Order page.
SupportMika comes with full support during the maintenance period. We also try to support demonstration version users the best we can. All software has bugs; we are small enough that our development team can start dealing with bugs within 24 hours of being notified. A member of our development team will be assigned to deal with your problem. Tell us your problems on our Support page.	Feature Request At Midoan, we are very keen to address your needs; we want our tools to be as seamless as possible within your working environment. Whether you are using the demonstration version or have bought a full license we want to here from you. The Feature Request page is there for you to guide the future development of Mika. So whether you want tests automatically generated for other coverage metrics (e.g. condition, MC/DC) or new test output formats for better integration with third party tools, let us know as soon as possible. Your request will go directly to the development team; we can even cater for niche features.
Coming Soon Midoan endeavours to improve Mika on a continuous basis and keep our customers fully informed of future development. Features of future releases and expected release dates can be viewed on the Coming Soon page. You can also track the development progress of features that you may have requested. Full license holders will be contacted as soon as a new version of Mika becomes available.	FAQWe are too young to have a real FAQ; we have made a small one up and promise to revise it regularly using your real FAQs. Have a look at our FAQ page.

Midoan Software Engineering Solutions Ltd.

MIDOAN : Home

Automatic Test Data Generation from Ada

New Testing Technology for Ada