2019年5月22日
北航OO第三单元总结
摘要： JML基础梳理及工具链 JML的全称是Java Modeling language，即Java建模语言。JML是一种行为接口规格。它为严格的程序设计提供了一套行之有效的方法。通过JML不仅可以基于规格自动构造测试样例，还可以以静态方式检查代码对规格的满足情况。 一、注释结构 行注释：//@annot 阅读全文
posted @ 2019-05-22 19:29 buaayzx 阅读(159) 评论(0) 推荐(0) 编辑