摘要: 一、JML语言 JML是针对Java的形式化描述语言,功能是以形式化的方式描述预期效果,以注释的形式书写在代码之中。 使用JML可以提供很好的模型规格描述,从而容易高效地检查、发现、纠正错误,并且提供与代码同步的文档。 语法 \result:方法执行后的返回值。 \old(expr):表示一个表达式 阅读全文
posted @ 2020-05-20 20:18 kircle 阅读(138) 评论(0) 推荐(0)