2022年6月4日
OO-2022-Unit3-BeihangCSE
摘要： 第三单元总结 数据测试 副作用 在JML中，一个方法除了返回值即\result之外，还有存在许多限制条件，例如\not_assigned, \not_modified，这些条件通常限制了我们在一个方法内对被调用的对象的操作，这是测试数据的重点之一 异常处理 需要对\require 做出的对 norm 阅读全文
posted @ 2022-06-04 22:07 Danny121008 阅读(28) 评论(1) 推荐(0) 编辑