会员
周边
众包
新闻
博问
闪存
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
XiaoGao128
博客园
首页
新随笔
联系
订阅
管理
2020年4月30日
编程珠玑阅读笔记03
摘要: 某一程序员试图让另一名程序员确信某段代码是正确无误时,所使用的主要工具通常都是测试用例:手工输入然后执行该程序。那是一个功能强大的工具:它适用于检测bug,使用简单,也好理解。然而,这样做很显然需要程序员对程序有很深的理解。如果对程序没有很好的理解,那他们决不能先行编写出程序来。程序验证的好处之一就
阅读全文
posted @ 2020-04-30 20:52 XiaoGao128
阅读(91)
评论(0)
推荐(0)
编辑
公告