目录
1.安装Eclipse和jdk
网上有相关教程,本人用的是Eclipse2018,jdk1.8
2.安装ProM
链接:https://pan.baidu.com/s/1YhQZPe6Nqdy5S3sYGlQ1Og
提取码:z0g1
复制这段内容后打开百度网盘手机App,操作更方便哦
ProM官网的链接,包含安装教程,学习,练习部分
http://www.promtools.org/doku.php?id=prom69
(1) 双击ProMPM69.bat(包管理器),安装所需要的包,之后会出现一个界面,选择 No installed,然后选择RunnerUpPackages, 之后选择 install , 这一步是下载包,如果在No installed下没有找到RunnerUpPackages,在Update下查看,可能已经安装好了。
(2) 双击ProM69.bat(可执行程序)
注意下载上图的包
然后到此ProM安装完成,之后就是从Eclipse中进行配置,调用ProM
*(安装ProM6.5.1 和安装ProM69的区别)
PROM651PM.bat运行界面,和PROM69PM.bat的界面不一样
3.Eclipse 导入ProM
ProM官网地址: Contribute – prom
安装IvyDE
在Window -> Preferences 中检查Ivy是否安装成功。注意 需要需要重启软件的时候一定要重启,否则可能安装会出错。
在Eclipse安装svn
Help -> Eclipse Marketplace -> 搜索svn -> 选择下图,,,,,之后遇到重启软件的话就重启。