会员
周边
新闻
博问
AI培训
云市场
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
Rupertail
博客园
首页
新随笔
联系
订阅
管理
2022年6月5日
OO第三单元总结
摘要: OO第三单元总结 一、利用JML规格准备测试数据 1.正确性测试 利用JML规格中的also连接词来快速识别normal_behavior中的不同前置条件以及exceptional_behavior中的不同异常触发条件,使得数据可以尽量覆盖上述的所有情况。而对于每种情况,可以人工构造一些边界条件(如
阅读全文
posted @ 2022-06-05 22:27 Rupertail
阅读(38)
评论(0)
推荐(0)
编辑
公告