会员
周边
新闻
博问
AI培训
云市场
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
和平鸽5106
博客园
首页
新随笔
联系
订阅
管理
2022年6月
BUAA_OO_2022 Unit3 总结
摘要: BUAA_OO_2022 Unit3 总结 自测过程 数据准备 由于本单元的代码完全基于JML,因此数据生成也主要参考了JML规格。在数据生成器中,我通过参数控制各个指令的出现频率和出现顺序,以尽可能覆盖规格中出现的各类情况。 在此基础上,为了更好地覆盖边界情况以及测试程序的抗压能力,数据生成器支持
阅读全文
posted @ 2022-06-03 22:09 和平鸽5106
阅读(213)
评论(0)
推荐(0)
编辑
公告