会员
周边
新闻
博问
融资
云市场
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
Shuo1337-
博客园
首页
新随笔
联系
订阅
管理
2022年6月6日
OO_Unit3_Summary
摘要: OO第三单元总结 利用JML规格构造测试数据 首先,这一单元在写程序的时候,肯定是一步一个脚印,对程序作出修改时保证其遵循所给的JML。在对程序进行测试时,首先对照JML的assignable将方法中对容器做出修改的地方进行检查,保证不添不漏。在符合上述条件的前提下,只需对方法的返回值进行检查。在构
阅读全文
posted @ 2022-06-06 14:11 shuo1337
阅读(11)
评论(1)
推荐(0)
编辑