程序的正确性验证一般有A．BSP方法B．理论法C．E-R方法D．实验法

题目

程序的正确性验证一般有

A．BSP方法

B．理论法

C．E-R方法

D．实验法

相似考题

1.算法的正确性,一般不进行形式化的证明,而是用测试来验证。()此题为判断题(对，错)。

2.在编写大型程序时存在错误和缺陷是难免的。验证程序正确性的最常用、最简单的方法是运行程序。()

3.秘序调试的任务是( )。A.设计测试用例B.验证程序的正确性C.发现程序中的错误D.诊断和改正程序中的错误

4.程序调试的任务是A．设计测试用例B．验证程序的正确性C．发现程序中的错误D．诊断和改正程序中的错误

更多“程序的正确性验证一般有”相关问题

  • 第1题：

    软件调试的目的是

    A．发现错误

    B．改正错误

    C．改善程序的性能

    D．验证软件的正确性


    正确答案：B
    解析：软件测试与软件调试是两个不同的概念：软件测试的目的是发现错误，而软件调试的目的是发现错误导致程序失效的原因，并修改程序以修正错误，调试是测试之后的活动。

  • 第2题：

    试题6

    程序调试的任务是（）

    A．设计测试用例

    B．验证程序的正确性

    C．发现程序的错误

    D．诊断和改正程序中的错误


    正确答案：D
    试题6分析
    程序调试的任务是诊断和改正程序中的错误，发现错误是测试的目的。
    试题6答案
    D

  • 第3题：

    导航电子地图的()需要对地图产品的功能正确性、属性正确性、表达准确性、时效性等进行验证。

    A:理论验证
    B:实地验证
    C:统计分析
    D:编译转换

    答案：B
    解析：
    导航电子地图的实地验证需要对地图产品的功能正确性、属性正确性、表达准确性、时效性等进行验证。故选B。

  • 第4题：

    选取测试数据时要考虑的条件是：（）。

    • A、能否验证采用这个数据时代码的正确性
    • B、这个测试数据纠正错误的潜力如何
    • C、能否验证采用这个数据时程序的正确性
    • D、这个测试数据是否能够纠正错误

    正确答案:C

  • 第5题：

    程序编制中，进行首件试切的目的是（）。

    • A、验证零件图样设计的正确性
    • B、验证零件工艺的正确性
    • C、验证编程方法的正确性
    • D、验证零件程序的正确性

    正确答案:D

  • 第6题：

    结构化程序之所以有可能验证其正确性是由于（）

    • A、只有三种基本结构
    • B、有限制地使用GOTO语句
    • C、程序内部有“内部文档”
    • D、选择良好数据结构和算法

    正确答案:A

  • 第7题：

    目前被普遍采用的程序正确性验证方法是（）

    • A、理论法
    • B、实验法
    • C、试验法
    • D、模拟法

    正确答案:B

  • 第8题：

    一般从（）、（）、（）和（）四个方面验证软件需求的正确性。


    正确答案:一致性；完整性；现实性；有效性

  • 第9题：

    单选题
    选取测试数据时要考虑的条件是：（）。
    A

    能否验证采用这个数据时代码的正确性

    B

    这个测试数据纠正错误的潜力如何

    C

    能否验证采用这个数据时程序的正确性

    D

    这个测试数据是否能够纠正错误


    正确答案： A
    解析： 暂无解析

  • 第10题：

    单选题
    程序调试的任务是（　　）。
    A

    设计测试用例

    B

    验证程序的正确性

    C

    发现程序中的错误

    D

    诊断和改正程序中的错误


    正确答案： D
    解析：
    软件测试的目的是尽可能多的发现错误。程序调试基于软件测试时发现的错误，其任务是诊断和改正程序中的错误。答案选择D选项。

  • 第11题：

    判断题
    程序的静态验证是利用数学方法证明程序的正确性。
    A

    对

    B

    错


    正确答案： 错
    解析： 暂无解析

  • 第12题：

    单选题
    结构化程序之所以有可能验证其正确性是由于（）
    A

    只有三种基本结构

    B

    有限制地使用GOTO语句

    C

    程序内部有“内部文档”

    D

    选择良好数据结构和算法


    正确答案： A
    解析： 暂无解析

  • 第13题：

    程序调试的目的是A．发现程序中的错误 B．改正程序中的错误 C．验证程序的正确性 D．改善软件的性能


    正确答案：B
    调试也称排错或纠错。它与成功的测试形影相随，测试成功的标志是发现错误。根据错误迹象，诊断错误的原因和位置，进而改正程序中的错误，这就是调试的任务。
    调试分为静态调试和动态调试，静态调试就是指对源程序进行分析，然后确定可能出错的地方并进行排错。动态调试是指对程序的运行进行跟踪并观察其出错点，然后进行排错。
    静态调试通常可以采用如下两种方法。
    （1）输出寄存器的内容
    在测试中出现问题，设法保留现场信息。把所有的寄存器和主存中有关部分的内容打印出来（通常以八进制或十六进制的形式打印），进行分析研究。用这种方法调试，输出的是程序的静止状态（程序在某一时刻的状态），效率非常低，不得已才采用。
    （2）为取得关键变量的动态值，在程序中插入打印语句。这是取得动态信息的简单方法，并可检验在某事件后某个变量是否按预期要求发生了变化。此方法的缺点是可能输出大量需要分析的信息，必须修改源程序才能插入打印语句，这可能改变关键的时序关系，引入新的错误。
    动态调试通常利用程序语言提供的调试功能或专门的调试工具来分析程序的动态行为。一般程序语言和工具提供的调试功能有检查主存和寄存器；设置断点，即当执行到特定语句或改变特定变量的值时，程序停止执行，以便分析程序此时的状态。

  • 第14题：

    软件测试的目的是（ ）。

    A.证明软件正确性
    B.验证软件是否满足需求
    C.评估程序员水平
    D.为软件定价提供依据

    答案：B
    解析：
    软件测试的最终目的就是验证软件是否满足需求。

  • 第15题：

    下列不属于检验程序方法的是（）

    • A、正确性验证
    • B、动态检查
    • C、静态检查
    • D、人工复核

    正确答案:D

  • 第16题：

    理论验证了仿真的正确性。（）


    正确答案:错误

  • 第17题：

    测试的关键问题是（）

    • A、如何组织对软件的评审
    • B、如何验证程序的正确性
    • C、如何采用综合策略
    • D、如何选择测试用例

    正确答案:D

  • 第18题：

    从指导思想上来说，程序调试工作的实质目标是（）。

    • A、证明程序的正确性
    • B、发现错误和纠正错误
    • C、检查程序的可靠性
    • D、验证程序功能的完备性

    正确答案:B

  • 第19题：

    程序调试的关键问题不是（）。

    • A、如何组织对软件的评审
    • B、如何验证程序的正确性
    • C、如何采用综合策略
    • D、模块进行调试
    • E、如何抉择测试用例

    正确答案:A,B,C,D

  • 第20题：

    单选题
    目前被普遍采用的程序正确性验证方法是（）
    A

    理论法

    B

    实验法

    C

    试验法

    D

    模拟法


    正确答案： B
    解析： 暂无解析

  • 第21题：

    填空题
    一般从（）、（）、（）和（）四个方面验证软件需求的正确性。

    正确答案： 一致性,完整性,现实性,有效性
    解析： 暂无解析

  • 第22题：

    多选题
    在固定资产审计中，审计人员应实施的审计程序有（   ）。
    A

    验证固定资产计价的正确性

    B

    复核固定资产折旧的计算

    C

    编制固定资产折旧费用分配表

    D

    监督固定资产盘点

    E

    检查固定资产分类的正确性


    正确答案： C,A
    解析：

  • 第23题：

    单选题
    从指导思想上来说，程序调试工作的实质目标是（）。
    A

    证明程序的正确性

    B

    发现错误和纠正错误

    C

    检查程序的可靠性

    D

    验证程序功能的完备性


    正确答案： A
    解析： 暂无解析

  • 第24题：

    单选题
    下列不属于检验程序方法的是（）
    A

    正确性验证

    B

    动态检查

    C

    静态检查

    D

    人工复核


    正确答案： A
    解析： 暂无解析

相关内容