2021年5月30日
OO第三单元（JML）总结
摘要： 第三单元（JML）总结 一、JML学习小结 JML是一种面向JAVA的行为接口规格语言 。它用逻辑严格描述规格，使设计更为规范，并且更利于测试与维护。 规格的总体结构 对于JAVA的类的规格，一般包含了数据（类型）规格和方法规格。 类型规格 不变式invariant：所有可见状态下都必须满足的特性 阅读全文
posted @ 2021-05-30 12:37 daydayup_2021 阅读(724) 评论(0) 推荐(0) 编辑