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