工学
单选题测试的目的是（），而不是对正确性进行形式化证明。A 要暴露程序中的bugB 要纠正程序中的错误C 要暴露程序中的错误D 要纠正程序中的bug
题目
要暴露程序中的bug
要纠正程序中的错误
要暴露程序中的错误
要纠正程序中的bug
参考答案和解析
相似问题和答案
第1题：
此题为判断题(对，错)。
第2题：
软件测试的目的是 ______。
A．证明软件的正确性
B．尽可能多地发现软件系统中的错误
C．找出软件系统存在的所有错误
D．证明软件系统中存在错误
解析：考察软件测试的目的。
第3题：
软件测试的目的是（ ）。
A．证明软件的正确性
B．找出软件系统中存在的所有错误
C．证明软件系统中存在错误
D．尽可能多地发现软件系统中的错误
软件测试是为了发现程序中的错误而执行程序的过程，所以软件测试的目的是尽可能多地发现软件系统中的错误，而不是证明程序或软件的正确性。一个成功的测试应该是发现了至今为止尚未发现的错误。
第4题：
是指通常的上机测试，这种方法使程序有控制地进行，并从多种角度观察以发现错误。
A．静态测试
B．功能测试
C．动态测试
D．正确性证明
第5题：
在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有：【 】才可能证明程序的正确性。
程序正确性证明 解析：在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有程序正确性证明才可能证明程序的正确。程序的正确性说明是用数学的方法来证明程序正确性的方法。
第6题：
软件测试的目的是(13)，在进行单元测试时，常用的方法是(14)。
(45)
A．证明软件系统中存在错误
B．找出软件系统中存在的所有错误
C．证明软件的正确性
D．尽可能多地发现软件系统中地错误
第7题：
软件测试是软件开发的重要环节，而进行软件测试的目的是
A．证明软件错误不存在
B．证明软件错误的存在
C．改正程序所有的错误
D．发现程序所有的错误
第8题：
●软件测试的目的是 (40) 。在进行单元测试时，常用的方法是 (41) 。
(40) A．找出软件系统中存在的所有错误
B．证明软件系统中存在错误
C．尽可能多地发现软件系统中地错误和缺陷
D．证明软件地正确性
(41) A．采用白盒测试，辅之以黑盒测试
B．采用黑盒测试，辅之以白盒测试
C．只使用黑盒测试
D．只使用白盒测试
【解析】任何软件系统都存在或多或少的错误，不可能找出一个软将系统的所有错误。软件测试的目的是尽可能多地发现软件系统中的错误或缺陷。单元测试即模块测试，最常见的是程序员在编写完某模块后，立刻进行测试，因此较多采用白盒测试，辅之以黑盒测试。
第9题：
软件测试方法可分为3类，它们是动态测试、静态测试和程序正确性证明，真正实施的方法则是( )。
A．动态测试和静态测试
B．静态测试和程序正确性证明
C．动态测试和程序正确性证明
D．都不是
第10题：
是用来论证被测试的系统满足需求的情况，它的目的是为了证明其充分性和正确性，而不是为了发现问题。
A．确认测试
B．回归测试
C．验收测试
D．第三方测试
解析：确认测试是一组选定的专门测试，用来发现错误解决无法完全确定报告的问题方法，典型的确认测试包括对每一个错误报告重新进行测试的过程，并分别考查每个步骤。回归测试是检验原有正常功能没有应更改出现缺陷而进行的测试。验收测试是用来论证系统在测试下满足需求的情况，它的目的是为了证明其充分性和正确性，而不是为了发现问题。验收测试通常是产品发表前的最后一个测试阶段。第三方测试是由开发方和使用方以外的人员进行发现软件缺陷的测试。