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

题目内容 （请给出正确答案）
程序正确性证明能证明程序的功能和动态特性符合设计要求.

A．错误

B．正确

参考答案

更多 “ 程序正确性证明能证明程序的功能和动态特性符合设计要求. A．错误B．正确 ” 相关考题
考题 关于使用自动工具的调试方法的特点描述,()是不正确的。 A.自动工具的调试方法和打印语句方法类似B.需要修改源程序C.能提供有关程序动态行为的信息D.利用程序设计语言的调试功能处理
查看答案
考题 软件测试的目的是()。A.证明程序中没有错误B.发现程序中的错误C.测量程序的动态特性D.检查程序中的语法错误
查看答案
考题 程序正确性证明是用______来证明程序正确性的方法。
查看答案
考题 软件测试的方法有三种：静态测试，动态测试和（ ）。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．
查看答案
考题 软件测试的方法可归纳成三种，它们是：I.动态测试II.静态测试III.程序正确性证明而真正实施的方法则是（ ）。A.I B.I和Ⅱ C.II D.I、Ⅱ和III
查看答案
考题 物项出现哪种情况时需定为不符合物项（）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按程序制造，符合设计要求，记录齐全，质量保证大纲不完善。
查看答案
热门标签
最新试卷