2020年5月23日

面向对象第三单元总结

摘要： 1.JML语言的理论基础 JML是一种行为接口规范语言，可以更准确地描述Java程序的行为。 但是，大多数代码编写和测试仍由人来完成，但是用户体验不是很好，因为在使用过程中工具链的功能非常不完整。数据规范对类中的数据施加了一定数量的约束。 两者都是可见条件下的约束，因此，调用方法的开始和结束状态会突 阅读全文

posted @ 2020-05-23 21:27 梁河览 阅读(149) 评论(0) 推荐(0) 编辑

导航