Midoan Software Engineering Solutions Ltd.

subglobal1 link | subglobal1 link | subglobal1 link | subglobal1 link | subglobal1 link | subglobal1 link | subglobal1 link
subglobal2 link | subglobal2 link | subglobal2 link | subglobal2 link | subglobal2 link | subglobal2 link | subglobal2 link
subglobal3 link | subglobal3 link | subglobal3 link | subglobal3 link | subglobal3 link | subglobal3 link | subglobal3 link
subglobal4 link | subglobal4 link | subglobal4 link | subglobal4 link | subglobal4 link | subglobal4 link | subglobal4 link
subglobal5 link | subglobal5 link | subglobal5 link | subglobal5 link | subglobal5 link | subglobal5 link | subglobal5 link
subglobal6 link | subglobal6 link | subglobal6 link | subglobal6 link | subglobal6 link | subglobal6 link | subglobal6 link
subglobal7 link | subglobal7 link | subglobal7 link | subglobal7 link | subglobal7 link | subglobal7 link | subglobal7 link
subglobal8 link | subglobal8 link | subglobal8 link | subglobal8 link | subglobal8 link | subglobal8 link | subglobal8 link

MIDOAN : Home

small logo

Midoan banner

Automatic Test Inputs Generation from Ada

Midoan Software Engineering Solutions Ltd. introduces the first fully automatic test inputs generation tool from Ada source code.

Mika is an entirely automatic tool that analyses your Ada code and generates, carefully constructed, test inputs that will exercise all the branches, decisions or MC/DCs within your code at a level suitable for integration testing. With Mika, manual test inputs generation to achieve code coverage is no longer necessary.

New Testing Technology for Ada

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

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 test inputs for integration testing purposes.

Mika replaces the tedious manual test inputs 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.

Product Presentation, White Papers and Support Videos An overview of Mika with screenshots of its GUI, description of its capabilities and its requirements is available on our Mika Presentation page. White papers and demonstration videos of Mika 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 inputs 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 test inputs 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 hear from you. The Feature Request page is there for you to influence the future development of Mika. So whether you want test inputs automatically generated for other coverage metrics 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.

small logo About Us | Contact Us | Legal | ©2010 Midoan Software Engineering Solutions Ltd. Registered in Ireland No. 346827