首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有【 】才可能证明程序的正确性。
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有【 】才可能证明程序的正确性。
admin
2010-04-19
41
问题
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有【 】才可能证明程序的正确性。
选项
答案
程序正确性证明
解析
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有程序正确性证明才可能证明程序的正确。程序的正确性说明是用数学的方法来证明程序正确性的方法。
转载请注明原文地址:https://kaotiyun.com/show/X95Z777K
本试题收录于:
三级信息管理技术题库NCRE全国计算机三级分类
0
三级信息管理技术
NCRE全国计算机三级
相关试题推荐
在实现文件系统时,可采用“目录项分解法”加快文件目录检索速度。假设目录文件存放在磁盘上,每个盘块1024字节。文件控制块有64字节,其中文件名占8字节,文件控制块分解后,第一部分占有10字节(包括文件名和文件内部号),第二部分56字节(包括文件内部号和
假设某计算机系统的内存大小为256K,在某一时刻内存的使用情况如下表所示。此时,若进程顺序请求20K、10K和30K的存储空间,系统采用某种算法为进程分配内存,分配后的内存情况如下表所示。那么,系统采用的是什么分配算法?()
关于可信计算机系统评估准则的描述中,正确的是()。
下列关于虚拟页式存储管理方案的叙述中,哪一个是错误的?()
有如下C语言程序void*th_f(void*:arg){printf("HelloWorld");pthread_yield(0);}intmain(void){pthread_
在民航网络订票系统中,相同航班订票人发起的订票进程其相互之间的关系是()。
以下列出了IM系统与其开发公司的对应关系,正确的是()。
SMTP邮件传递过程可以分为3个阶段,它们是()。
在结构化方法的软件需求定义中,可采用分析工具来辅助完成。下列工具中,哪些是常用的工具? Ⅰ.数据流图 Ⅱ.结构图 Ⅲ.数据字典 Ⅳ.判定表
在组装软件模块时需要进行【】测试。
随机试题
肾上腺皮质激素治疗重症肌无力最应注意:()
患儿女,4岁,生后即发现心脏有杂音,曾患肺炎3次,剧烈活动后气促,有时出现青紫,查体:生长发育落后,胸骨左缘3~4肋间闻及Ⅳ级粗糙吹风样杂音,对患儿家长进行健康教育时,错误的是
在生态环境脆弱的地区和重要生态功能保护区实行()开发,在坚持保护优先的前提下,合理选择发展方向,发展特色优势产业,确保生态功能的恢复与保育,逐步恢复生态平衡.
下列涵洞施工要点正确的有()。
下列属于施工中材料费的控制措施的是()。
按账户的不同分类标准,“生产成本”账户既属于成本类账户,又属于成本计算类账户。()
在中国境内的外商投资企业,会计记录使用的文字符合规定的是()。
下列要素中的价格由市场供求决定的是( )。
拜占庭帝国长期延续的原因。
Theircalculationswouldhavebeenmoreaccurate______(如果当时有电脑的话).
最新回复
(
0
)