首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有【 】才可能证明程序的正确性。
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有【 】才可能证明程序的正确性。
admin
2010-04-19
40
问题
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有【 】才可能证明程序的正确性。
选项
答案
程序正确性证明
解析
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有程序正确性证明才可能证明程序的正确。程序的正确性说明是用数学的方法来证明程序正确性的方法。
转载请注明原文地址:https://kaotiyun.com/show/X95Z777K
本试题收录于:
三级信息管理技术题库NCRE全国计算机三级分类
0
三级信息管理技术
NCRE全国计算机三级
相关试题推荐
在实现文件系统时,可采用“目录项分解法”加快文件目录检索速度。假设目录文件存放在磁盘上,每个盘块1024字节。文件控制块有64字节,其中文件名占8字节,文件控制块分解后,第一部分占有10字节(包括文件名和文件内部号),第二部分56字节(包括文件内部号和
虚拟页式存储系统中进行页面置换时,把最先装入内存的一页调出的策略是()。
SPOOLing系统的主要组成部分是()。
在采用页式存储管理方案的系统中,为了提高内存利用率并减少内碎片,页面的划分()。
文件系统中,若将逻辑上连续的文件信息分散存放在若干不连续的磁盘块中,并将所有磁盘块的地址集中存放在一张表中,这种结构称为()。
在虚拟页式系统中,当需要进行页面置换时,选择将驻留在内存中时间最长的一页调出的策略是()。
浏览器是访问Internet的重要工具,利用它可以访问遍布世界的各种Web站点。为了保护自己的计算机免受非安全软件的危害,浏览器通常采用的方法是()。
某信息系统具有安全内核,其安全等级至少是()。
结构化分析和设计方法是在分析阶段建立系统的逻辑模型,而在设计阶段建立系统的【】。
在结构化方法的软件需求定义中,可采用分析工具来辅助完成。下列工具中,哪些是常用的工具? Ⅰ.数据流图 Ⅱ.结构图 Ⅲ.数据字典 Ⅳ.判定表
随机试题
A、糖皮质激素B、红霉素C、青霉素D、X线胸片右肺门增大E、X线胸片呈“哑铃状”原发综合征
A、蛋白电泳B、免疫电泳C、免疫固定电泳D、免疫球蛋白定量E、尿本一周蛋白检测M蛋白的筛选试验为
患者男,39岁,边缘性人格障碍患者,在治疗过程中向医生透露准备杀害自己的某一同事的计划,同时要求医生为他保密,此时,医生怎样做才最合乎医德要求()
A公司能否就此提起行政复议及复议机关和被申请人如何确定?A公司能否直接向法院提起行政赔偿诉讼,为什么?
________thestart-upventureisrisky,Mr.Skinnerisstillwillingtoinvest$2millionofisownmoneyinit.
下列表述符合我国《宪法》规定的有()。
《中华人民共和国民法通则》第63条规定:“公民、法人可以通过代理人实施民事法律行为。代理人在代理权限内,以被代理人的名义实施民事法律行为,被代理人对代理人的代理行为,承担民事责任。依照法律规定或者按照当事人约定,应当由本人实施的民事法律行为,不得代理。”试
WecanlearnfromthebeginningofthetextthatdoctorsinPhiladelphiaBymentioning"double-dipping"(Paragraph4),theauth
下面c++标识符中正确的是()。
A、Hedoesn’tmindthetraffic.B、Hetakesthebustoschool.C、Hehastostandonthebusifhetakesittoschool.D、Hewantst
最新回复
(
0
)