摘要: 利用JML规格来准备测试数据 我对jml规格的理解,更像是:功能的外化。 比如,对于addGroup()指令: 其功能简单来说就是:将group添加到Network管理的groups中 jml的描述简单来说就是:groups[i]的变化和限制要满足哪些条件 在本单元中,我在自测的时候,主要还是以: 阅读全文
posted @ 2022-06-04 16:25 wlc000 阅读(28) 评论(1) 推荐(1) 编辑
// 侧边栏目录 // https://blog-static.cnblogs.com/files/douzujun/marvin.nav.my1502.css