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

admin2013-03-16 60

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

选项

答案程序正确性证明

解析在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有程序正确性证明才可能证明程序的正确。程序的正确性说明是用数学的方法来证明程序正确性的方法。

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

本试题收录于：三级信息管理技术题库NCRE全国计算机三级分类

三级信息管理技术

NCRE全国计算机三级

相关试题推荐

有一些规则可循但又不完全确定，能分析但不确切，用常规方法只能解决部分问题的决策是()。
结构化分析与设计方法是一种开发信息系统较为成熟的方法。下列的选项中，()不是该方法的特征。
软件工程的结构化生命周期方法是将软件开发的全过程划分为相互独立而又互相依存的阶段，软件的逻辑模型是形成于()。
已知数据文件IN53.DAT中存有200个4位数，并已调用读函数readDat()把这些数存入数组a中，请编制一函数JsVal()，其功能是：依次从数组a中取出一个4位数，如果该4位数连续大于该4位数以前的5个数且该数是偶数，则统计出满足此条件的数个数cn
读函数readDat()的功能是从文件IN25.DAT中读取20行数据存放到字符串数组xx中(每行字符串长度均小于80)。请编制函数jsSort()，该函数的功能是：以行为单位对字符串按下面给定的条件进行排序，排序后的结果仍按行重新存入字符串数组xx中，
已知在文件IN42.DAT中存有N个实数(N＜200)，函数ReadDat()读取这N个实数并存入数组xx中。请编制程序CalValue()，其功能要求：(1)求出这N个实数的平均值aver。(2)分别求出这N个实数的整数部分值之和sumi
IRM可分为I和Ⅱ两方面。前者是由国家和各级政府来实施的，后者主要由企业等基层机构来实施。这里的前者和后者分别为()。
在“学生-选课-课程”数据库中的三个关系如下：S(S#，SNAME，SEX；AGE)，SC(S#，C#，GRADE)，C(C#，CNAME，TEACHER)。查找选修“数据库技术”这门课程的学生姓名和成绩。使用连接查询的SQL语句是：
判别原型化反复适合于系统的选择条件有多方面，其中有关事件处理或批处理类型判别条件应属于下列哪种条件?

随机试题

制酸制剂合理的服药时间是（）
精神药品的分类依据是
某患牛排尿时，前段尿液颜色深，呈鲜红色，大体可判定损伤的部位是
鸡内金味甘，性平，除治疗小儿疳积外，又可用于()。
供需预测的具体步骤是通过()来预测未来市场容量，分析项目产品可能占有的市场份额。
关于Partnering模式特征的说法，错误的是()。
服务策划的形式有多种，在社会工作领域主要的形式有()。
儿童在泥塑中能搓出各种弯曲的、盘旋的棒状物，还能制作出立方体和圆柱体，并会用棒状物组合的方式制作出一些复杂的物体。这个年龄阶段大概是()。
上世纪30年代，人们开始试用瑞士化学家缪勒发明的滴滴涕。正当人们庆幸自己找到置害虫于死地的高效农药时，害虫的天敌也近乎绝迹了。同时，由于滴滴涕的残毒可以长期累积，已经引起遗祸无穷的世界性公害。上面一段话说明的道理是()。
根据材料回答下列问题

最新回复(0)

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

三级信息管理技术

NCRE全国计算机三级

有一些规则可循但又不完全确定，能分析但不确切，用常规方法只能解决部分问题的决策是()。

结构化分析与设计方法是一种开发信息系统较为成熟的方法。下列的选项中，()不是该方法的特征。

软件工程的结构化生命周期方法是将软件开发的全过程划分为相互独立而又互相依存的阶段，软件的逻辑模型是形成于()。

已知在文件IN42.DAT中存有N个实数(N＜200)，函数ReadDat()读取这N个实数并存入数组xx中。请编制程序CalValue()，其功能要求：(1)求出这N个实数的平均值aver。(2)分别求出这N个实数的整数部分值之和sumi

IRM可分为I和Ⅱ两方面。前者是由国家和各级政府来实施的，后者主要由企业等基层机构来实施。这里的前者和后者分别为()。

在“学生-选课-课程”数据库中的三个关系如下：S(S#，SNAME，SEX；AGE)，SC(S#，C#，GRADE)，C(C#，CNAME，TEACHER)。查找选修“数据库技术”这门课程的学生姓名和成绩。使用连接查询的SQL语句是：

判别原型化反复适合于系统的选择条件有多方面，其中有关事件处理或批处理类型判别条件应属于下列哪种条件?

制酸制剂合理的服药时间是（）

精神药品的分类依据是

某患牛排尿时，前段尿液颜色深，呈鲜红色，大体可判定损伤的部位是

鸡内金味甘，性平，除治疗小儿疳积外，又可用于()。

供需预测的具体步骤是通过()来预测未来市场容量，分析项目产品可能占有的市场份额。

关于Partnering模式特征的说法，错误的是()。

服务策划的形式有多种，在社会工作领域主要的形式有()。

儿童在泥塑中能搓出各种弯曲的、盘旋的棒状物，还能制作出立方体和圆柱体，并会用棒状物组合的方式制作出一些复杂的物体。这个年龄阶段大概是()。

根据材料回答下列问题

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