Ahven is a simple unit testing framework for Ada 95 programming language. 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 programming language. 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.