weixin_70529037的博客

原创 BUAA_OO 2023 第三单元总结

上面的一段代码显示了关于解决删除关系引起的问题，搜先对分裂后的A节点和B节点重新设他们的父子节点，左边图的A节点父子节点设成指向自己，然后B节点也设成指向其他编号，目的是避免一种情况就是B的父子节点就是A。它的目标是评估系统的内部工作方式，验证各个组件的正确性，并确保代码符合编码标准。对于数据构造，这里我们更专注性能方面的测试，就是做的测试尽量覆盖所有可能导致超时的方法，基本上这种方法可以通过分析JML来得到的，JML的描述对数据结构的表达一般使用数组，然后对于它实现的不走一般会用到嵌套的loop。