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