在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有【】才可能证明程序的正确性。

admin2010-04-19 40

问题在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有【】才可能证明程序的正确性。

选项

答案程序正确性证明

解析在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有程序正确性证明才可能证明程序的正确。程序的正确性说明是用数学的方法来证明程序正确性的方法。

转载请注明原文地址:https://kaotiyun.com/show/X95Z777K

本试题收录于：三级信息管理技术题库NCRE全国计算机三级分类

三级信息管理技术

NCRE全国计算机三级

相关试题推荐

在实现文件系统时，可采用“目录项分解法”加快文件目录检索速度。假设目录文件存放在磁盘上，每个盘块1024字节。文件控制块有64字节，其中文件名占8字节，文件控制块分解后，第一部分占有10字节(包括文件名和文件内部号)，第二部分56字节(包括文件内部号和
虚拟页式存储系统中进行页面置换时，把最先装入内存的一页调出的策略是()。
SPOOLing系统的主要组成部分是()。
在采用页式存储管理方案的系统中，为了提高内存利用率并减少内碎片，页面的划分()。
文件系统中，若将逻辑上连续的文件信息分散存放在若干不连续的磁盘块中，并将所有磁盘块的地址集中存放在一张表中，这种结构称为()。
在虚拟页式系统中，当需要进行页面置换时，选择将驻留在内存中时间最长的一页调出的策略是()。
浏览器是访问Internet的重要工具，利用它可以访问遍布世界的各种Web站点。为了保护自己的计算机免受非安全软件的危害，浏览器通常采用的方法是()。
某信息系统具有安全内核，其安全等级至少是()。
结构化分析和设计方法是在分析阶段建立系统的逻辑模型，而在设计阶段建立系统的【】。
在结构化方法的软件需求定义中，可采用分析工具来辅助完成。下列工具中，哪些是常用的工具?　　Ⅰ．数据流图　　Ⅱ．结构图　　Ⅲ．数据字典　　Ⅳ．判定表

随机试题

A、糖皮质激素B、红霉素C、青霉素D、X线胸片右肺门增大E、X线胸片呈“哑铃状”原发综合征
A、蛋白电泳B、免疫电泳C、免疫固定电泳D、免疫球蛋白定量E、尿本一周蛋白检测M蛋白的筛选试验为
患者男，39岁，边缘性人格障碍患者，在治疗过程中向医生透露准备杀害自己的某一同事的计划，同时要求医生为他保密，此时，医生怎样做才最合乎医德要求()
A公司能否就此提起行政复议及复议机关和被申请人如何确定?A公司能否直接向法院提起行政赔偿诉讼，为什么?
________thestart-upventureisrisky，Mr．Skinnerisstillwillingtoinvest$2millionofisownmoneyinit．
下列表述符合我国《宪法》规定的有()。
《中华人民共和国民法通则》第63条规定:“公民、法人可以通过代理人实施民事法律行为。代理人在代理权限内,以被代理人的名义实施民事法律行为,被代理人对代理人的代理行为,承担民事责任。依照法律规定或者按照当事人约定,应当由本人实施的民事法律行为,不得代理。”试
WecanlearnfromthebeginningofthetextthatdoctorsinPhiladelphiaBymentioning"double-dipping"(Paragraph4),theauth
下面c++标识符中正确的是()。
A、Hedoesn’tmindthetraffic.B、Hetakesthebustoschool.C、Hehastostandonthebusifhetakesittoschool.D、Hewantst

最新回复(0)

在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有【 】才可能证明程序的正确性。

三级信息管理技术

NCRE全国计算机三级

虚拟页式存储系统中进行页面置换时，把最先装入内存的一页调出的策略是()。

SPOOLing系统的主要组成部分是()。

在采用页式存储管理方案的系统中，为了提高内存利用率并减少内碎片，页面的划分()。

文件系统中，若将逻辑上连续的文件信息分散存放在若干不连续的磁盘块中，并将所有磁盘块的地址集中存放在一张表中，这种结构称为()。

在虚拟页式系统中，当需要进行页面置换时，选择将驻留在内存中时间最长的一页调出的策略是()。

浏览器是访问Internet的重要工具，利用它可以访问遍布世界的各种Web站点。为了保护自己的计算机免受非安全软件的危害，浏览器通常采用的方法是()。

某信息系统具有安全内核，其安全等级至少是()。

结构化分析和设计方法是在分析阶段建立系统的逻辑模型，而在设计阶段建立系统的【】。

在结构化方法的软件需求定义中，可采用分析工具来辅助完成。下列工具中，哪些是常用的工具? Ⅰ．数据流图 Ⅱ．结构图 Ⅲ．数据字典 Ⅳ．判定表

A、糖皮质激素B、红霉素C、青霉素D、X线胸片右肺门增大E、X线胸片呈“哑铃状”原发综合征

A、蛋白电泳B、免疫电泳C、免疫固定电泳D、免疫球蛋白定量E、尿本一周蛋白检测M蛋白的筛选试验为

患者男，39岁，边缘性人格障碍患者，在治疗过程中向医生透露准备杀害自己的某一同事的计划，同时要求医生为他保密，此时，医生怎样做才最合乎医德要求()

A公司能否就此提起行政复议及复议机关和被申请人如何确定?A公司能否直接向法院提起行政赔偿诉讼，为什么?

________thestart-upventureisrisky，Mr．Skinnerisstillwillingtoinvest$2millionofisownmoneyinit．

下列表述符合我国《宪法》规定的有()。

WecanlearnfromthebeginningofthetextthatdoctorsinPhiladelphiaBymentioning"double-dipping"(Paragraph4),theauth

下面c++标识符中正确的是()。

A、Hedoesn’tmindthetraffic.B、Hetakesthebustoschool.C、Hehastostandonthebusifhetakesittoschool.D、Hewantst

在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有【】才可能证明程序的正确性。

在结构化方法的软件需求定义中，可采用分析工具来辅助完成。下列工具中，哪些是常用的工具?　　Ⅰ．数据流图　　Ⅱ．结构图　　Ⅲ．数据字典　　Ⅳ．判定表