Skip to content
This repository has been archived by the owner on Jul 17, 2023. It is now read-only.

Home

Jump to bottom
ETAS-Eder edited this page Jul 31, 2014 · 22 revisions

Welcome to the MBT Arranger wiki!

This Eclipse feature provides an Eclipse Plugin that generates C++ testcases from models written in Promela/mCRL2. With MBT Arranger, one can also edit Promela/mCRL2 files and check those models.

  1. Development Environment:

    1.1. tools listed in (4)

    1.2. Eclipse Luna

    1.3. JAVA8

    1.4. Windows 7

    1.5. optional: MSVS2010

  2. Warning: This software is in early alpha state.

  3. Compilation 3.1 This MBT Arranger application is compilable as an Eclipse Plugin, use a non-productive Eclipse environment on a separate machine that may break, do not run this plugin in your productive Eclipse environment.

  4. MBT Arranger uses the following opensource tools:

    4.1. Eclipse : The Complete source code can be downloaded from http://www.eclipse.org/

    4.2. MinGW, GCC : The Complete source code can be downloaded from http://sourceforge.net/projects/mingw/files/MinGW/

    4.3. SPIN : The Complete source code can be downloaded from http://spinroot.com/

    4.4. Graphviz : The Complete source code can be downloaded from http://www.graphviz.org/

  5. MBT Arranger uses the following opensource code

    5.1. ANTLR : The Complete source code can be downloaded from http://www.antlr.org/

    5.4. JAutomata : The Complete source code can be downloaded from http://jautomata.sourceforge.net/

    5.2. Apache Batik : The Complete source code can be downloaded from http://xmlgraphics.apache.org/batik/

    5.3. TopologicalSort : The Complete source code can be downloaded from http://www.keithschwarz.com/

Clone this wiki locally