2022年6月4日
OO第三单元-JML
摘要： 利用JML规格来准备测试数据 我对jml规格的理解，更像是：功能的外化。 比如，对于addGroup()指令： 其功能简单来说就是：将group添加到Network管理的groups中 jml的描述简单来说就是：groups[i]的变化和限制要满足哪些条件 在本单元中，我在自测的时候，主要还是以： 阅读全文
posted @ 2022-06-04 16:25 wlc000 阅读(55) 评论(1) 推荐(1) 编辑