摘要: #测试数据 在本单元的测试中,基本上采用的是基本功能测试+JML中的特殊情况测试+大数据随机生成测试。即先使用一些基本的数据进行测试,确保能满足一定的功能,之后再仔细阅读JML规格,看是否存在一些边界情况。如在第三次作业中的群发红包,当红包金额不能被群人数整除时,存在着结果可能不是相同整数的情况。最 阅读全文
posted @ 2022-06-05 10:49 荀彧1732 阅读(24) 评论(1) 推荐(0) 编辑