Программы modeljunit.sf.net

ModelJUnit расширяет JUnit для поддержки тестирования на основе моделей, при этом модели пишутся как классы Java. Тестирование на основе модели позволяет автоматически создавать тестовые наборы из модели тестируемой системы.