摘要：架构设计： 第四单元主要介绍了UML解析相关知识。总的来看，三次作业是迭代式的设计，逐步完善这个UML解析器的功能。 hw13要求仅针对类图进行解析，hw14中加入了时序图和状态图，hw15中增加了对UML的相关检验。 我的三次作业在实现的时候基本没有改动，所以我就迭代的来介绍相关的架构。 第一次作 阅读全文

摘要：一、JML与测试 白盒测试： 白盒测试主要是从JML的规格出发。这也是老师上课的时候着重强调的知识点。 明确测试目标： 每个方法是否都满足所要求的规格。这也是一种契约式的编程思想。 是否能在任何使用场景下，类都能确保状态正确？ 测试有效性问题： 需要测试哪些数据？ 如何检验测试覆盖了多少代码成分？ 阅读全文