摘要:
北航oo第四单元总结 本单元作业的架构设计 UML类图 架构设计 使用了代理模式,从UmlElement中将一些比较关键的元素提取出来,包装成了新的类,这样做的好处主要在于可以在目标对象实现的基础上,增加了额外的功能操作和额外的一些属性。例如MyClass类就代替了对应id的UmlClass,并且还 阅读全文
摘要:
北航oo第三单元总结 基于JML规格的测试策略 第三单元的作业中需要支持的指令数相比前两个单元大大增加,同时每条指令都会收到JML规格的约束,在特定的情况下会有特定的输出或者是特定的异常抛出,并且运行过程中还不能超出最大时间的限制,因此本单元的测试策略我主要分成了两个部分:正确性测试和压力测试。 正 阅读全文