Mika by Midoan 
Read Me File 
Version 1.1 
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 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, MCDC); 
•	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; 
•	user_manual file: describes the usages and limitations of Mika. 
5  Contacts
Midoan Software Engineering Solutions Ltd.
http://www.midoan.com/