摘要： OO第三单元总结 一、测试数据准备 JML规格可以有效避免自然语言的表达不准的问题。 JML规格中的前置条件至关重要，本单元中的前置条件会包括许多异常条件，所以在构造测试数据的时候应该完全覆盖各种条件，但是对于不同的测试点应该略有不同的侧重，有时侧重正确操作的测试，有时侧重异常抛出的测试。在本单元中 阅读全文