摘要： 第三单元总结 如何利用jml规格准备测试数据 在本单元中，按照jml进行测试是可以达到完备的效果的，但考虑到自己去手动构造样例太过费力，我最终选择了与同学对拍，利用随机生成的数据来进行测试。 于是问题的关键是这个数据怎么样来随机可以达到完备的效果，完全随机肯定是不能达到所需的效果，所以我采取的方案是 阅读全文