[单选题]

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

A . 理论法

B . 实验法

C . 试验法

D . 模拟法

参考答案与解析:

相关试题

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

[主观题]程序正确性证明是用______来证明程序正确性的方法。

  • 查看答案
  • 检验程序正确性的方法不包括()方法。

    [单选题]检验程序正确性的方法不包括()方法。A .空运行B .图形动态模拟C .自动校正D .试切削

  • 查看答案
  • 软件出错有几种类型?验证其程序正确性有几种方法?

    https://wenku.baidu.com/view/7969aa03de80d4d8d15a4f3f.html你要的在这里软件出错有几种类型?验证其程序正确性有几种方法?

  • 查看答案
  • 下列审计方法中,(27)能验证程序逻辑上的正确性。

    [单选题]下列审计方法中,(27)能验证程序逻辑上的正确性。A.并行模拟法B.代码比较法C.跟踪法D.测试数据法

  • 查看答案
  • 程序正确性证明最常用的方法是(),它对程序提出一组命题。如果在数学上证明这些命题

    [主观题]程序正确性证明最常用的方法是[ ],它对程序提出一组命题。如果在数学上证明这些命题成立,就能保证程序不发生错误。

  • 查看答案
  • 目前诊断肿瘤正确性较高的方法是

    [单选题]目前诊断肿瘤正确性较高的方法是A.放射性核素显像B.病理组织学C.超声波检查D.X线检查E.免疫学检查

  • 查看答案
  • 目前诊断肿瘤正确性较高的方法是

    [单选题]目前诊断肿瘤正确性较高的方法是A.脱落细胞学检查B.组织病理学检查C.超声波检查D.X线检查E.同位素检查

  • 查看答案
  • 目前诊断肿瘤正确性较高的方法是( )

    [单选题]目前诊断肿瘤正确性较高的方法是( )A.放射性核素显像B.病理组织学C.超声波检查D.X线检查E.免疫学检查

  • 查看答案
  • 目前诊断肿瘤正确性较高的方法是()

    [单选题]目前诊断肿瘤正确性较高的方法是()A .脱落细胞学B .病理组织学C .超声波检查D .X线检查E .同位素检查

  • 查看答案
  • 程序调试的任务是()。A) 设计测试用例B) 验证程序的正确性C) 发现程序中的

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

  • 查看答案
  • 目前被普遍采用的程序正确性验证方法是()