Login | Register
My pages Projects Community openCollabNet

mbt
Project home

If you were registered and logged in, you could join this project.

Summary Model-based testing implementation
Category testing
License GNU General Public License
Owner(s) kristiankarl

Mission

    org.tigris.mbt is an implementation of Model-based testing built in java. It allows you to generate test sequences from a finite-state machine or an extended finite-state machine. The test sequences can be created offline, or run online

    The tool itself supports no actual modeling. This is done in a separate tool, yEd from yWorks, which is available as a free download with unrestricted functionality. But org.tigris.mbt should work with any graphml-compatible editor. 

org.tigris.mbt runs on any platform that is supported by java.

Download!

The tool requires Java 1.4.2, or higher.

Running the tool

  1. Copy mbt.jar and mbt.properties to the same folder of choice.
  2. Open a command window, and type: 'java -jar mbt.jar-v', and you should get something like this:
    $> java -jar mbt.jar -v
    org.tigris.mbt version 2.0 (revision 563)

    org.tigris.mbt is open source software licensed under GPL
    The software (and it's source) can be downloaded from http://mbt.tigris.org/

    This package contains following software packages:
      crimson-1.1.3.jar            http://xml.apache.org/crimson/
      commons-collections-3.1.jar  http://jakarta.apache.org/commons/collections/
      jdom-1.0.jar                 http://www.jdom.org/
      log4j-1.2.8.jar              http://logging.apache.org/log4j/
      commons-cli-1.1.jar          http://commons.apache.org/cli/
      colt-1.2.jar                 http://dsd.lbl.gov/~hoschek/colt/
      jung-1.7.6.jar               http://jung.sourceforge.net/
      bsh-2.0b4.jar                http://www.beanshell.org/
  3. You can also type: 'java -jar mbt.jar help' to investigate what mbt can do:
    $> java -jar mbt.jar help
    usage: 'java -jar mbt.jar <COMMAND> [OPTION] [ARGUMENT]'

    Type 'java -jar mbt.jar help <COMMAND>' to get specific help about a command.
    Valid commands are:
        help
        online
        offline
        requirements
        methods
        merge
        xml
        source

    Type 'java -jar mbt.jar -v (--version)' for version information.


Documentation

    Manual

        Documantation is here.

    Java-doc API

        The java doc API is here.

Demo and examples

    Demo

    An example of a model that depicts a demo of the www.amazon.com site. It uses the Extended Finite-State machine notation. Which means, that in this model, mbt keeps track of how many books the user has put in the shopping cart during the test.

    Go to the demo.

    Examples

    Samples of simple models are can be found here. To open the models in a graph editor, please go to yEd of yWorks, and get their graph editor.

    Go to the examples.

How to's

    A collection of how to.

FAQ

    A collection of Frequenly Asked Questions.
    

Related resource

Other