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