首页 > 计算机等级考试

题目内容（请给出正确答案）

[主观题]

证明程序正确最常用的方法是______，它对程序提出一组命题，如在数学上证明这些命题不成立，就能保

证程序不发生错误。

查看答案

如果结果不匹配，请联系老师获取答案

您可能会需要：

重置密码查看订单联系客服

安装优题宝APP，拍照搜题省时又省心！

更多“证明程序正确最常用的方法是______，它对程序提出一组命题…”相关的问题

第1题

在软件测试用例设计的方法中，最常用的方法是黑盒测试和白盒测试，其中不属于白盒测试所关注的是__

____。

A) 程序结构

B) 软件外部功能

C) 程序正确性

D) 程序内部逻辑

点击查看答案

第2题

高效液相色谱仪分离复杂样品，常液洗脱分离效果不好时，最常用的改善分离方法是（）。

A.程序升温

B.程序变流速

C.组合柱

D.梯度洗脱

点击查看答案

第3题

STM32的程序下载有多种方法：USB、串口、JTAG、SWD等，这几种方式，都可以用来给STM32下载代码。最常用的经济方法就是通过给STM32下载代码（)。

A.USB

B.串口

C.JTAG

D.SWD

点击查看答案

第4题

程序正确性证明是用______来证明程序正确性的方法。

点击查看答案

第5题

加工一个内轮廓时，常用G41/G42来偏置刀具。如果加工出的零件尺寸小于要求尺寸，只能再加工一次，但加工前要进行调整，最简单的调整方法是（)。

A.更换刀具

B.减小刀具参数中的补偿值

C.加大刀具参数中的补偿值

D.修改程序

点击查看答案

第6题

当加工一个外轮廓零件时，常用G41/G42来偏置刀具。如果加工出的零件尺寸大于要求尺寸，只能再加工一次，但加工前要进行调整，而最简单的调整方法是（）。

A.更换刀具

B.减小刀具参数中的半径值

C.修改程序

D.加大刀具参数中的半径值

点击查看答案

第7题

如果使用惩罚程序，最常用的是_________，即转移问题行为后的强化事件。

点击查看答案

第8题

软件测试的目的是（40)。在进行单元测试时，常用的方法是（41)。A．找出软件系统中存在的所有错误B．证

软件测试的目的是(40)。在进行单元测试时，常用的方法是(41)。

A．找出软件系统中存在的所有错误

B．证明软件系统中存在错误

C．尽可能多地发现软件系统中的错误和缺陷

D．证明软件的正确性

点击查看答案

第9题

在面向对象程序系统测试中，最常用的测试技术是______。A．基于用例的测试B．基于大纲的测试C．性能测

在面向对象程序系统测试中，最常用的测试技术是______。

A．基于用例的测试

B．基于大纲的测试

C．性能测试

D．可靠性测试

点击查看答案

第10题

集中培训是最常用的培训方式，专家讲座是最常用的培训方法。（）

点击查看答案

长沙正则教育科技有限公司版权所有 ©2024

湘ICP备20014704号-1 营业执照

违法和不良信息举报电话：400-118-7898

举报/反馈/投诉邮箱：deng＃ujigu.com（请将＃替换成@）