摘要: 第三单元总结博客 (1) 自测的测试数据 根据方法的JML规格准备测试数据: 方法名前是否存在/*@ pure @*/标记,如果有,那么此方法不应该改变任何变量的值。 根据require条件分别准备满足条件和不满足条件的数。判断满足条件的数据是否有返回值满足ensure的规定,是否只有assigna 阅读全文
posted @ 2022-06-06 15:59 LJJ+ 阅读(81) 评论(0) 推荐(0) 编辑