2022年6月5日
OO第三单元总结博客
摘要： 本单元根据给出的JML规格实现一个社交网络模型，同时为了让我们阅读理解一些复杂的JML规格，涉及了图论的一些算法。这部分的JML还是较难以理解的，并且一些指令的实现也不能完全按照JML所给出的方法去实现不然容易超时，在满足JML规格的要求下还需要进行很多的优化。 #从JML的角度构造测试数据 在测试 阅读全文
posted @ 2022-06-05 23:16 YanG2k17 阅读(54) 评论(0) 推荐(0)