MISTA

Overview

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)

Tool Features

Petri Nets Supported (see also help on terminology)

High-level Petri Nets

Components (see also help on terminology)

Graphical Editor
Token Game Animation
State Spaces
Reachachability analysis, test generation

Environments

Java

Tool Description

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.

Contact Information

USA

Phone:  1-605-256-0594
Fax:    
E-mail: dianxiang.xu@gmail.com

Other Remarks

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