会员
周边
新闻
博问
AI培训
云市场
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
rrmmffll
博客园
首页
新随笔
联系
订阅
管理
2022年6月
OO第三单元总结
摘要: OO第三单元总结 利用JML规格准备测试数据 前置条件 构造不满足前置条件的数据测试异常处理 构造满足前置条件的数据测试正确性 后置条件和约束条件 用于判断输出结果的正确性 利用JML规格的前置条件构造数据便于对所有可能的情况进行分类讨论,保障了测试数据的覆盖率。但仅用后置条件和约束条件对结果进行判
阅读全文
posted @ 2022-06-04 09:50 rmfl
阅读(25)
评论(0)
推荐(0)
编辑
公告