首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有【 】才可能证明程序的正确性。
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有【 】才可能证明程序的正确性。
admin
2010-04-19
22
问题
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有【 】才可能证明程序的正确性。
选项
答案
程序正确性证明
解析
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有程序正确性证明才可能证明程序的正确。程序的正确性说明是用数学的方法来证明程序正确性的方法。
转载请注明原文地址:https://jikaoti.com/ti/KHc7FFFM
本试题收录于:
三级信息管理技术题库NCRE全国计算机三级分类
0
三级信息管理技术
NCRE全国计算机三级
相关试题推荐
在UNIX系统中,若文件File3的权限是414,则表示()。
下列哪一种结构属于文件的逻辑结构?()
某计算机系统中共有3个进程P1、P2和P3,4类资源r1、r2、r3和r4。其中r1和r3每类资源只有1个实例,r2资源有2个实例,r4有3个实例。当前的资源分配状态如下:E={,,,,,}若进程P3申请一个rl类资源,则系
P2P网络的主要结构类型分为集中式、分布式非结构化、分布式结构化和()。
在一个采用三级索引结构的UNIX文件系统中,假设物理块大小为512B,用16位表示一个物理块号。主索引表含有13个块地址指针,其中前10个直接指向盘块号,第11个指向一级索引表,第12个指向二级索引表,第13个指向三级索引表,那么,一个文件最大可有多少块?
有如下C语言程序void*th_f(void*arg){printf("HelloWorld");pthread_join(2);}intmain(void){pthread_
对于交互式系统,其调度算法的设计目标是()。
进程的状态有多种,下列哪些状态可用于描述进程生命周期内所处的状态?()
对于实时系统,其调度算法的设计目标是()。
在电子邮件系统中使用Base64编码的主要目的是()。
随机试题
若已定义:inta[9],*p=a;并在以后的语句中未改变P的值,不能表示a[1]地址的表达式是()
[*]
羊水栓塞的抢救原则不包括
斑色鲜红,舌红,口渴,便秘应属于斑块下肢较多,舌红少津,手足心热,低热盗汗应属于
方案创造是从提高对象的功能价值出发,在正确的功能分析和评价的基础上,针对应改进的具体目标,通过创造性的思维活动,提出能够可靠地实现必要功能的新方案。常用的方法有()。
行政机关根据公民、法人或者其他组织的申请,经依法审查,准予其从事特定活动的行政管理行为是()。
某省制定的规章与上位法相抵触,有权撤销这一规章的主体有()。
布鲁纳认为学习的实质是形成
[2004年]设A,B为随机事件且P(A)=1/4,P(B|A)=1/3,P(A|B)=1/2.令求X与Y的相关系数ρXY.
Themotheralmost______whenshelearnedthathersonwasshotdead.
最新回复
(
0
)