2022年6月6日
第三单元博客总结
摘要： 第三单元总结性博客作业 一、测试部分 测试数据的准备 对于这次的作业，我们可以根据JML规格的描述来构造测试数据，对每一个方法做出专门的测试。任何一个方法的JML规格都是由requires，assignable，ensures三部分组成，对于有不同情况需要有不同操作的方法，会有多个requires( 阅读全文
posted @ 2022-06-06 02:06 张启立 阅读(120) 评论(0) 推荐(0) 编辑