摘要: 北航oo第三单元总结 基于JML规格的测试策略 第三单元的作业中需要支持的指令数相比前两个单元大大增加,同时每条指令都会收到JML规格的约束,在特定的情况下会有特定的输出或者是特定的异常抛出,并且运行过程中还不能超出最大时间的限制,因此本单元的测试策略我主要分成了两个部分:正确性测试和压力测试。 正 阅读全文
posted @ 2022-06-02 20:15 瓜子猫 阅读(32) 评论(0) 推荐(0) 编辑