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