2022年6月6日
BUAA OO U3
摘要： 一、JML与测试 白盒测试： 白盒测试主要是从JML的规格出发。这也是老师上课的时候着重强调的知识点。 明确测试目标： 每个方法是否都满足所要求的规格。这也是一种契约式的编程思想。 是否能在任何使用场景下，类都能确保状态正确？ 测试有效性问题： 需要测试哪些数据？ 如何检验测试覆盖了多少代码成分？ 阅读全文
posted @ 2022-06-06 17:32 乌拉圭的袋鼠 阅读(30) 评论(0) 推荐(0) 编辑