2022年6月6日
OO第三单元总结
摘要： 自测过程中如何利用JML规格来准备测试数据 在整个第三单元的JML语言的学习下来，确实能够感觉到这真的是一门描述十分清晰的语言，从我们输入的数据的要求，数据中间变化的要求，再到输出数据的要求在JML中都是有较为严格的规定的，这也就为我们这个单元进行自测提供了不小的便利。具体如下： 前置条件：构造数据 阅读全文
posted @ 2022-06-06 14:21 谷福胜 阅读(24) 评论(0) 推荐(0) 编辑