2022年6月1日
OO第三单元总结
摘要： OO第三单元总结 1. 测试数据准备 1.1 如何利用JML规则 在进行自测的过程中，JML规格可以帮助我们快速找出容易超时的函数。因为作业中给出的JML限制往往是采用循环遍历+函数嵌套调用的说明逻辑, 可以很容易的找出O(n^2)复杂度及以上的函数. 例如：第二次作业的中的getValueSum( 阅读全文
posted @ 2022-06-01 19:50 IIlIllIIlII 阅读(56) 评论(2) 推荐(0) 编辑