为什么不能说一个程序完全正确,只能说到目前为止没有发现错误?
这同医生看病一样,没有发现异常,他不可能讲没有病,程序也是这样,况且程序里面甚至有病毒,只是没有发现,所以不能讲程序正确,你讲对吗?
因为我们测试的时候只能测试某些特定的例子,如果这些例子中程序出现错误,那么程序一定不是正确的,因为正确的程序运行任何的例子都应该是正确的。但是如果我们测试的例子都是正确的,也无法保证程序的正确性,因为可能能使程序出现错误的例子我们没有测试到。这就像黑天鹅一样,如果人们看到的天鹅全都是白色的,也不能保证所有的天鹅都是白色的,在澳洲就真的发现了黑色的天鹅。
从测试角度讲,你所测试的没有错误,只是使用了有线集合的测试数据,在这些数据中,程序是没有错误的,但是这不能证明在其他的数据集中,程序就不会出现错误。如果想说程序是完全正确的,这要通过形式化建模,并对建立的模型进行模型检测才有可能说明程序是否完全正确。这也是当今软件工程领域最前沿的研究课题之一。
程序的结构非常的严谨,逻辑结构非常的复杂,在现在没有发现的问题,只能说你还没有遇到,没有遇到的问题并不等于问题不存在。
程序的运行还和硬件,软件,平台等一系列问题相关。一个程序出来了,根据程序的大小,是需要进行功能测试,性能测试等很多相关测试以确保程序中没有错误,然后发出beta版本,做人为测试,过去在测试专家眼里没有出现问题的程序,很有可能在人为测试的时候就出现问题了。
看来需要理解事物是在发展变化的,外部环境包罗万象
为什么不能说一个程序完全正确,只能说到目前为止没有发现错误?
从测试角度讲,你所测试的没有错误,只是使用了有线集合的测试数据,在这些数据中,程序是没有错误的,但是这不能证明在其他的数据集中,程序就不会出现错误。如果想说程序是完全正确的,这要通过形式化建模,并对建立的模型进行模型检测才有可能说明程序是否完全正确。这也是当今软件工程领域最前沿的研究...
有谁能讲讲ISO程序
ISO9000是质量管理体系标准,企业按照其要求运作,会建立很多程序文件。由于每个企业产品可能不同,生产过程不同等原因,程序会有很大的不同。
和人说话有什么忌讳 什么可以说 什么不能说
可以,找个你可以信任的朋友.如果不说出来会不舒服
中国的会python总共有多少人(2023年最新分享)
(当然也不能说一个程序员的价值取决于他熟悉多少种计算机语言什么的。请别这样理解。许多程序员“高阶技能”更是一种训练出来的思考维度,和编程语言无关。这些维度决定一个人能否有效解决某一类问题。具体用什么语言并不重要。不过吧,如果只接触一门编程语言,思维肯定会有些捆绑) --- 需求: 好吧,伦敦有那么几万...
小西班长什么什么老师不能说放假一天啥操作啊
小西班长只是一个班级的班长,老师不能单方面决定放假一天,因为放假需要经过学校的批准和安排。决定放假的权力通常属于学校的行政部门或教务部门。如果学生想要放假,一般需要提出请假申请,并经过相关部门的审批。具体的请假操作可能因学校和地区而有所不同,需要遵守学校的请假规定和程序。
和领导关系再熟,这些话也不能说
1个回答 #热议# 上班途中天气原因受伤算工伤吗?职场还是得看我 2023-04-21 · 超过106用户关注了TA 关注 展开全部 和领导关系再熟,这些话也千万不能说 【1】问:这个月行程怎么安排? 错误回答:谁谁没跟我确定,我也不清楚。 较好回答:领导,我立刻找谁谁确认下,尽快给到您结果。 【2】问:还有什么意见...
和回民接触要注意些什么,什么不能说?什么不能作?
仪式后,便从回教众多的先贤中选出一个美名,告诉家里人。这天,有条件的要宰羊,一般的也要炸油香、撒子、花花等,请阿訇,送左邻右舍、亲戚朋友,以示庆贺。命名礼结束后,要用红枣、白糖、红糖、冰糖水等甜东西给小孩儿开口。 婚礼习俗 各地回族婚礼形式多种多样。比较一致的程序是请媒人提亲、说色俩目(也叫定茶...
c#程序员都有什么最低要求?
作为一些商业化正规化的开发而言,专职的测试工程师是不可少的,但是并不是说有了专职的测试工程师程序员就可以不进行自测;软件研发作为一项工程而言,一个很重要的特点就是问题发现的越早,解决的代价就越低,程序员在每段代码,每个子模块完成后进行认真的测试,就可以尽量将一些潜在的问题最早的发现和解决,这样对整体...
刑事辩护原则包括哪些
该案由纪委主导,检察院、公安局侦办,虽然情有可原,但无罪是不可能的,已经被关押了九个月,如果能判个缓刑就很不错了。第三种情况是律师认为有些情况必须说,当事人认为不能说。案例:一起受贿案件。辩护人认为侦查机关存在对被告人的连续审讯的行为,属于刑讯逼供,应当适用非法证据排除规则而对其有罪供述不予采信。
微信小程序可以分享带有个人信息的详情页吗?
可以是可以,但是因为具体涉及到敏感的个人信息,还是不怎么支持这么做,万一出现问题很麻烦,网络上对于这方面审查也挺严格的。
和思复方: 程序的结构非常的严谨,逻辑结构非常的复杂,在现在没有发现的问题,只能说你还没有遇到,没有遇到的问题并不等于问题不存在.程序的运行还和硬件,软件,平台等一系列问题相关.一个程序出来了,根据程序的大小,是需要进行功能测试,性能测试等很多相关测试以确保程序中没有错误,然后发出beta版本,做人为测试,过去在测试专家眼里没有出现问题的程序,很有可能在人为测试的时候就出现问题了.
路北区17518197659: 为什么不能证明一个软件是完全正确的 - ?
和思复方: 应该是程序吧,程序是存在漏洞的.
路北区17518197659: 请问刚编程的时候代码自己写老是不能得到正确的结果但能够编译通过,怎样才能实现自己写出正确的代码 - ?
和思复方: 嘿嘿 俺来告诉你原因 1 你的程序能够编译通过,只能说明程序中没有语法错误,但不能说就没有逻辑错误. 2 结果不对 说明存在着逻辑错误应该分析结果不正确的原因 将运行的结果与正确的结果 进行比较 分析差别及原因从而找出错误的逻辑.这个过程就是调试. 3 自己慢慢摸索编写代码: 就要有个循环渐进的过程 要先学会编写简单的程序 再学编写复杂的 也可以分段调试你的程序.
路北区17518197659: 以下给出对程序框图的几种说法:①任何一个程序框图都必须有起止框;②输人框只能放在开始框后,输出框只 - ?
和思复方: 展开全部 C 解:①正确,因为程序框图中的循环不可以是无尽循环;②正确,对于一个算法来说,输人框只能放在开始框后,输出框只能放在结束框前 ③正确,判断框是唯一具有超过一个退出点的符号 ④不正确,程序框图条件表述方法不是唯一的. 故选C.
路北区17518197659: 谁能给我讲讲哥德尔不完备性定理 - ?
和思复方: 哥德尔定理是数理逻辑中的一个定理,1931年奥地利逻辑、数学家克尔特.哥德尔(Kurt Godel)发现并证明的,这个定理彻底粉碎了希尔伯特的形式主义理想.为理解这个定理及其意义,需要相当的数理逻辑和集合论知识.要把这些预备知识都...
路北区17518197659: 两个一样的程序,为什么一个能运行,一个却不能 - ?
和思复方: 是什么程序呀?有的程序只能运行一个,运行了之后相同的进程不可重新运行
路北区17518197659: C语言编出来的程序怎么不能用啊》 - ?
和思复方: 之所以这样是因为,程序瞬间运行完毕了,当然很快就关闭了!如果你想让程序运行到输出结果后停下来,可以在主函数结束前加一句system("pause");还有,在程序前面再#include,就可以了
路北区17518197659: 为什么电脑一关网页的时候会出现错误提示?说什么程序只能read?或是written??
和思复方: 点击:开始→运行→cmd→复制/粘贴以下命令(可以每次一条也可以全部复制粘贴进去)netsh winsock reset regsvr32 Mshtml.dll regsvr32 Urlmon.dll regsvr32 Msjava.dll regsvr32 Browseui.dll regsvr32 Oleaut32.dll regsvr32 Shell32.dll regsvr32 ...
路北区17518197659: c语言可以开发iOS软件吗 - ?
和思复方: 一般来说ios的app是用c++和object-c来编写的,但是要通过xcode程序.一个app你可以用oc编写,也可以c++结合oc编写,我就看过一个外国开发商说的,他开发的app1000条代码800条都是c++,200条oc.