摘要：
架构设计： 第四单元主要介绍了UML解析相关知识。总的来看，三次作业是迭代式的设计，逐步完善这个UML解析器的功能。 hw13要求仅针对类图进行解析，hw14中加入了时序图和状态图，hw15中增加了对UML的相关检验。 我的三次作业在实现的时候基本没有改动，所以我就迭代的来介绍相关的架构。 第一次作 阅读全文
摘要：
一、JML与测试 白盒测试： 白盒测试主要是从JML的规格出发。这也是老师上课的时候着重强调的知识点。 明确测试目标： 每个方法是否都满足所要求的规格。这也是一种契约式的编程思想。 是否能在任何使用场景下，类都能确保状态正确？ 测试有效性问题： 需要测试哪些数据？ 如何检验测试覆盖了多少代码成分？ 阅读全文
摘要：
一、同步块的设置和锁的选择： 关于 synchronized : 大概的使用方法有这两种。 synchronized(this){ // 同步代码方法块 } synchronized void method() { //method 具体实现 } 关于 lock : 大概的使用方法以及接口的实现类： 阅读全文
摘要：
hw1： 由于第一次作业并且没有适应java的面向对象编程的思想，所以感觉写出来的代码完全是面向过程式编程。 类图描述： 优缺点分析： 缺点： 内聚和耦合性并不是很强，MainClass不应该作为Exp的直接使用者。应该再实例化一个化简类，并且把caculation这个计算的方法放到化简类里面。 它 阅读全文