2022年6月4日

BUAA OO Summary - Unit3

摘要: 第三单元总结 一、自测利用JML规格准备测试数据 白盒测试 这一部分其实不涉及构造数据,但是确是至关重要的。个人感觉在写完所有代码后,只有自己把代码对应JML规格每个方法重新梳理对照一遍,才能一定程度上保证这次作业的正确性——这是来自白盒测试的安全感。 由于本单元的正确性很大程度取决于对JML规格的 阅读全文

posted @ 2022-06-04 10:46 流英成和 阅读(15) 评论(0) 推荐(0) 编辑

导航