摘要：由于本单元的三次作业是逐层递进的，故只对最后一次作业进行分析。 总结分析自己实现规格所采取的设计策略 本单元作业的设计基本同JML所给出的相同，只是对判断两点连通、求连通块个数、求组内成员的相关值以及求最短路径这几处进行了优化，具体的优化参照下文性能问题的部分。 结合课程内容，整理基于JML规格来设 阅读全文