摘要： 2022OO第三单元总结 分析在本单元自测过程中如何利用JML规格来准备测试数据 先说结论，压根没测，依然不妨碍三次作业中测一次过强测全满分。 既然作业要求写这一部分，那我就来说一下不测的理由。 首先，第三单元完全就是看JML写代码，我只需要保证代码语义和JML语义相同就可以了，而要保证这一点对大部 阅读全文