会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
wanBlogs
博客园
首页
新随笔
联系
订阅
管理
2022年6月3日
面向对象第三章总结
摘要: 面向对象第三章总结 准备测试数据 本单元引入了Junit单元测试,可以针对每个方法自己构造数据测试。但是由于其使用起来需要手动针对每个方法写判断前提和结果约束,相当麻烦,因而关于Junit我便浅尝辄止了。类似之前单元的测试,本单元我还是通过随机生成数据进行测试。 方法的JML规格约束了方法的前提与产
阅读全文
posted @ 2022-06-03 22:04 夜光WAN
阅读(42)
评论(0)
推荐(0)
编辑
公告