You may find tg useful.
tg is a program that helps testing software. If you want to test a
piece of software, that normally means you have to execute it over and
over again, passing various sets of input data to it, and verifying
that it gives the correct results for each input. You normally write
a program that does all this automatically. Such a program is called
a "test driver".
tg can generate such test driver programs, given a very succinct
description of the individual test cases. tg translates this
description into a complete Ada program. If you compile this
test driver, link it with the software you want to test, and execute
it, it performs all the test cases and tells you whether the software
under test behaved as expected or not.
I don't have a URL (I do have the source of release 3.1); the author
is Andre Spiegel, <[log in to unmask]>