首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有:【 】才可能证明程序的正确性。
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有:【 】才可能证明程序的正确性。
admin
2013-03-16
74
问题
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有:【 】才可能证明程序的正确性。
选项
答案
程序正确性证明
解析
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有程序正确性证明才可能证明程序的正确。程序的正确性说明是用数学的方法来证明程序正确性的方法。
转载请注明原文地址:https://kaotiyun.com/show/gQuZ777K
本试题收录于:
三级信息管理技术题库NCRE全国计算机三级分类
0
三级信息管理技术
NCRE全国计算机三级
相关试题推荐
BSP方法中,数据类分为四大类,下列中()记录资源状况。
在通常情况下,下面的关系中,不可以作为关系数据库的关系是()。
决策分析,一般不包括()。
网状、层次数据模型与关系数据模型的最大区别在于表示和实现实体之间的联系的方法:网状、层次数据模型是通过指针链,而关系数据模型是使用______。
BSP的过程分类,产品服务和支持性资源都属于有生命周期的过程,下面()属于回收/分配阶段。
下面()不是网络管理协议。
在关系运算中,查找满足一定条件的元组的运算称之为()。
主题数据库是一类重要的数据环境,以下是关于数据环境特点的描述:Ⅰ.简单、容易实现Ⅱ.具有较低的维护成本Ⅲ.提高了应用开发效率Ⅳ.与应用项目对应Ⅴ.独立于应用项目其中属于主题数据库优点的是()。
详细设计的工具各具优缺点,而PAD图的优点是()。
随机试题
室性心动过速伴严重血流动力学障碍时,首选治疗是
晶闸管交流侧过电压分为()。
顺从病证外在假象而治的一种治疗原则属于()
目前,在几家国有大型银行,二套房贷也已经很难( )到七折优惠利率。这就使得不少对银行贷款( )度较高的购房者眼下加紧“冲关”。最恰当的一项是( )。
某一经济主体的经济活动影响到其他经济主体,而这种影响无法通过市场价格反映出来。这种现象称为“()”。
=__________。
Plasticisthepanaceaoftheages.Nearlyeveryman-madeobject(1)_____(2)_____of,oratleast(3)_____itsverystructure,
(1)编写SELECT语句,从orders(订单)表中统计2007年各月份签订的订单数。统计结果依次包含“月份”和“订单数”两个字段,并按月份升序排序,统计结果存放在tableone表中。最后要执行SELECT语句,并将该SELECT语句存放在命令文件po
结构化程序设计的核心和基础是()。
A、Bygreetingeachotherverypolitely.B、Byexchangingtheirviewsonpublicaffairs.C、Bydisplayingtheirfeelingsandemotio
最新回复
(
0
)