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.
Benefits of JAxT include:
Note: An upcoming release, currently under development, will feature a better structuring mechanism for axioms, additional axioms for the Java standard library, additional examples, and a wizard to that allows the user to customize the generation.