会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
ppr123
博客园
首页
博问
闪存
新随笔
订阅
管理
2022年6月1日
OO第三单元总结
摘要: OO第三单元总结 一、利用JML规格准备测试数据 JML规格能够助力于规格化设计,规格化设计的核心是方法的前置条件、方法后置条件和对象的不变式。 方法的前置条件包含了normal_behavior和exceptional_behavior两种情况,因此我们在构造测试数据时需要覆盖到这两种情况
阅读全文
posted @ 2022-06-01 16:26 lr20
阅读(30)
评论(0)
推荐(0)
编辑