06 2022 档案

第四单元总结性博客作业
摘要：第四单元总结性博客作业 总结本单元作业的架构设计 我认为本单元的三次作业独立性比较高，后面的作业不需要对前面的作业进行修改，只需要继续添加功能即可。本单元第一次作业是类图分析，第二次作业加入了顺序图和状态图分析，第三次作业加入了模型有效性检查。在刚刚接手第一次作业的时候，因为我平时的学习习惯比较差， 阅读全文
posted @ 2022-06-27 00:32 Albert_ZYT 阅读(37) 评论(0) 推荐(0) 编辑
第三单元总结性博客作业
摘要：第三单元总结性博客作业 (1) 分析在本单元自测过程中如何利用JML规格来准备测试数据 我认为在自测过程中构造数据是非常重要的，而且可以利用JML规格的各种分支条件来尽可能构造覆盖性强的数据。下面我将用addToGroup函数来说明我们如何通过JML规格来构造数据。 /*@ public norma 阅读全文
posted @ 2022-06-01 23:24 Albert_ZYT 阅读(41) 评论(2) 推荐(0) 编辑