-
-
-
winterswimer | 当前状态：在线
总积分：2907 2025年可用积分：0
注册时间： 2006-08-30
最后登录时间： 2015-10-30
-
-
测试不能证明软件没有故障---理解Dijkstra
winterswimer 发表于 2009/6/3 10:23:16 1480 查看 4 回复 [上一主题] [下一主题]
手机阅读
王选曾引用迪杰斯特拉的名言:“程序测试是表明存在故障的非常有效的方法，但对于证明没有故障，调试是很无能为力的”， 认为至今还有意义。
目前，很多纵横科技的研发和技术同事提问：开发完成的软件构件和驱动程序已经提交测试，甚至交付客户使用，为什么过很长时间还会出现问题？
这个问题我也考虑了很久。今天，看到王选院士的文章，我有了答案！
首先，我们理解一下迪杰斯特拉的思想：软件本身就像人！人无完人！复杂软件很难无故障。即便你认识某人很久，你也不能说明此人就不会犯错误。软件，尤其是复杂的软件，其运行路径随软件复杂度的几何级数增长而增长，以至于复杂软件的运行就像一个人的存在，你无法用简单测试的方法证明他肯定不会出故障。
然后，迪杰斯特拉的另一句名言是：“有效的程序员不应该浪费很多时间用于程序调试，他们应该一开始就不要把故障引入”。这告诉我们，程序员尤其是系统架构人员能否通过对软件系统架构的设计规避故障的发生，对后续开发软件可能引发故障的几率有着重要的影响。软件设计是门科学，软件的开发是有章可循的，正确的程序开发，可以规避问题的发生。
最后，这些思想影响着软件科学，影响着诸如微软一样的软件企业的管理，在本贴附有《微软的开发管理经验：100%以Bug为核心》。这也给我们如下的思考：
- 1、软体的目标是正常运行，和应用脱离，就是闭门造车；
- 2、软件bug的发现来自应用，测试是应用的一小部分；
- 3、软件有一定的应用环境，所以，规格说明很重要，没有规格说明，测试软件就没有了依据；
- 4、定义Bug的类型很重要，比如你可以将软件兼容性，软体提示不够准确，不友好，文档与帮助信息中的缺陷等，当做bug，也可以不！
- 5、软件测试管理规范；
- 6、最后，测试不可能确定软件不存在bug，只能让Bug数目奔向零。
综上所述，技术团队和研发的同事们，我要说的是：虽然，研发将软体的某些功能开发，提交测试，甚至交付使用，但是，并不能说软件故障完全消除！所以，让我们以平和的心态、科学的方法面对不断出现的软件故障吧。
-
-
-
xxkjfw 发表于 2009/5/7 15:20:52
2楼 回复本楼以前我们对ERP系统的子系统验收，提供给车间或部门使用时，也常发生问题都需要由程序员进行修改，车间或部门很有意见，总说我们把关不严，把有问题的软件拿给他们用，实际上就是:
“王选曾引用迪杰斯特拉的名言:“程序测试是表明存在故障的非常有效的方法，但对于证明没有故障，调试是很无能为力的”， 认为至今还有意义。”
引用 xxkjfw 2009/5/7 15:20:52 发表于2楼的内容
-
-
-
-
-
winterswimer | 当前状态：在线
总积分：2907 2025年可用积分：0
注册时间： 2006-08-30
最后登录时间： 2015-10-30
-
-
winterswimer 发表于 2009/5/7 22:38:43
3楼 回复本楼下面文章摘自王选院士纪念网站，建议大家去阅读更多好文章！
http://www.wangxuan.net王选文萃
· 前言
· 有所准备才能抓住机遇
· 从东大阿尔派的崛起谈帅才
· 方正与北大
· 高新技术企业的技术带头人需要具备的素质(1-2)
· 高新技术企业的技术带头人需要具备的素质(3)
· 高新技术企业的技术带头人需要具备的素质(4-8)
· 青少年时代所受的教育为我日后成才打下扎实基础
· 科学研究与精神境界
· 我的八个重要选择(一、二、三、四)
· 我的八个重要选择(五、六、七、八)
· 善于看到他人之长，是团队精神的基础
· 脚踏实地，持之以恒
· 情商要从青少年时代培养
· 我能取得成就的原因和不足之处
· 一个好的科学家首先应该是一个好人序
· 数学基础和跨领域研究是取得创新成果的重要因素
· 保证产品生命力的“顶天立地”模式
· 寻求最前沿的需求刺激
· 赚大钱难，难于上青天
· 自主知识产权是高新技术企业的命根子
· 最可怕的是错过一个时代(1)
· 最可怕的是错过一个时代(2)
· 关于科学研究的人文思考(1)
· 关于科学研究的人文思考(2)
· 坚持技术创新，立志科技报国(1)
· 坚持技术创新，立志科技报国(2)
· 坚持技术创新，立志科技报国(3)
· 想得好，想得早，动手快
· 抓住机遇 不断创新
· 从Dijkstra 谈帅才的洞察力(1)
· 从Dijkstra 谈帅才的洞察力(2)
· 杀手锏出，后来居上(1)
· 杀手锏出，后来居上(2)
· 杀手锏出，后来居上(3)
· 抓住新潮流机遇，实现跨越式发展
· 破除对权威的迷信，勇于创新
· 后 记
引用 winterswimer 2009/5/7 22:38:43 发表于3楼的内容
-
-
-
-
qzvalvesa 发表于 2009/6/2 13:23:10
4楼 回复本楼支持！
阀门 闸阀 球阀 阀门技术空间 阀门 闸阀 球阀 阀门技术空间 阀门技术 GB标准闸阀 JIS标准闸阀 API标准闸阀 ANSI标准闸阀 DQ41F低温球阀 Q641M气动高温球阀 球阀 - 球阀论文 - 球阀技术 闸阀 - 闸阀论文 - 闸阀技术 蝶阀 - 蝶阀论文 - 蝶阀技术 什么是阀门 阀门知识 阀门技术 英国优科UK进口阀门 德国福林FRING进口阀门 日本阀天VENN进口阀门 日本日立HITACHI进口阀门 日本北泽KITZ进口阀门 进口阀门品牌 前泽QZ阀门
引用 qzvalvesa 2009/6/2 13:23:10 发表于4楼的内容
-
-
引用 comorg 2009/6/3 10:23:16 发表于5楼的内容