为什么说测试只能证明程序有错误,不能证明程序的正确性?

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/15 13:11:11
为什么说测试只能证明程序有错误,不能证明程序的正确性?

为什么说测试只能证明程序有错误,不能证明程序的正确性?
为什么说测试只能证明程序有错误,不能证明程序的正确性?

为什么说测试只能证明程序有错误,不能证明程序的正确性?
因为我们测试的时候只能测试某些特定的例子,如果这些例子中程序出现错误,那么程序一定不是正确的,因为正确的程序运行任何的例子都应该是正确的.但是如果我们测试的例子都是正确的,也无法保证程序的正确性,因为可能能使程序出现错误的例子我们没有测试到.这就像黑天鹅一样,如果人们看到的天鹅全都是白色的,也不能保证所有的天鹅都是白色的,在澳洲就真的发现了黑色的天鹅.

为什么说测试只能证明程序有错误,不能证明程序的正确性? 为什么说它不能证明质量守恒定律 欧几里德的第五公设(这个公理说,过线外一点只能有一条直线与已知直线平行.人们后来证明这个公理并不是十分可靠的).为什么这是错误的 有关噬菌体侵染大肠杆菌的实验这个实验为什么只能证明DNA是遗传物质而不能证明蛋白质不是遗传物质? 英语翻译testing just bear out have mistake .it isn't means all right 测试 只能证明 有错误 ,并不意味着 没错testing just bear out it have mistake .it isn't means all right prove的一个用法是不是只能说A证明B 而不能说B被A证明?那么It has been proved that..是不是错的 这句话犯了什么逻辑错误,请懂的人回答下,有追分!A说:我认为银河外有个与地球一样的星球,B说:没有,理由是A不能证明有,A说:有,因为B不能证明没有这是什么逻辑错误具体分析下逻辑过程 红磷测氧气的实验为什么能证明氮气不能燃烧?注意是不能燃烧,和支持燃烧不一样有道题目说可以证明氮气不能燃烧,为什么? 为什么证明sinx 在x0连续 不能直接用sinx0错误的原因为什么是变成了用结论证明问题? 气球吹气不能证明大气压强为什么向气球吹气,气球涨大了,不能证明大气有压强 为什么说光是一种电磁波?有哪些研究可以证明? 某溶液加入四氯化碳,四氯化碳层呈紫色,为什么不能证明原溶液中存在碘离子,只能证明存在碘分子? 今天的科学只能证明物体的存在,而不能证明某种物体不存在 很急,好的我会加分 谢谢1、卢瑟福的粒子实验为什么不能证明电子带负电?2、“一种元素只能有一种化合价”错在哪里?例子(详细说明一下)3、为什么说”KMnO4 和 K2MnO4 的氧原子数目不一样 为什么“边边角”不能证明三角形全等 边边角为什么不能证明三角形全等 为什么不能三等分60度角证明! 软件测试的目标是证明程序的正确性.判断,非懂勿答瞎答的是傻蛋