摘要： 第三单元总结 一、利用JML规格构造测试数据 构造思路 本单元的接口提供了详细的JML说明，可以以此为根据进行测试数据的构造。在JML中我们主要关注以下三个部分： exceptional_behavior：除了正常的测试数据，这些会导致异常的输入也一定要全部覆盖。如果一个方法存在exceptiona 阅读全文