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