首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有:【 】才可能证明程序的正确性。
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有:【 】才可能证明程序的正确性。
admin
2013-03-16
79
问题
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有:【 】才可能证明程序的正确性。
选项
答案
程序正确性证明
解析
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有程序正确性证明才可能证明程序的正确。程序的正确性说明是用数学的方法来证明程序正确性的方法。
转载请注明原文地址:https://kaotiyun.com/show/gQuZ777K
本试题收录于:
三级信息管理技术题库NCRE全国计算机三级分类
0
三级信息管理技术
NCRE全国计算机三级
相关试题推荐
原型化法提供了一个完整的、灵活的、近于动态的需求定义技术,下列()不是它的特征。
信息资源的开发主要包括()的开发。
在通常情况下,下面的关系中,不可以作为关系数据库的关系是()。
结构化分析方法中往往采用:______、判定表和判定树来表来描述加工说明。
加密和解密算法的操作都是在一组密钥控制下完成的,它们分别称为______。
计算机硬件有诸多技术指标,以下Ⅰ.字长Ⅱ.运算速度Ⅲ.存储容量Ⅳ.CPU主频各项指标中()是计算机硬件的主要技术指标。
数据流图描述数据在软件中流动和被处理交换的过程,它是以图示的方法来表示()。
管理信息系统中,把同一管理层次上的若干相关职能综合起来形成的结构叫做()。
程序测试是一项复杂的工作,一般测试者在进行测试时都需要设计()。
原型化方法在实施时必须强调______,否则就失去了原型本来的价值,原型化方法的优点也就丧失殆尽。
随机试题
FamilySociologyA)Thestructureofthefamilyandtheneedsthatthefamilyfulfillsvaryfromsocietytosociety.Thenu
对于“最密切联系原则”,正确的说法有()
鲁迅小说《风波》的线索是( )
下列物质中属于含氮类激素的是
深圳证券账户T日开立,()日即可用于交易。
十周岁以上十八周岁以下的未成年人根据《民法通则》对自然人的分类标准应属于()。
()有时即使存在利益矛盾,冲突也不会发生。
从19世纪60年代到90年代,洋务派举办的洋务事业主要有()
将一枚硬币重复掷n次,以X和Y分别表示正面向上和反面向上的次数,则X和Y的相关系数等于
二层以太网交换机联网范围主要受制于______。
最新回复
(
0
)