会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
wwz-buaa
博客园
首页
新随笔
联系
订阅
管理
2022年6月5日
BUAA_OO_第三单元总结
摘要: #BUAA_OO_第三单元总结 本次作业主要针对JML规格进行建模与实现。 ##数据构造 本单元进行自测数据的构造主要通过随机数据和边界数据来进行测试。 测试的基础是利用JML规格重新构建一个测评机。通过JML的规格来生成不同的类,然后构建类中的属性。调用满足JML的前置条件的方法来进行数据的增删,
阅读全文
posted @ 2022-06-05 21:15 吴伟泽
阅读(17)
评论(0)
推荐(0)
编辑
公告