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

admin2010-04-19 29

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

选项

答案程序正确性证明

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

转载请注明原文地址:https://jikaoti.com/ti/KHc7FFFM

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

三级信息管理技术

NCRE全国计算机三级

相关试题推荐

并发性是操作系统的特征之一，所谓“并发性”是指()。
关于C2等级安全性的描述中，错误的是()。
关于IEEE802．3协议的描述中，错误的是()。
某一主机的IP地址为20．113．25．55，掩码为255．255．240．0。该主机在发送有限广播数据报时，其目的IP地址为()。
一个路由器的路由表如下所示。当该路由器接收到源地址为10．1．0．35，目的地址为10．4．0．78的IP数据报时，它将该数据报投递到()。
IEEE802．11a标准支持的最大数据传输速率是()。
线程的实现机制有多种途径，下列哪几项属于典型的线程实现方式?()
解决死锁的方法有多种，通过“资源有序分配法”来解决死锁问题的方法称为()。
对于交互式系统，其调度算法的设计目标是()。
JamesMartin的信息工程学提出了一种企业数据处理系统建设的模式，其中包括很多模块　　Ⅰ．企业模型的建立　　Ⅱ．特定主题数据库的详细的数据模型设计　　Ⅲ．过程化语言的使用　　Ⅳ．信息资源的战略规划　　以上哪些是最低层的两个模块?

随机试题

臀位阴道分娩，胎儿脐部娩出后应结束分娩的时间是
下列图中，蒸汽锅炉蒸汽间接加热机械全循环上行下给式的热水供应是()。
某施工单位承揽了一水利枢纽工程中的部分施工任务。该施工项目双代号网络计划如图5-1所示(单位：天)：[问题]施工过程中，在①法律、法规、规章和技术标准；②投标文件；③设计变更通知；④监理合同；⑤资源配置；⑥设计合同等中，哪些应作为施工单
A公司中标某市城区高架路工程第二标段。本工程包括高架桥梁、地面辅道及其他附属工程：工程采用工程量清单计价，并在清单中列出了措施项目；双方签订了建设工程施工合同，其中约定工程款支付方式为按月计量支付，并约定发生争议时向工程所在地仲裁委员会申请仲裁。对
企业利润表中，“资产处置收益”“公允价值变动收益”“投资收益”项目金额，均可能以负号填列。()
设三元二次型xTAx=+2x1x2—2x2x3—2ax1x3的正、负惯性指数都是1，(Ⅰ)求a的值，并用正交变换化二次型为标准形；(Ⅱ)如B=A3一5A+E，求二次型xTBx的规范形．
用IE浏览器打开如下地址：http：／／localhost：65531／ExamWeb／index．htm，浏览有关“TurboC整型变量”的网页，将该页内容以文本文件的格式保存到考生目录下，文件名为“Testie．txt”。2．用OutlookEx
A.OngoingResearchB.ExtensionofUseC.RobotHeroesD.GreaterReliabilityE.FallingDemandF.HiddenDanger*
Whichofthefollowingisthebesttitleforthepassage?WhichofthefollowingstatementsisTRUEaccordingtothepassage?
A、Improvedairconditionandbetterhealth.B、Reducedtrafficcostsandthegreaterfitness.C、Lessinfrastructuredemandsandc

最新回复(0)

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

三级信息管理技术

NCRE全国计算机三级

并发性是操作系统的特征之一，所谓“并发性”是指()。

关于C2等级安全性的描述中，错误的是()。

关于IEEE802．3协议的描述中，错误的是()。

某一主机的IP地址为20．113．25．55，掩码为255．255．240．0。该主机在发送有限广播数据报时，其目的IP地址为()。

一个路由器的路由表如下所示。当该路由器接收到源地址为10．1．0．35，目的地址为10．4．0．78的IP数据报时，它将该数据报投递到()。

IEEE802．11a标准支持的最大数据传输速率是()。

线程的实现机制有多种途径，下列哪几项属于典型的线程实现方式?()

解决死锁的方法有多种，通过“资源有序分配法”来解决死锁问题的方法称为()。

对于交互式系统，其调度算法的设计目标是()。

臀位阴道分娩，胎儿脐部娩出后应结束分娩的时间是

下列图中，蒸汽锅炉蒸汽间接加热机械全循环上行下给式的热水供应是()。

企业利润表中，“资产处置收益”“公允价值变动收益”“投资收益”项目金额，均可能以负号填列。()

设三元二次型xTAx=+2x1x2—2x2x3—2ax1x3的正、负惯性指数都是1，(Ⅰ)求a的值，并用正交变换化二次型为标准形；(Ⅱ)如B=A3一5A+E，求二次型xTBx的规范形．

用IE浏览器打开如下地址：http：／／localhost：65531／ExamWeb／index．htm，浏览有关“TurboC整型变量”的网页，将该页内容以文本文件的格式保存到考生目录下，文件名为“Testie．txt”。2．用OutlookEx

A.OngoingResearchB.ExtensionofUseC.RobotHeroesD.GreaterReliabilityE.FallingDemandF.HiddenDanger*

Whichofthefollowingisthebesttitleforthepassage?WhichofthefollowingstatementsisTRUEaccordingtothepassage?

A、Improvedairconditionandbetterhealth.B、Reducedtrafficcostsandthegreaterfitness.C、Lessinfrastructuredemandsandc

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