MBT plugin
From Event-B
Revision as of 18:34, 30 June 2011 by imported>Alinstef (New page: {| align="right" | __TOC__ |} MBT (Model-based testing) plugin ... [TODO] ==Installing == The MBT plugin relies on Rodin release 2.0 or newer and ProB plugin 2.2 or newer. The followin...)
Contents |
MBT (Model-based testing) plugin ... [TODO]
Installing
The MBT plugin relies on Rodin release 2.0 or newer and ProB plugin 2.2 or newer. The following steps will guide you through the installation process:
- Download the latest Rodin release for your platform from Sourceforge.
- Extract the downloaded zip file.
- Start Rodin from the folder where you extracted the zip file in the previous step.
- Install the ProB plugin:
- see ProB instalation instructions...
- Install the MBT plugin:
- In the menu choose Help -> Install New Software....
- Click Add....
- As Location enter http://fmi.upit.ro/mbt_plugin
- Enter a name e.g. MBT Plugin.
- Click Ok.
- In the menu choose Help -> Install New Software....
- Restart Rodin as suggested.
Now you should be ready to use the MBT plugin.
Usage
This section should help you to get started with the MBT plugin.
Starting the plugin
TODO...