会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
buaaZzy
博客园
首页
新随笔
联系
订阅
管理
2022年6月4日
buaa_oo_第三单元总结
摘要: 如何根据JML规格构造自测数据: 本单元自测环节我没有使用Junit工具,我采用的是最笨的方法--枚举每个指令的执行效果构造不同数据。首先我找到每条指令执行时会调用哪些函数,然后阅读JML规格中这些函数的执行效果,为各个执行方向构造不同的数据。函数的异常情况相对简单,且各个函数抛出异常情况有相似,主
阅读全文
posted @ 2022-06-04 17:21 buaa_zzy
阅读(11)
评论(0)
推荐(0)
编辑
公告