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

题目内容 （请给出正确答案）
判断题
程序的静态验证是利用数学方法证明程序的正确性。
A

对

B

错

参考答案

参考解析
解析： 暂无解析
更多 “判断题程序的静态验证是利用数学方法证明程序的正确性。A 对B 错” 相关考题
考题 程序正确性证明是用______来证明程序正确性的方法。
查看答案
考题 软件测试的方法有三种：静态测试，动态测试和（ ）。A．程序正确性证明B．调式C．验收测试D．集成测试
查看答案
考题 程序调试的任务是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．将源程序改写成易于理解的、结构清晰的程序
查看答案
考题 程序正确性证明能证明程序的功能和动态特性符合设计要求. A．错误B．正确
查看答案
考题 试题6程序调试的任务是（）A．设计测试用例B．验证程序的正确性C．发现程序的错误D．诊断和改正程序中的错误
查看答案
考题 软件测试的目的是（ ）。A.证明软件正确性 B.验证软件是否满足需求 C.评估程序员水平 D.为软件定价提供依据
查看答案
考题 程序调试的目的是（）。A、发现程序中的错误B、证明程序的正确性C、证明系统设计的正确性D、证明网络方案的正确性
查看答案
考题 下列不属于检验程序方法的是（）A、正确性验证B、动态检查C、静态检查D、人工复核
查看答案
考题 软件测试，主要是对软件的逻辑性进行正确性确认，不外乎有以下几种方法，即（）A、黑盒法和白盒法B、人工检查和程序测试C、动态测试和静态测试D、正确性证明、人工分析与检查、程序测试
查看答案
考题 程序正确性证明能证明程序的功能和动态特性符合设计要求.
查看答案
考题 程序编制中，进行首件试切的目的是（）。A、验证零件图样设计的正确性B、验证零件工艺的正确性C、验证编程方法的正确性D、验证零件程序的正确性
查看答案
考题 从指导思想上来说，程序调试工作的实质目标是（）。A、证明程序的正确性B、发现错误和纠正错误C、检查程序的可靠性D、验证程序功能的完备性
查看答案
考题 单选题程序调试的目的是（）。A 发现程序中的错误B 证明程序的正确性C 证明系统设计的正确性D 证明网络方案的正确性
查看答案
考题 判断题程序正确性证明能证明程序的功能和动态特性符合设计要求.A 对B 错
查看答案
考题 单选题程序调试的任务是（　　）。A 设计测试用例B 验证程序的正确性C 发现程序中的错误D 诊断和改正程序中的错误
查看答案
考题 单选题软件测试，主要是对软件的逻辑性进行正确性确认，不外乎有以下几种方法，即（）A 黑盒法和白盒法B 人工检查和程序测试C 动态测试和静态测试D 正确性证明、人工分析与检查、程序测试
查看答案
考题 单选题从指导思想上来说，程序调试工作的实质目标是（）。A 证明程序的正确性B 发现错误和纠正错误C 检查程序的可靠性D 验证程序功能的完备性
查看答案
考题 单选题下列不属于检验程序方法的是（）A 正确性验证B 动态检查C 静态检查D 人工复核
查看答案
热门标签
最新试卷