网友您好， 请在下方输入框内输入要搜索的题目：

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

18、验证循环程序的完全正确性，必须证明循环的（）。

A．可终止性

B．可理解性

C．可重复性

D．可进行性

参考答案和解析
A
更多 “18、验证循环程序的完全正确性，必须证明循环的（）。A．可终止性B．可理解性C．可重复性D．可进行性” 相关考题
考题 程序正确性证明是用______来证明程序正确性的方法。
查看答案
考题 两栖类成体的血循环属于()。A、单循环B、完全的双循环C、开管式循环D、不完全的双循环
查看答案
考题 软件测试方法可分为3类，它们是动态测试、静态测试和程序正确性证明，真正实施的方法则是( )。A．动态测试和静态测试B．静态测试和程序正确性证明C．动态测试和程序正确性证明D．都不是
查看答案
考题 下列关于for循环和while循环的说法中______是正确的。A．while循环能实现的操作for循环都能实现B．while循环判断条件一般是程序结果，for循环判断条件一般是非程序结果C．两种循环在任何情况下都可以相互转换D．两种循环结构中都必须有循环体，循环体不能为空
查看答案
考题 程序正确性证明能证明程序的功能和动态特性符合设计要求. A．错误B．正确
查看答案
考题 软件测试的目的是（ ）。A.证明软件正确性 B.验证软件是否满足需求 C.评估程序员水平 D.为软件定价提供依据
查看答案
考题 重要变更必须进行评审、（），实施后必须验证其正确性和有效性，保存评审、验证和确认记录。A、审批；B、验证、确认。
查看答案
考题 程序调试的目的是（）。A、发现程序中的错误B、证明程序的正确性C、证明系统设计的正确性D、证明网络方案的正确性
查看答案
考题 程序正确性证明能证明程序的功能和动态特性符合设计要求.
查看答案
考题 程序编制中，进行首件试切的目的是（）。A、验证零件图样设计的正确性B、验证零件工艺的正确性C、验证编程方法的正确性D、验证零件程序的正确性
查看答案
考题 关于for循环和while循环的说法哪个正确（）。A、while循环能实现的操作，for循环也能实现的B、while循环判断条件一般是程序结果，for循环判断条件一般是非程序结果C、两种循环任何时候都可替换，而且循环体、至少被执行一次D、两种循环结构中都必须有循环体，循环体不能为空
查看答案
考题 下列关于for循环和while循环的说法中哪个是正确的（）。A、while循环能实现的操作，for循环也都能实现B、while循环判断条件一般是程序结果，for循环判断条件一般是非程序结果C、两种循环任何时候都可替换D、两种循环结构中都必须有循环体，循环体不能为空
查看答案
考题 从指导思想上来说，程序调试工作的实质目标是（）。A、证明程序的正确性B、发现错误和纠正错误C、检查程序的可靠性D、验证程序功能的完备性
查看答案
考题 两栖类的循环方式幼体为（），成体为（）。A、双循环、单循环B、双循环、双循环C、单循环、不完全的双循环D、不完全的双循环、单循环
查看答案
考题 下列关于气相型循环的说法，正确的是（）。A、循环比较迅速，自我调节慢，较完全的循环B、循环比较迅速，自我调节慢，不完全的循环C、循环比较迅速，自我调节快，不完全的循环D、循环比较迅速，自我调节快，较完全的循环
查看答案
考题 应用PDCA循环首先必须制定好目标、标准、（）、程序。
查看答案
考题 两栖类的循环方式属于（）。A、不完全的双循环B、完全的双循环C、单循环D、双循环（爬行纲）
查看答案
考题 试验证明，钢材的疲劳强度与（）并无明显关系。A、构造状况B、应力幅C、钢材的强度D、循环荷载重复次数
查看答案
考题 爱因斯坦通过物理实验证明了广义相对论的正确性。
查看答案
考题 单选题下列关于for循环和while循环的说法中哪个是正确的？（）A while循环能实现的操作，for循环也都能实现B while循环判断条件一般是程序结果，for循环判断条件一般是非程序结果C 两种循环任何时候都可替换D 两种循环结构中都必须有循环体，循环体不能为空
查看答案
考题 单选题程序调试的目的是（）。A 发现程序中的错误B 证明程序的正确性C 证明系统设计的正确性D 证明网络方案的正确性
查看答案
考题 单选题两栖类成体的血循环属于（）。A 单循环B 完全的双循环C 开管式循环D 不完全的双循环
查看答案
考题 单选题理论上已经证明，有了（）三种基本控制结构，就可以编写任何复杂的计算机程序。A 转子（程序），返回，处理B 输入，输出，处理C I/O，转移，循环D 顺序，选择，循环
查看答案
考题 单选题蛙（包括蝌蚪）的血液循环方式不正确的是（　　）。A 单循环B 肺循环C 完全双循环D 不完全双循环
查看答案
考题 判断题程序的静态验证是利用数学方法证明程序的正确性。A 对B 错
查看答案
考题 单选题从指导思想上来说，程序调试工作的实质目标是（）。A 证明程序的正确性B 发现错误和纠正错误C 检查程序的可靠性D 验证程序功能的完备性
查看答案
考题 单选题下列关于气相型循环的说法，正确的是（）。A 循环比较迅速，自我调节慢，较完全的循环B 循环比较迅速，自我调节慢，不完全的循环C 循环比较迅速，自我调节快，不完全的循环D 循环比较迅速，自我调节快，较完全的循环
查看答案
考题 单选题关于for循环和while循环的说法哪个正确（）。A while循环能实现的操作，for循环也能实现的B while循环判断条件一般是程序结果，for循环判断条件一般是非程序结果C 两种循环任何时候都可替换，而且循环体、至少被执行一次D 两种循环结构中都必须有循环体，循环体不能为空
查看答案
热门标签
最新试卷