MISTA

MISTA (Model-Based Integration and System Test Automation) is a multi paradigm, general purpose model based testing tool. It allows the user to generated model based tests using eFSM's, Pre/Post Contracts, or Functional Nets(a superset of Petri Nets). It generates test code for a variety of test automation systems including but not limited to JUnit, NUnit, Robot Framework and Selenium. The evaluation version available at the authors site is significantly more powerful than some of the full commercial offerings I've tried.

Recently functionality has been added for both online and on-the-fly testing, allowing for testing non-deterministic systems.

Tutorials

To-Do

Basic Workflow Script

=== Completed, Link when MISTA 1.0 is released ==

Robot Framework Script

It might make sense to do the RF script in two parts:

Mapping a real world application (ish)

SUT: Login page

Model: Successful Login, Bad User

Learn:

Steps: Review the SUT

Construct Model:

Mapping a model to Robot Framework