在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中不存在错误，只有【】证明才有可能证明程序的正确性。

admin2009-01-15 80

问题在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中不存在错误，只有【】证明才有可能证明程序的正确性。

选项

答案程序正确性

解析

转载请注明原文地址:https://kaotiyun.com/show/w2Xp777K

本试题收录于：二级C语言题库NCRE全国计算机二级分类

二级C语言

NCRE全国计算机二级

相关试题推荐

窗体上有一个名称为Commandl的命令按钮，一个名称为Textl的文本框，其Text属性值为“VBProgramming”。运行程序后，选中其中的“VB”，并执行如下事件过程：PrivateSubCommandl_Click()
在窗体上画一个名称为Text1的文本框，并编写如下程序：OptionBase1PrivateSubFormClick()DimarrDimStartAsInteger，FinishAsIntege
下面不能作为结构化方法软件需求分析工具的是
(1)在考生文件夹下有一个工程文件sjt3．vbp。程序运行后，单击“读入数据”按钮，可把考生文件夹下in3．txt文件中的所有英文单词读入，并显示在Text1文本框中；单击“插入列表框”按钮，则按顺序把每个单词作为一项添加到List1列表框中(
设有如下程序：PrivateSubInv(ByValxStrAsString,yStrAsString)DimtStrAsStringDimLAsIntegerL=Len(xStr)DoWhileL＞=1tStr=
在考生文件夹下有一个工程文件sjt4．vbp，窗体中有一个矩形和一个圆，程序运行时，单击“开始”按钮，圆可以纵向或横向运动(通过选择单选按钮来决定)，碰到矩形的边时，则向相反方向运动，单击“停止”按钮，则停止运动，如图3-156所示。可以选择单选按钮随时改
满足下列条件之一的年份是闰年：1)年份能被4整除但不能被100整除2)年份能被400整除若y代表年份，下面判断闰年的正确表达式是(　)。
检查软件产品是否符合需求定义的过程称为()。
优化数据库系统查询性能的索引设计属于数据库设计的
索引属于______。

随机试题

A．精子细胞B．精母细胞C．次级精母细胞D．肌样细胞不再进行分裂只进行变态的是()
有以下程序#include＜stdio.h＞main(){inti=1,k=0;for(;i＜6;){switch(i%3)
以下不属于20世纪90年代以来管理理论新发展的成果的是()
当保险合同中记载的内容不一致时，下列说法正确的是：()
背景资料：某高速公路N合同段路基工程施工，工期18个月，其中K23+200～K32+200路段以填方为主，合同段附近地表土主要是高液限黏土(液限值在38～49之间)，在较远地带分布有膨胀土、沼泽土、盐渍土、有机土、粉土、砂型土等。出于控制造价的考
《会计法》规定，()对本单位会计工作和会计资料的真实性、完整性负责。
根据物权法理论，下列各项中，属于准物权的是()。(2008年。经调整)
2013年全国城镇居民人均可支配收人同比增长约为()。
窗体中有文本框Text1。运行程序，输入大于0的整数m，单击按钮Command1，程序显示由星号组成的高度和边长均为m的平行四边形。例如，当m=5时，显示图形如下。************
某学校初中二年级五班的物理老师要求学生两人一组制作一份物理课件。小曾与小张自愿组合，他们制作完成的第一章后三节内容见文档“第3-5节．pptx”，前两节内容存放在文本文件“第1-2节．pptx”中。小张需要按下列要求完成课件的整合制作：在第6张幻灯片

最新回复(0)

在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中不存在错误，只有【 】证明才有可能证明程序的正确性。

二级C语言

NCRE全国计算机二级

窗体上有一个名称为Commandl的命令按钮，一个名称为Textl的文本框，其Text属性值为“VBProgramming”。运行程序后，选中其中的“VB”，并执行如下事件过程：PrivateSubCommandl_Click()

在窗体上画一个名称为Text1的文本框，并编写如下程序：OptionBase1PrivateSubFormClick()DimarrDimStartAsInteger，FinishAsIntege

下面不能作为结构化方法软件需求分析工具的是

设有如下程序：PrivateSubInv(ByValxStrAsString,yStrAsString)DimtStrAsStringDimLAsIntegerL=Len(xStr)DoWhileL＞=1tStr=

满足下列条件之一的年份是闰年：1)年份能被4整除但不能被100整除2)年份能被400整除若y代表年份，下面判断闰年的正确表达式是( )。

检查软件产品是否符合需求定义的过程称为()。

优化数据库系统查询性能的索引设计属于数据库设计的

索引属于______。

A．精子细胞B．精母细胞C．次级精母细胞D．肌样细胞不再进行分裂只进行变态的是()

有以下程序#include＜stdio.h＞main(){inti=1,k=0;for(;i＜6;){switch(i%3)

以下不属于20世纪90年代以来管理理论新发展的成果的是()

当保险合同中记载的内容不一致时，下列说法正确的是：()

《会计法》规定，()对本单位会计工作和会计资料的真实性、完整性负责。

根据物权法理论，下列各项中，属于准物权的是()。(2008年。经调整)

2013年全国城镇居民人均可支配收人同比增长约为()。

窗体中有文本框Text1。运行程序，输入大于0的整数m，单击按钮Command1，程序显示由星号组成的高度和边长均为m的平行四边形。例如，当m=5时，显示图形如下。************

在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中不存在错误，只有【】证明才有可能证明程序的正确性。

满足下列条件之一的年份是闰年：1)年份能被4整除但不能被100整除2)年份能被400整除若y代表年份，下面判断闰年的正确表达式是(　)。