首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有【 】才可能证明程序的正确性。
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有【 】才可能证明程序的正确性。
admin
2010-04-19
42
问题
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有【 】才可能证明程序的正确性。
选项
答案
程序正确性证明
解析
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有程序正确性证明才可能证明程序的正确。程序的正确性说明是用数学的方法来证明程序正确性的方法。
转载请注明原文地址:https://kaotiyun.com/show/X95Z777K
本试题收录于:
三级信息管理技术题库NCRE全国计算机三级分类
0
三级信息管理技术
NCRE全国计算机三级
相关试题推荐
对于运行批处理作业的大型计算中心,其调度算法的设计目标是()。
系统引入一个不同于CPU的特殊功能处理单元,它有自己的指令和程序,可以实现对外围设备的统一管理和外围设备与内存之间的数据传送,该I/O设备控制方式称为()。
在实现文件系统时,可采用“目录项分解法”加快文件目录检索速度。假设目录文件存放在磁盘上,每个盘块.512字节。文件控制块有64字节,其中文件名占8字节,文件控制块分解后,第一部分占有10字节(包括文件名和文件内部号),第二部分占56字节(包括文件内部号和文
在TCP/IP参考模型中,路由选择功能实现在()。
为了保证操作系统中文件的安全,可以采用的方法是()。
某计算机系统中,并发进程间由于存在着相互制约关系会产生若干问题,这些问题是()。
对于如下C语言程序intmain(){printf("HelloWoAd\n");fork();printf("HelloWoAd\n");fork();printf("HelloWoAd\n");}
以下列出了IM系统与其开发公司的对应关系,正确的是()。
在电子邮件系统中使用Base64编码的主要目的是()。
管理信息系统(MIS),办公自动化系统(OAS),决策支持系统(DSS)的驱动模式不尽相同,而DSS的驱动模式是______。
随机试题
下表给出了四种状况下,“成熟股”和“成长股”两项资产相应可能的收益率和发生的概率,假设对两种股票的投资额相同。若两种股票收益率之间的相关系数为0.89。要求:计算两种股票的期望收益率。
为降低静态图像的统计噪声,可以使用的方法是
某企业本月应付职工薪酬总额为462000元,工资费用分配表中列示的产品生产人员工资为320000元,车间管理人员工资为70000元,企业行政管理人员工资为60400元,医务人员工资为11600元。作出分配职工薪酬的会计分录。
企业的现金清查小组应当在出纳人员不在场的情况下企业库存现金进行定期或不定期清查。()
OK票是指已订妥日期、航班和机座的机票,而OPEN票则是不定期机票,旅客乘机前须持机票和有效证件去民航办理订座手续。()
《行政处罚法》规定,未满14周岁的人违反行政法律规范将()。
“一二.九”运动提出的口号有( )。①反对华北自治 ②拒绝和约签字 ③打倒日本帝国主义 ④停止内战,一致对外
软件用户的调查显示,通常一个软件会有1000个用户采用,如果一个软件每天被下载安装的次数达到55次,这个软件的流行度会急速上升,最多时有1200万个用户采用,大量用户几乎是完全根据其他用户的行为来选择安装这个软件,而很少关注其本身的内在特点。根据以上描述可
在最近一段时间内,红星电子在市内的各个连锁店中都只出售熊猫、蓝月、佳虹三种品牌的数码相机。在2011年,熊猫、蓝月、佳虹三种品牌的数码相机在该地区的市场占有率分别为20%、35%、45%。到2012年,三个品牌的市场占有率变成了熊猫第一、蓝月第二、佳虹第三
西欧中世纪后期产生的城市学校是一种()学校。
最新回复
(
0
)