首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有【 】才可能证明程序的正确性。
在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有【 】才可能证明程序的正确性。
admin
2010-04-19
52
问题
在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有【 】才可能证明程序的正确性。
选项
答案
程序正确性证明
解析
在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有程序正确性证明才可能证明程序的正确。程序的正确性说明是用数学的方法来证明程序正确性的方法。
转载请注明原文地址:https://kaotiyun.com/show/X95Z777K
本试题收录于：
三级信息管理技术题库NCRE全国计算机三级分类
0
三级信息管理技术
NCRE全国计算机三级
相关试题推荐
关于Internet域名系统的描述中，错误的是()。
关于数据报交换方式的描述中，正确的是()。
在采用首次适应算法的可变分区内存管理方案中，内存大小为1024MB，其中操作系统占用128MB。若按下表所列时刻进行调度，当时刻7完成后，系统中剩余的最大空闲分区是()。
关于可信计算机系统评估准则的描述中，正确的是()。
用磁带作为文件存储介质时，最适合的文件物理结构为()。
关于OSI参考模型各层功能的描述中，错误的是()。
有如下C语言程序void*th_f(void*arg){printf("HelloWorld")；pthread_join(2)；}intmain(void){pthread_
对于如下C语言程序intmain(){printf("HelloWorld＼n")；fork()；fork()；printf("HelloWorld＼n")；}在UNIX操作系统中正确编
在下图所示的UNIX树形文件目录结构中，方框代表目录，椭圆代表文件，根目录root常驻内存，其他文件和目录均在磁盘中存放。其中，用户Li和Sun是同组用户，他们的目录分别为Li和Sun，其目录及其他的子目录和文件的属性如下表所示。下列操作中，哪些是错误
关于办公信息处理的描述中，正确的是
随机试题
我国低压供电电压单相为220V，三相线电压为380V，此数值指交流电压的()。
关于新型隐球菌错误的是
关于表皮痣的概述，下列说法错误的是
A．收缩压升高B．收缩压降低C．舒张压降低D．舒张压升高E．收缩压、舒张压不变每搏输出量和外周阻力不变而心率加快时，则动脉血压的主要变化是
机电工程项目部对下列()计量器具不得流入工作岗位。
企业当月增加的固定资产和当月减少的固定资产，当月均应计提折旧。()
K公司是一家有6年发展历史的软件开发公司，在行业中具有较高知名度。公司设有研发部、行政与人力资源部、财务部等部门，形成了强调革新与冒险的组织文化，不断有新产品问世。K公司一直重视员工的培训与开发工作，同时不拘一格选拔人才，只要是具有发展潜质的员工，就委以重
原始社会没有警察()。
根据以下资料，回答下列问题。2008年全年：居民消费价格总水平上涨5．6％，其中食品类上涨13．2％；工业品出厂价格上涨3．1％，其中生产资料上涨3．7％，生活资料上涨2．0％；原材料、燃料、动力购进价格上涨7．9％，其中燃料、动力类上涨15．1
你如何组织制订建设社会主义新农村研讨会工作方案？
最新回复
(
0
)
