Java/JUnit Axiom Testing

JAxT is a plugin for Eclipse that can automatically generate JUnit test cases from the axioms of algebraic style specifications in Java. When implementing an interface or a class, the user provides axioms for them as static methods in separate, accompanying classes. Any class extending a class or implementing an interface with related axioms also inherits the axioms. JAxT can automatically generate tests for all the axioms for a class, whether inherited or directly accompanying the class.

For more information, visit the JAxT home page:

http://www.ii.uib.no/mouldable/testing/jaxt/index.html