摘要： 北航oo第三单元总结 基于JML规格的测试策略 第三单元的作业中需要支持的指令数相比前两个单元大大增加，同时每条指令都会收到JML规格的约束，在特定的情况下会有特定的输出或者是特定的异常抛出，并且运行过程中还不能超出最大时间的限制，因此本单元的测试策略我主要分成了两个部分：正确性测试和压力测试。 正 阅读全文