会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
Autobot
博客园
首页
新随笔
联系
订阅
管理
2018年6月25日
OO最后一次总结
摘要: 测试与正确性论证 Dijkstra说过:“程序测试只能证明程序有错,不能证明程序正确。”所谓程序测试,实际上是测试者特意挑出一批检查数据,通过运行程序,检查每个输入数据所对应的运行结果是否符合预期要求。正确性证明是论证程序达到预期目的的一般性陈述,该论证不与程序输入的特定值有关,但能够代表穷举性测试
阅读全文
posted @ 2018-06-25 19:19 Autobot
阅读(153)
评论(0)
推荐(0)
编辑
公告