首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有【 】才可能证明程序的正确性。
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有【 】才可能证明程序的正确性。
admin
2010-04-19
44
问题
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有【 】才可能证明程序的正确性。
选项
答案
程序正确性证明
解析
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有程序正确性证明才可能证明程序的正确。程序的正确性说明是用数学的方法来证明程序正确性的方法。
转载请注明原文地址:https://kaotiyun.com/show/X95Z777K
本试题收录于:
三级信息管理技术题库NCRE全国计算机三级分类
0
三级信息管理技术
NCRE全国计算机三级
相关试题推荐
对于如下C语言程序void*th_If(void*arg){printf("HelloWorld");pthread_exit(0);}intmain(void){pthread_ttid;int
数据传输速率为3.5*1012bps,它可以记为()。
关于即时通信系统的描述中,正确的是()。
POP3邮件传递过程可以分为3个阶段,它们是()。
对于交互式系统,其调度算法的设计目标是()。
测试与设置指令(Test&Set)是解决互斥访问临界区的硬件方法。下列关于该指令功能的叙述中,哪些是正确的?()
软件开发方法学的目的是要克服软件手工生产,使软件开发能进人工程化和【】的环境。
在软件生命周期的各阶段会产生一系列的文件,如手册、数据和程序,它们总称为【】。
JamesMartin的信息工程学提出了一种企业数据处理系统建设的模式,其中包括很多模块 Ⅰ.企业模型的建立 Ⅱ.特定主题数据库的详细的数据模型设计 Ⅲ.过程化语言的使用 Ⅳ.信息资源的战略规划 以上哪些是最低层的两个模块?
随机试题
关于肝癌的临床表现,下列哪项不正确
女,50岁,牙龈红肿,有一1cm大小的疱,色灰白,无周缘扩展现象。镜下可见及地层下疱,基底细胞变性,上皮全层剥脱,胶原纤维水肿,有大量淋巴细胞浸润。免疫病理显示,上皮基底膜区域有免疫球蛋白及补体沉积,抗基底膜抗体阳性。病理诊断为
下列注射方式中,可克服血脑屏障作用使药物向脑内分布的是()。
有甲、乙两宗房地产,甲房地产的收益期限为40年,单价为4000元/m2,乙房地产的收益期限为50年,单价为4200元/m2。假设报酬率均为8%,则甲、乙两宗房地产价格的高低关系是()。
砌体结构房屋中,钢筋混凝土梁端下的墙上,有时设置垫块,其目的是()
看跌期权的买方对标的金融资产具有()的权利。
2016年10月15日,某村集体经济组织以10%的年利率从银行贷款80万元。2017年1月1日,用这项贷款金额购入一批幼牛,当年发生饲养费用36万元。2017年4月15日,该村集体经济组织把该项银行贷款本息一次还清。2018年1月1日,幼牛成龄转为役牛,预
下列有关前任注册会计师与后任注册会计师的沟通的说法中,正确的是()。
有以下程序:#include#ineludemain(){inta=1,b=4,C=2;doublex=10.5,y=4.0,z;z=(a+b)/c+sqrt(y)*1.2/c+x
WhichofthefollowingsentencesisINCORRECT?
最新回复
(
0
)