首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中不存在错误,只有【 】才有可能证明程序的正确性。
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中不存在错误,只有【 】才有可能证明程序的正确性。
admin
2013-02-01
42
问题
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中不存在错误,只有【 】才有可能证明程序的正确性。
选项
答案
程序正确性证明
解析
转载请注明原文地址:https://kaotiyun.com/show/kRsp777K
本试题收录于:
二级VF题库NCRE全国计算机二级分类
0
二级VF
NCRE全国计算机二级
相关试题推荐
(1)建立项目文件myp。(2)在项目中建立数据库myd。(3)把考生文件夹中的表单my的“关闭”按钮标题修改为“查看”。(4)将my表单添加到项目中。
在没有打开索引的情况下,以下各组中的两条命令,执行结果相同的是
针对表“库存量.dbf”,设计可添加和浏览记录的表单,如图5-17所示:表单无标题栏:显示第一条记录时,“上一条”按钮不可用;显示末条记录时,则“下一条”按钮不可用。利用“添加记录”按钮可追加新记录。
数据的物理结构在计算机存储空间中的存放形式称为数据的【】。
数据的存储结构是指()。
下面叙述正确的是______。
单个用户使用的数据视图的描述称为
对考生文件夹下的“学生住宿”管理数据库设计一个表单myf,表单标题为“宿舍查询”,表单中有3个文本框和2个命令按钮“查询”和“关闭”。运行表单时,在第一个文本框里输入某学生的学号(S1—S9),单击查询按钮,则在第二个文本框内会显示该学生的“姓名
将代数式转换成程序设计中的表达式为【】。
下列叙述中正确的是______。
随机试题
我国的群体饮食活动,主要有以下几个方面:________、________、________、________、________和________。
患者,女,78岁,高血压30余年。测BP200/95mmHg。服用降压药物后2h,起立时摔倒,伴头晕,平卧5min后症状好转。无语言及肢体活动障碍。该患者不适合应用的降压药为
患者,女性,28岁,头晕、心悸、齿龈出血、月经量过多半年余,曾在当地服止血药治疗未愈。近一周因呼吸道感染伴发热、齿龈出血加重来门诊检查,诊为慢性再生障碍性贫血。患者目前治疗采用丙酸睾酮,关于该药物的下列描述中不正确的是
下列情形中,法院可以判决驳回原告或上诉人诉讼请求的有:()
宪法是国家根本法,具有最高法律效力。下列有关宪法法律效力的哪一项表述是正确的?()
Partnering协议是在( )由建设工程参与各方经过讨论协商后签署。
下列关于全国银行间债券市场回购业务的描述,错误的是()
国家重点扶持的某高新技术企业2012年度生产经营业务收入1500万元,转让技术所有权所得360万元,国债利息收入60万元;成本费用合计1000万元,其中广告费180万元、业务宣传费60万元;“营业外支出”账户中列支被没收财产损失20万元,通过公益性社会团体
项目论证一般分为机会研究、初步可行性研究和详细可行性研究三个阶段。以下叙述中______是正确的。A.机会研究的内容为项目是否有生命力,能否赢利B.详细可行性研究是要寻求投资机会,鉴别投资方向C.初步可行性研究阶段在多方案比较的基础上选择出最优方案
Inrecentyears,lotsofbigeconomieshavefollowedAmerica’sleadintighteninganti-briberyenforcement.Itisrightthatbri
最新回复
(
0
)