2021年5月31日
BUAA OO 2021 Unit 3 总结
摘要： 设计策略 本单元由于直接给出了 JML 的规格说明，因此只要理解了每个方法所需要实现的功能、需要满足的前置条件与后置条件、需要抛出的异常方法，那么根据规格去分立地完成方法是较为容易的。 另外，指导书中明确指出，只要代码按照规格实现，即可保证正确性，因此诸如 querySum 等方法用 JML 给出的 阅读全文
posted @ 2021-05-31 15:48 nikkukun 阅读(86) 评论(2) 推荐(1) 编辑