OO第三单元总结
Posted rrmmffll
tags:
篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了OO第三单元总结相关的知识，希望对你有一定的参考价值。
OO第三单元总结 利用JML规格准备测试数据 前置条件 构造不满足前置条件的数据测试异常处理 构造满足前置条件的数据测试正确性 后置条件和约束条件 用于判断输出结果的正确性 利用JML规格的前置条件构造数据便于对所有可能的情况进行分类讨论，保障了测试数据的覆盖率。但仅用后置条件和约束条件对结果进行判
以上是关于OO第三单元总结的主要内容，如果未能解决你的问题，请参考以下文章