Mika by MIDOAN.

A new tool for generating automatic test data from Ada source code. Here’s a quote from the website:

Mika is an entirely automatic tool that analyses your Ada code and generates, carefully constructed, tests that will exercise all the branches or decision within your code at a level suitable for integration testing. With Mika, manual test data generation is no longer necessary.

Lots more information can be found on the MIDOAN website.

A small example of usage can be found here.

Leave a Reply