Model-Based Testing with JUnit download

ModelJUnit extends JUnit to support model-based testing, with the models being written as Java classes. Model-based testing allows you to automatically generate test suites from a model of a system under test.

Project Samples

ModelJUnit GUI showing model exploration features

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Model-Based Testing with JUnit

Model-Based Testing with JUnit Web Site

Other Useful Business Software

Endpoint Management with Remote Control Built In

Patch, monitor, and connect to Windows and macOS devices from one console

Splashtop AEM handles patching, alerts, scripts, and inventory, and unattended remote control is included. When something needs hands-on work, you’re one click away instead of switching tools.

Start Free Trial

Rate This Project

User Ratings

5.0 out of 5 stars

★★★★★

★★★★

★★★

★★

★

ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

User Reviews

Filter Reviews:

All

ducnh1998 Posted 2011-05-26
5 out of 5 stars

Switching from Spec Explorer, I found ModelJUnit a very good MBT tool for Java users. Advantages: simple, easy to use, fast-but-efficient exploration algorithms. Disadvantages: no test data generation and data coverage report, no depth-first-search exploration. In general, this is a very good MBT tool among the ones I tried. Will post some improvement requests/bug report in the Bug Tracker.

Additional Project Details

Intended Audience

Developers, Quality Engineers

Programming Language

Java

Related Categories

Java Software Testing Tool

Registered

2008-11-14

Similar Business Software

Parasoft

"Parasoft delivers an AI‑powered software testing platform that helps organizations continuously release high‑quality software. Our solutions support embedded and enterprise teams by integrating code analysis, testing, virtualization, and coverage into the delivery pipeline to improve security,...

See Software for Parasoft
MuukTest

Are bugs slipping through your QA process and frustrating your customers? Catching issues early shouldn’t mean overwhelming your team with time-consuming tests. With MuukTest’s AI-driven platform, growing engineering teams reach 95% end-to-end test coverage in just 3 months, delivering quality...

See Software for MuukTest
Checksum.ai

Checksum is a continuous quality platform that autonomously generates, runs, and maintains tests so engineering teams can ship AI-generated code without trading speed for reliability. Unlike copilots that wait for prompts, Checksum works as a background agent, detecting what needs testing,...

See Software for Checksum.ai
QA Wolf

QA Wolf is the fastest path to deterministic end-to-end test coverage for web and mobile apps. In one platform, teams can manage the entire testing lifecycle: Map out your workflows and coverage gaps, automate your tests in Playwright or Appium, and run your suite fully in parallel. - Build...

See Software for QA Wolf
Virtuoso QA

Virtuoso QA is an enterprise agentic test automation platform setting the standard of proof for software releases. As AI accelerates how software is built, Virtuoso QA helps organisations release with confidence through governed, agentic automation for functional, regression and end-to-end...

See Software for Virtuoso QA
Boozang

Build. Test. Automate. Empower your whole team to build and maintain automated tests, not just developers. Meet your testing demands fast. Get full test coverage in days, not months. Our natural-language tests are extremely stable to code changes. When tests break our AI will repair it in...

See Software for Boozang

Report inappropriate content