[  mirrors | overview | download | authors ]

A model-based tester

Mirrors

[ AIST | JKU ]

Overview

Modbat is a model-based testing tool that is based on annotated (extended) finite-state machines.

Modbat is specialized to testing the application programming interface (API) of software. The model used by Modbat is compatible with Java bytecode. The user defines and compiles a model, which is then explored by Modbat and executed against the system under test. Failed test runs are reported as an error trace.

Modbat is based on Scala and compatible with any Java-based software. The model has the structure of a non-deterministic finite-state machine. From all possible transitions, one is chosen to be tested; annotations of the transition specify which code to execute.

Modbat is currently under active development. The first version is available on a trial basis; it can be obtained without registration. Modbat version 1.0.2 is free to use, but the software may not be modified, reverse engineered, or released to third parties.

Modbat requires Scala 2.9.2. It also requires a subset of the ASM bytecode library to display line numbers of an error trace. A subset of that library, together with the license information, is bundled with Modbat.

A newer version of Modbat is in development; this public version has only core features and only runs on Scala 2.9.X.

See README for more information on how to use Modbat.

Download

Authors

Publications about Modbat