判断题

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

A

B

正确答案

来源:www.examk.com

答案解析

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

    单选题查看答案

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

    单选题查看答案

  • 程序调试中发现程序错误的方法有()和()两种。前者目前尚处于研究之中,后者是已普遍使用的方法,但用这种方法调试的程序,只能说是基本正确,需经过应用,才能得到验证。

    填空题查看答案

  • 程序调试中发现程序错误的方法有()和()两种。前者目前尚处于研究之中,后者是已普遍使用的方法,但用这种方法调试的程序,只能说是基本正确,需经过应用,才能得到验证。

    填空题查看答案

  • 在决策程序中,决策方案的选择方法一般分为经验判断法、数学分析法和试验法三类。()不属于数学分析法。

    单选题查看答案

  • 召开审查会,在会中由小组成员阅读程序,以发现程序错误,同时测试员利用测试数据人工运行程序并得出输出结果,然后由参加者对结果进行审查,以达到测试的目的。这种测试方法是()。

    单选题查看答案

  • 在数学计算和科学研究中常用的程序设计语言是()。

    单选题查看答案

  • 在质量管理中需要利用数理统计方法,其工作程序分为()个步骤。

    单选题查看答案

  • 系统测试的目的是为了证明程序是完全正确的。

    判断题查看答案