首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中不存在错误,只有【 】证明才有可能证明程序的正确性。
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中不存在错误,只有【 】证明才有可能证明程序的正确性。
admin
2009-01-15
76
问题
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中不存在错误,只有【 】证明才有可能证明程序的正确性。
选项
答案
程序正确性
解析
转载请注明原文地址:https://kaotiyun.com/show/w2Xp777K
本试题收录于:
二级C语言题库NCRE全国计算机二级分类
0
二级C语言
NCRE全国计算机二级
相关试题推荐
深度为7的二叉树共有127个结点,则下列说法中错误的是
(1)在考生文件夹下有一个工程文件sit3.vbp,相应的窗体文件为sjt3.frm,包含了所有控件和部分程序,如图3—109所示。要求如下:①利用属性窗口向列表框添加四个项目:VisualBasic、TurboC、C++、Java。②请编写适当的
设a=”a”,b=”b”,c="c",d="d",执行语句x=IIf((ad),”A”,”B”)后,x的值为
在考生文件夹下有一个数据库文件“samp2.accdb”,里面已经设计好了3个关联表对象,名为“tStud”、“tCourse”、“tScore”、一个空表(名为“tTemp”)和一个窗体对象(名为“fTemp”)。请按以下要求完成设计。(1)创
下面不能作为结构化方法软件需求分析工具的是
以下关系表达式中,其值为True的是()。
设a=10,b=4,c=5,d=7,表达式a>bAndNotc
对于长度为n的线性表,在最坏情况下,下列各排序法所对应的比较次数中正确的是()。
在窗体上画一个文本框(名称为Text1)和一个标签(名称为Label1),程序运行后,在文本框中每输入一个字符,都会立即在标签中显示文本框中字符的个数。以下可以实现上述操作的事件过程是( )。
软件需求规格说明书的作用不包括
随机试题
机电产品外观质量验收时,对绞线、缆线质量有什么要求?
决定蛋白质分子空间构象特征的主要因素是
女性,28岁。腹胀、腹痛2个月,近1个月来出现便秘,伴发热、乏力及盗汗。查体:右下腹轻压痛,移动性浊音(+)。腹水化验为渗出性改变,PPD强阳性。最有可能的诊断是
患者,女,27岁,3年前产1子,产后大出血,无乳汁,闭经,性欲减退,1周前因着凉后出现高热、恶心、呕吐,神志不清,休克,化验血糖为2.7mmol/L。该患者需要的治疗是
A.一级召回B.二级召回C.三级召回D.四级召回E.五级召回根据《药品召回管理办法》药品生产企业在实施召回过程中,应每3日向所在地省级药品监督管理部门报告药品召回进展情况的是
关于减压阀验收,下列说法不正确的是()。
批复一般属于()。
ABC.DBF是一个具有两个备注型字段的数据库文件,使用COPYTOPSQ命令进复制操作时,结果将()。
软件文档是软件工程实施中的重要部分,它不仅是软件开发各阶段的重要依据,而且影响软件的______。
TheLibraryofCongressisAmerica’snationallibrary.Ithasmillionsofbooksandotherobjects.Ithasnewspapers,popularpu
最新回复
(
0
)