Mika is a tool for generating test inputs from Ada source code. Here’s a quote from the release message:
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.
The entire announcement can be read here, and the actual software can be found here.
