Mika by MIDOAN
ReadMe File
Midoan Software Engineering Solutions Ltd.

1 WELCOME.
Mika is an automatic test data generation tool for code written in a subset of Ada 83, Ada 95 or Ada 2005. Mika uses genetic algorithms in to generate inter-subprograms tests that will, by construction, exercise during execution the maximum possible number of branches or decisions in the code under test. 

2 SYSTEM REQUIREMENTS.
•	Microsoft Windows XP (Mika is untested for other Operating Systems);  
•	A working installation of the GNAT Ada compiler (e.g. GNAT Pro, GNAT GPL, MinGW’s GNAT).

3 FEEDBACK.
Whether you are entitled to user support under Midoan’s maintenance terms or not, Midoan welcomes, and encourages, suggestions for improving Mika. These may include:
•	enlarging OS and/or Gnat version integration;
•	adding Ada features not supported in the current subset;
•	adding finer user control of test data generation process;
•	generating tests for other coverage metrics (e.g. condition, MC/DC);
•	adding new test output formats for better integration with third party tools;
•	etc.
This is your opportunity to guide the future development of Mika to suit your particular needs.

4 FURTHER INFORMATION.
•	ReadMe file: describes the minimal information necessary prior to the installation of Mika;
•	License file: details the license agreement that must be accepted by the user prior to the installation of Mika;
•	ReleaseNotes file: highlights the updates made since the previous release version of Mika;
•	UserManual file:  describes the usages and limitations of Mika.

5 CONTACT.
Midoan Software Engineering Solutions Ltd.
http://www.midoan.com/