首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有【 】才可能证明程序的正确性。
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有【 】才可能证明程序的正确性。
admin
2010-04-19
49
问题
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有【 】才可能证明程序的正确性。
选项
答案
程序正确性证明
解析
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有程序正确性证明才可能证明程序的正确。程序的正确性说明是用数学的方法来证明程序正确性的方法。
转载请注明原文地址:https://kaotiyun.com/show/X95Z777K
本试题收录于:
三级信息管理技术题库NCRE全国计算机三级分类
0
三级信息管理技术
NCRE全国计算机三级
相关试题推荐
操作系统中,把逻辑地址转换成绝对地址的工作称为()。
对于如下C语言程序void*th_If(void*arg){printf("HelloWorld");pthread_exit(0);}intmain(void){pthread_ttid;int
在使用RIP协议的互联网中,路由器Ri的路由表如表1所示。如果它收到其相邻路由器Ri广播的路由信息(如表2所示),那么到达以下哪些目的网络的表项将出现在更新后的路由表中?()
在采用页式存储管理方案的系统中,为了提高内存利用率并减少内碎片,页面的划分()。
下列各种存储管理方案中,可“扩充”内存容量的方案是()。
甲总是怀疑乙发给他的信在传输过程中遭人篡改,为了消除甲的怀疑,一般采用的技术是()。
解决死锁的方法有多种,通过“资源有序分配法”来解决死锁问题的方法称为()。
在多道程序设计系统中,下列能并行工作的是()。
信息系统设计是系统开发的重要阶段,而进行系统设计的主要依据应是
办公自动化软件环境由什么组成的?
随机试题
FIDIC向国际工程界提供的完整的标准合同体系,不包括()。
光缆单盘检验中,不需要使用OTDR进行测试的项目是()。
路基边桩放样的常用方法有()。
回国服务留学人员赵某于2015年2月10日用现汇购买了一辆个人自用国产小汽车。2017年3月,赵某将该车转让给宋某,转让价为138000元,并于3月10日办理了车辆过户手续。已知该小汽车初次办理纳税申报时确定的计税价格为180000元。宋某应纳车辆购置税
雀巢咖啡已是被大家所熟知的品牌,最新推出的“活出敢性之敢爱篇”广告引起了大家的共鸣。“为了爱情,常常伪装”,第一次去女友家的男生,心情非常忐忑,对女友父母说“我有车,有房”,这时,女友帮他倒了一杯咖啡,说“原味最好”,男生坦白“车是自行车,房是租的,但我很
新课程强调,教师是学生学习的()。
TheAmericandreamisthatanychildcanmakeitfromthebottomtothetop.Thatmaystillbetrueinpolitics;thesonofaKe
为了隐藏在文本框中输入的信息,用占位符代替显示用户输入的字符,需要设置的属性是(
Thetwoelementsofsuccessthatareintimatelyconnectedarecreativityandinnovation.
Whatwasthemantellinghisfriend?Hewastellinghisfriend______ofhiscontentedmarriage.Whatcanweinferfromthest
最新回复
(
0
)