首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中不存在错误,只有【 】才有可能证明程序的正确性。
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中不存在错误,只有【 】才有可能证明程序的正确性。
admin
2013-02-01
92
问题
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中不存在错误,只有【 】才有可能证明程序的正确性。
选项
答案
程序正确性证明
解析
转载请注明原文地址:https://kaotiyun.com/show/kRsp777K
本试题收录于:
二级VF题库NCRE全国计算机二级分类
0
二级VF
NCRE全国计算机二级
相关试题推荐
关系数据库管理系统应能实现的专门的关系运算包括
SQL语句中,______命令短语的功能是修改表中的记录。
非空的循环单链表head的尾结点(由p所指向),满足
在VisualFoxPro中,报表是由两个基本部分组成的,包括 【】 和 【】 。
设S,SC分别为学生关系和选课关系,现要查询选修C2课程,且成绩为B以上(含B)的学生及成绩,相应的SQL语句是:SELECTS.*,SC.GFROMS,SCWHERES.S#=SC.S#ANDSC.C#:=’C2,AND
修改表单的______属性值,可以修改表单的背景颜色。
软件工程的出现是由于
项目管理器中的“文本文件”组件包含在______选项卡中。
下列说法中,错误的是
2.在数据结构中,用一组地址连续的存储单元一次存储数据元素的方式是【】结构。
随机试题
总的来说,()沉积物较粗,粒径和构造在垂直和水平方向上变化迅速。
简述教师的能力结构。
下列哪种肿瘤是恶性肿瘤?
治疗破伤风时注射破伤风抗毒素的作用是()
按投机者每笔交易的持仓时间,投机者可分为()。
在签订合同时,借款人、保证人为()的,应当面核实签约人身份证明之后由签约人当场签字;贷款人委托第三方办理的,应对抵押物登记情况予以核实。
沟通对于一个项目的成功有非常重要的作用。沟通按照载体等不同的方法可以分为不同的种类,而且不同的方式有不同的作用。通过沟通,可以从其他人那里得到更多的信息,可以了解不同层次、不同角度的想法和建议,为项目领导思考问题和做出决策提供更多的参考和依据,为各级主管制
按国家职能分类,下列选项中属于经济建设支出的公共支出是()。
Heranasfastashecould,(hope)______tocatchthe8:15train.
You’refiveminuteslate.Isuggestthat______________________(你不应该这样不顾后果).
最新回复
(
0
)