Ahven is a simple unit testing framework for Ada 95 programminglanguage. The source code is fully portable and works with any Ada 95 (and also Ada 2005) compiler.
SPARKUnit is a unit test framework for the SPARK programminglanguage. It enables developers to create unit tests which can be analysed by the SPARK Examiner. This allows for testing of operations with preconditions and flow analysis of test cases.