Mika by MIDOAN
Version 1.1.1
Release Notes

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 WHAT IS NEW IN THIS RELEASE.
Version 1.1.1	(29 May 2009)
•	Minor update following GNAT GPL 2009 release.
Version 1.1	(25 May 2009)
•	Tool chain independence has been achieved;
•	Subset is now based on Ada 2005.
Version 1.0	(23 March 2009)
•	First post-beta release.
Version 0.9 	(10 February 2009) 
•	This is the first public release of Mika.

3 KNOWN ISSUES.
The limitations of Mika, including the Ada subset covered, are detailed in the separate user manual.

4 RELEASES HISTORY.
Version 1.1.1	(30 May 2009)
•	Improvements include: 
o	Test data generation is possible for subprogram body only units;
•	Subset enlargements include:
o	Conditional expressions are ignored rather than causing a failure;
•	Bug fixes include: 
o	None.
Version 1.1	(25 May 2009)
•	Improvements include: 
o	Mika is tool chain independent: any GNAT compiler can be used;
o	Tests are generated even in the absence of test points;
o	Error messages are more informative;
o	GNAT’s specific attributes are now compiler dependent and generated on the fly;
o	Tests generation for exponent expressions with integer argument is more powerful;
o	A direct uninstall is available; 
•	Subset enlargements include:
o	Mika is now based on Ada 2005;
o	Additional GNAT’s specific attributes are appropriately handled (including storage_unit and word_size);
o	Additional constructs are ignored rather than causing a failure (including Exception handlers);
o	 The Address predefined attribute returns a dummy value rather than fail; 
o	Qualified array expressions are now appropriately handled rather than causing a failure (array aggregates were already handled);
•	Bug fixes include: 
o	Use of derived array and derived record types objects was sometimes causing errors;  
o	Zero exponent expression with integer argument did not always return 1;
o	 Qualified expressions were sometimes causing errors for integer, floats and enumeration types;
Version 1.0	(23 March 2009)
•	Entirely new front end based on feedback;
•	Support for GNAT 3.4.2.
Version 0.9	(10 February 2009)
•	This is the first public release of Mika.

5 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 Ada 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.

6 BUG REPORT.
Whether you are entitled to user support under Midoan’s maintenance terms or not, Midoan welcomes, and encourages, the reporting of bugs. Make sure to give as many details as possible including: Mika version, platform, GNAT version and distribution, description of the problem, full error messages issued.

Your problem will be addressed as soon as possible. 

7 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.

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