摘要: 第三单元总结 一、利用JML规格构造测试数据 构造思路 本单元的接口提供了详细的JML说明,可以以此为根据进行测试数据的构造。在JML中我们主要关注以下三个部分: exceptional_behavior:除了正常的测试数据,这些会导致异常的输入也一定要全部覆盖。如果一个方法存在exceptiona 阅读全文
posted @ 2022-06-01 16:26 天机晓梦 阅读(39) 评论(0) 推荐(0) 编辑