2022年6月6日
BUAA_OO_2022 第三单元总结
摘要： OO Unit3 Blog 测试数据准备 首先是对相关jml的理解和解读，这一部分首先自己通读jml规格然后根据自己的理解写出代码。对于一些较为复杂的jml规格，与同学交流具体对应实现内容。 对于jml中的规格测试主要是对函数特殊边界情况的测试以及对大量数据的时间复杂度测试。 第三单元设计分析 第一 阅读全文
posted @ 2022-06-06 10:56 tiderem 阅读(40) 评论(0) 推荐(0) 编辑