ModelJUnit Documentation

Welcome to the ModelJUnit documentation site. ModelJUnit is a Java framework for Model-Based Testing (MBT) that lets you write behavioural models as Java classes and automatically generate test suites.

Getting Started

• New to MBT? Start with the Model-Based Testing Tutorial — a comprehensive, self-contained guide with diagrams and worked examples.
• Know MBT, new to ModelJUnit? Jump to the Getting Started guide for API reference and Maven setup.
• Prefer a GUI? See the JavaFX GUI guide for interactive model exploration.

Tutorials

• MBT Tutorial — Learn model-based testing from scratch
• Examples Catalogue — Annotated guide to every example model
• Further Reading — External resources for going deeper

User Guides

• Getting Started — Maven setup, first model, running tests
• JavaFX GUI — Interactive model exploration
• ParamEdit — Combinatorial test data generation
• Eclipse E4 Plugin — ModelJUnit in the Eclipse IDE

Source Code

The main library is at gitlab.com/modeljunit/modeljunit.