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

admin2009-01-15 94

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

选项

答案程序正确性

解析

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

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

二级C语言

NCRE全国计算机二级

相关试题推荐

在考生文件夹下有一个工程文件sjt3．vbp，相应的窗体文件为sjt3．frm。其功能是随机产生30个0～1000的整数，放入一个数组中，然后输出其中的最小值。程序运行后，单击命令按钮(名称为Command1，标题为“输出最小值”)，即可求出其最小值，并在
在窗体上画一个名称为Text1的文本框，并编写如下程序：OptionBase1PrivateSubFormClick()DimarrDimStartAsInteger，FinishAsIntege
在考生文件夹下有一个工程文件sjt4．vbp，请在窗体上画两个文本框，其名称分别为Textl、Text2，文本框内容分别设置为”计算机”、”等级考试”。然后画一个标签，其名称为Labl，高度为375，宽度为2000。再画两个单选按钮，名称分别为Opl和Op
在标准模块中，将a定义为全局整型变量的语句是
语句Dima(-3To4，3To6)AsInteger定义的数组的元素个数是
负责数据库中查询操作的数据库语言是(　　)。
设在工程中有一个标准模块，并定义了如下类型：TypeStutypeinoAsIntegerstrnameAsString*20strsexAsString*2smarkAsSingleEndType在窗体上画一个名为Com
设窗体上有一个标签Label1和一个计时器Timer1，Timer1的Interval属性被设置为1000，Enabled属性被设置为True。要求程序运行时每秒在标签中显示一次系统当前时间。以下可以实现上述要求的事件过程是(　　)。
软件按功能可以分为：应用软件、系统软件和支撑软件(或工具软件)。下面属于应用软件的是(　　)。
下列各排序法中，最坏情况下的时间复杂度最低的是()。

随机试题

超声检查肠系膜上动脉时可遇到棱镜伪像。以下可能出现棱镜伪像的检查断面是
A．臭血水样便B．蛋花汤样便C．米汤样便D．果酱样便E．绿色水样便
某工程由5个施工过程组成，分成三个施工段组织固定节拍流水施工。在不考虑提前插入时间的情况下，要求流水施工工期不超过42天，则流水节拍的最大值为()天。
《建设工程监理规范》中监理单位用表，由总监理工程师签发的是(　　)。
纳税人税务登记内容发生变化的，应当向()申报办理变更税务登记。
小何是儿童福利院的一名社会工作者，主要的服务对象是残疾儿童。他经常带领这些儿童走进各个社区，为社区居民表演各种节目，深受居民们的喜爱。小何的做法说明社会工作者的价值观是()
标准九分是一种标准分数系统，其量表是个9级的分数量表。它是以（）为平均数，以（）为标准差的一个量表。
下列成语与佛教有关的是：
ThefirstnavigationallightsintheNewWorldwereprobablylighthouseshungatharborentrances.Thefirstlighthousewasput
WhenLaurieAronsonwasover35,shedidnotfeelworriedbecauseshewasunwillingtogetmarried.Nowadays,demographicforec

最新回复(0)

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

二级C语言

NCRE全国计算机二级

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

在标准模块中，将a定义为全局整型变量的语句是

语句Dima(-3To4，3To6)AsInteger定义的数组的元素个数是

负责数据库中查询操作的数据库语言是( )。

设在工程中有一个标准模块，并定义了如下类型：TypeStutypeinoAsIntegerstrnameAsString*20strsexAsString*2smarkAsSingleEndType在窗体上画一个名为Com

设窗体上有一个标签Label1和一个计时器Timer1，Timer1的Interval属性被设置为1000，Enabled属性被设置为True。要求程序运行时每秒在标签中显示一次系统当前时间。以下可以实现上述要求的事件过程是( )。

软件按功能可以分为：应用软件、系统软件和支撑软件(或工具软件)。下面属于应用软件的是( )。

下列各排序法中，最坏情况下的时间复杂度最低的是()。

超声检查肠系膜上动脉时可遇到棱镜伪像。以下可能出现棱镜伪像的检查断面是

A．臭血水样便B．蛋花汤样便C．米汤样便D．果酱样便E．绿色水样便

某工程由5个施工过程组成，分成三个施工段组织固定节拍流水施工。在不考虑提前插入时间的情况下，要求流水施工工期不超过42天，则流水节拍的最大值为()天。

《建设工程监理规范》中监理单位用表，由总监理工程师签发的是( )。

纳税人税务登记内容发生变化的，应当向()申报办理变更税务登记。

小何是儿童福利院的一名社会工作者，主要的服务对象是残疾儿童。他经常带领这些儿童走进各个社区，为社区居民表演各种节目，深受居民们的喜爱。小何的做法说明社会工作者的价值观是()

标准九分是一种标准分数系统，其量表是个9级的分数量表。它是以（）为平均数，以（）为标准差的一个量表。

下列成语与佛教有关的是：

ThefirstnavigationallightsintheNewWorldwereprobablylighthouseshungatharborentrances.Thefirstlighthousewasput

WhenLaurieAronsonwasover35,shedidnotfeelworriedbecauseshewasunwillingtogetmarried.Nowadays,demographicforec

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

负责数据库中查询操作的数据库语言是(　　)。

设在工程中有一个标准模块，并定义了如下类型：TypeStutypeinoAsIntegerstrnameAsString20strsexAsString2smarkAsSingleEndType在窗体上画一个名为Com

设窗体上有一个标签Label1和一个计时器Timer1，Timer1的Interval属性被设置为1000，Enabled属性被设置为True。要求程序运行时每秒在标签中显示一次系统当前时间。以下可以实现上述要求的事件过程是(　　)。

软件按功能可以分为：应用软件、系统软件和支撑软件(或工具软件)。下面属于应用软件的是(　　)。

《建设工程监理规范》中监理单位用表，由总监理工程师签发的是(　　)。