摘要: 第四单元总结性博客作业 总结本单元作业的架构设计 我认为本单元的三次作业独立性比较高,后面的作业不需要对前面的作业进行修改,只需要继续添加功能即可。本单元第一次作业是类图分析,第二次作业加入了顺序图和状态图分析,第三次作业加入了模型有效性检查。在刚刚接手第一次作业的时候,因为我平时的学习习惯比较差, 阅读全文
posted @ 2022-06-27 00:32 Albert_ZYT 阅读(13) 评论(0) 推荐(0) 编辑
摘要: 第三单元总结性博客作业 (1) 分析在本单元自测过程中如何利用JML规格来准备测试数据 我认为在自测过程中构造数据是非常重要的,而且可以利用JML规格的各种分支条件来尽可能构造覆盖性强的数据。下面我将用addToGroup函数来说明我们如何通过JML规格来构造数据。 /*@ public norma 阅读全文
posted @ 2022-06-01 23:24 Albert_ZYT 阅读(23) 评论(2) 推荐(0) 编辑
摘要: OO第一单元总结 整体总结 OO课程的第一单元作业主题是第1到3次作业,内容是尽可能多的拆括号并化简表达式。我在假期里并没有预习任何面向对象的知识,也没有学习git等工具的使用,更没有配置IDEA、eclipse等编辑器的Java环境,在刚开学就近乎于期末的高压下,我这三周过的很痛苦,但是也收获了非 阅读全文
posted @ 2022-03-25 22:09 Albert_ZYT 阅读(23) 评论(0) 推荐(0) 编辑