JAxT -- 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.

Benefits of JAxT include:

• Developers can implement axioms for both their own classes, and classes in existing libraries, even the Java Standard Library.
• JAxT combines the strong sides of test-driven development (TDD) and algebraic specifications: unit tests are automatically generated from formal, algebraic specifications, expressed in Java.
• JAxT allows the graceful evolution of tests along with the main software; the tests may be incrementally and automatically regenerated as axioms are added, removed or changed.

Prototypes

Note: You are advised to use the Eclipse Update Manager alternative for installation. The 1.0 release snapshot is dated by now.

• Source code repository (SVN)
• Wiki and bug tracker
• JAxT for Eclipse eclipse-jaxt-1.0.0.zip. You can also should install using the Eclipse Update Manager.
• JAxT support code jaxt-1.0.zip.
• JAxT api version 1.0 online, also part of the JAxT support code.

Project Members

• Magne Haveraaen
• Karl Trygve Kalleberg