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/