JML工具链配置
macos
1. OpenJML
Openjml下载[https://github.com/OpenJML/OpenJML/releases/]
Openjml idea配置
- External Tools参数配置
点击小加号添加新的设置。Program为预设程序，Arguments为配置参数，Working directory为工作目录。
参数目录（在openjml.jar所在文件夹下输入java -jar openjml.jar "$@"可显示参数目录）
- static check参数参考
- syntax check参数参考
- runtime assertion check参数参考
- 运行External Tools
2. JMLUnitNG
jmlunitng下载[http://insttech.secretninjaformalmethods.org/software/jmlunitng/]
- 引入包
- 在 idea 自带终端中输入
java -jar jmlunitng.jar -d ./test ./src，自动生成测试代码
- 测试代码
本人仅保存了Person，Group，MyPerson，MyGroup四个类
- 测试（测试MyGroup类），在
test/MyGroup_JML_Test.java中run main
测试效果如下：
参考链接：
https://www.cnblogs.com/lutingwang/p/openjml_basic.html
https://www.cnblogs.com/refkxh/p/12919460.html
http://hyuga.top/2018/09/07/idea-external-tools/