The Future of Mika
Our prime current concern is the further development of Mika. We therefore aim to keep you informed of the likely future features that Mika will offer. This schedule will be nourished by your feedback and feature requests.
Release Plan
- October 2010
-
- Front End
- Enhanced coverage reporting (e.g. by precisely indicating the range of values that a test input and/or test output may take in a given path, indicating why the coverage desired could not be achieved);
- Improved documentation with usages examples.
- Back End
-
- Handle Ada bitwise operators fully;
- Provide comma separated outputs for the tests generated;
- Array Boolean Operators handling;
- Volatile variables handling.
- Have your say.
-
- December 2010
-
- Front End
-
- Automatic unit and integration testing scaffolding for regression testing with oracle.
- Back End
-
- Test data generation for suspicious code (e.g. reference to an uninitialized variable/component).
- Have your say.
-
- Beyond
-
- Front End
-
- Run-time errors test data generation;
- User specified test data generation scenarios (e.g. generate a test to reach a given location in the code with specific user supplied constraints);
- Test data generation for exception testing;
- Better integration with existing external tools (e.g. GPS);
- Linux version.
- Back End
-
- Condition Combination testing;
- Ada exception handling;
- Integration with AUnit or similar.
- Have your say.
-
