2020年5月20日

BUAA_OO_HOMEWORK_UNIT3_总结与反思

摘要： JML基础 理论基础 JML是用于对Java程序进行格式化设计的表示语言，其用处在于开展规格化设计，使得交给实现人员的不是较为模糊的自认语言，而是逻辑严格的规格。 JML主要包括三个部分，分别是前置条件，副作用范围限定和后置条件。 requires子句定义该方法的前置条件，表示要求调用者确定条件为真 阅读全文

posted @ 2020-05-20 00:51 infinity37 阅读(211) 评论(0) 推荐(0)