会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
qiaoaiku44
博客园
首页
新随笔
联系
订阅
管理
2022年6月6日
OO第三单元总结
摘要: 自测过程中如何利用JML规格来准备测试数据 在整个第三单元的JML语言的学习下来,确实能够感觉到这真的是一门描述十分清晰的语言,从我们输入的数据的要求,数据中间变化的要求,再到输出数据的要求在JML中都是有较为严格的规定的,这也就为我们这个单元进行自测提供了不小的便利。具体如下: 前置条件:构造数据
阅读全文
posted @ 2022-06-06 14:21 谷福胜
阅读(24)
评论(0)
推荐(0)
编辑
公告