单选题测试的目的是(),而不是对正确性进行形式化证明。A要暴露程序中的bugB要纠正程序中的错误C要暴露程序中的错误D要纠正程序中的bug

单选题
测试的目的是(),而不是对正确性进行形式化证明。
A

要暴露程序中的bug

B

要纠正程序中的错误

C

要暴露程序中的错误

D

要纠正程序中的bug


参考解析

解析: 暂无解析

相关考题:

软件测试的目的是( )。A.证明软件的正确性B.找出软件系统中存在的所有错误C.证明软件系统中存在错误D.尽可能多地发现软件系统中的错误

●软件测试的目的是 (40) 。在进行单元测试时,常用的方法是 (41) 。(40) A.找出软件系统中存在的所有错误B.证明软件系统中存在错误C.尽可能多地发现软件系统中地错误和缺陷D.证明软件地正确性(41) A.采用白盒测试,辅之以黑盒测试B.采用黑盒测试,辅之以白盒测试C.只使用黑盒测试D.只使用白盒测试

算法的正确性,一般不进行形式化的证明,而是用测试来验证。() 此题为判断题(对,错)。

软件测试的目的是(13),在进行单元测试时,常用的方法是(14)。(45)A.证明软件系统中存在错误B.找出软件系统中存在的所有错误C.证明软件的正确性D.尽可能多地发现软件系统中地错误

软件测试的目的是 ______。A.证明软件的正确性B.尽可能多地发现软件系统中的错误C.找出软件系统存在的所有错误D.证明软件系统中存在错误

软件测试是软件开发的重要环节,而进行软件测试的目的是A.证明软件错误不存在B.证明软件错误的存在C.改正程序所有的错误D.发现程序所有的错误

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

软件测试方法可分为3类,它们是动态测试、静态测试和程序正确性证明,真正实施的方法则是( )。A.动态测试和静态测试B.静态测试和程序正确性证明C.动态测试和程序正确性证明D.都不是

是指通常的上机测试,这种方法使程序有控制地进行,并从多种角度观察以发现错误。A.静态测试B.功能测试C.动态测试D.正确性证明

是用来论证被测试的系统满足需求的情况,它的目的是为了证明其充分性和正确性,而不是为了发现问题。A.确认测试B.回归测试C.验收测试D.第三方测试

以下关于程序测试的叙述,正确的是______。A.程序测试的目的是为了证明程序的正确性B.白盒测试也称为功能测试C.黑盒测试也称为结构测试D.程序测试要注意检验程序是否有多余的功能

软件测试的目的是(50)。A.证明软件的正确性B.找出软件系统中存在的所有错误C.证明软件系统中存在错误D.尽可能多的发现软件系统中的错误

软件测试的目的是A)证明软件系统中存在错误B)找出软件系统中存在的所有错误C)尽可能多地发现系统中的错误和缺陷D)证明软件的正确性

以下关于程序测试的叙述,正确的是(55)。A.程序测试的目的是为了证明程序的正确性B.白盒测试也称为功能测试C.黑盒测试也称为结构测试D.程序测试要注意检验程序是否有多余的功能

软件测试的目的是(40)。在进行单元测试时,常用的方法是(41)。A.找出软件系统中存在的所有错误B.证明软件系统中存在错误C.尽可能多地发现软件系统中的错误和缺陷D.证明软件的正确性

● (60) 是用来论证被测试的系统满足需求的情况,它的目的是为了证明其充分性和正确性,而不是为了发现问题。(60)A. 确认测试B. 回归测试C. 验收测试D. 第三方测试

软件测试的方法可归纳成三种,它们是:I.动态测试II.静态测试III.程序正确性证明而真正实施的方法则是( )。A.IB.I和ⅡC.IID.I、Ⅱ和III

软件测试的目的是( )。A.证明软件正确性B.验证软件是否满足需求C.评估程序员水平D.为软件定价提供依据

程序调试的目的是()。A、发现程序中的错误B、证明程序的正确性C、证明系统设计的正确性D、证明网络方案的正确性

软件测试的目的找出软件的全部缺陷,从而证明发布的软件的正确性。

软件测试,主要是对软件的逻辑性进行正确性确认,不外乎有以下几种方法,即()A、黑盒法和白盒法B、人工检查和程序测试C、动态测试和静态测试D、正确性证明、人工分析与检查、程序测试

软件测试的目的是()A、评价软件的质量B、发现软件的错误C、找出软件的所有错误D、证明软件的正确性

测试的目的是(),而不是对正确性进行形式化证明。A、要暴露程序中的bugB、要纠正程序中的错误C、要暴露程序中的错误D、要纠正程序中的bug

单选题程序调试的目的是()。A发现程序中的错误B证明程序的正确性C证明系统设计的正确性D证明网络方案的正确性

单选题软件测试的目的是()A评价软件的质量B发现软件的错误C找出软件的所有错误D证明软件的正确性

判断题软件测试的目的找出软件的全部缺陷,从而证明发布的软件的正确性。A对B错

单选题软件测试,主要是对软件的逻辑性进行正确性确认,不外乎有以下几种方法,即()A黑盒法和白盒法B人工检查和程序测试C动态测试和静态测试D正确性证明、人工分析与检查、程序测试