摘要: BUAA OO Unit3 Summary 零、写在前面 百度JML结果如下(doge 一、基于JML规格的自测 本单元的中心就是JML规格的理解到实现,所以自然的,我们的测试也应该基于JML规格进行展开。 白盒测试 白盒测试对于我的意义更多在与对正确性的检测。JML给出规格的最大好处就是不会出现谜 阅读全文
posted @ 2022-06-06 10:04 ezmoneysniper 阅读(19) 评论(0) 推荐(1) 编辑