Entry last updated: 2013/3/10
Entry last validated: 2013/3/10
Tool homepage: http://www.homepages.dsu.edu/dxu/research/MBT.html
Tool availability: Commercial (free for academic institutions)
Petri Nets Supported (see also help on terminology)
Components (see also help on terminology)
- Graphical Editor
- Token Game Animation
- State Spaces
- Reachachability analysis, test generation
MISTA is a tool for generating executable tests from a model-implementation
description (MID), which consists of a test model, model-implementation mapping (MIM),
and helper code.
It uses lightweight high-level Petri nets as an expressive, visual modeling notation.
Both control-oriented and data-oriented test models can be specified. It also supports
modeling with UML protocol state machines and contracts (preconditions and postconditions).
It provides test generators for comprehensive coverage criteria of test models, including
reachability coverage, reachability with sneak paths, state coverage, transition
coverage, depth coverage, goal coverage, random walk, deadlock/termination state
coverage, and given sequences. Pairwise and partial order techniques are options for
reducing the size of test suites.
It supports a number of languages (Java, C, C++, C#, HTML, and VB) and test frameworks
(e.g., JUnit, NUnit, Selenium IDE, and Robot Framework) for offline test execution.
It supports on-the-fly testing and online execution of generated tests through Selenium
WebDriver or a RPC protocol (JSON-RPC or XML-RPC).
MISTA can be used for function testing, acceptance testing, GUI testing, security
testing, and programmer testing.
The Petri nets are a lightweight version of high-level Petri nets without
using arc weights or colors.
The graphical editor is based on PIPE 3.
The maintainers of this page