会员
周边
众包
新闻
博问
闪存
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
Mmmusel
博客园
首页
新随笔
联系
订阅
管理
2022年6月1日
BUAA OO 2022 第三单元
摘要: 一、利用JML规格构造测试数据 兼顾正常行为和异常行为 例如对于ar指令,exceptional_behavior是!contains(id1) || !contains(id2) || getPerson(id1).isLinked(getPerson(id2)) 生成指令时把people_id的
阅读全文
posted @ 2022-06-01 16:11 Mmmusel
阅读(45)
评论(0)
推荐(1)
编辑
公告