05 2021 档案

OO第三单元总结
摘要：OO第三单元总结 设计策略 首先根据JML规格定义需要的属性，再理解各个方法的目的，最后根据理解来完成各个方法。对于方法的实现，需要先大致理解方法实现了怎样的功能，而不是直接根据规格就开始写代码，在明白方法规格的具体含义以后，要明确进入各个分支的前提条件，然后是每个分支造成了怎样的结果，最后是检查是 阅读全文
posted @ 2021-05-30 16:03 Nya0 阅读(57) 评论(0) 推荐(0) 编辑