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

题目
算法的正确性,一般不进行形式化的证明,而是用测试来验证。()

此题为判断题(对，错)。

相似考题

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

2.● 净室软件工程是软件开发的一种（24）方法，可以开发出具有较高质量的软件。它使用盒结构规约进行分析和建模，并将 （25） 作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。（24）A.形式化B.迭代式C.瀑布式D.交互式（25）A.测试B.仿真C.实验D.正确性验证

3.软件测试方法可分为3类，它们是动态测试、静态测试和程序正确性证明，真正实施的方法则是( )。A．动态测试和静态测试B．静态测试和程序正确性证明C．动态测试和程序正确性证明D．都不是

4.以下关于软件开发方法的叙述，错误的是（ ）。A.对于较为复杂的应用问题，适合采用形式化方法进行需求分析 B.形式化方法的优势在于能够精确地表述和研究应用问题及其软件实现 C.净室软件工程将正确性验证作为发现和排除错误的主要机制 D.净室软件工程强调统计质量控制技术，包括对客户软件使用预期的测试

更多“算法的正确性,一般不进行形式化的证明,而是用测试来验证。() ”相关问题

  • 第1题：

    软件测试的目的是（ ）。

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

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

  • 第2题：

    在算法设计与分析过程中，有算法设计，算法的正确性证明，算法的复杂性分析,程序设计等几个重要步骤，下面哪种顺序是正确的？

    A．算法的正确性证明-＞算法设计-＞算法的复杂性分析-＞程序设计

    B．算法的正确性证明-＞算法的复杂性分析-＞算法设计-＞程序设计

    C．算法设计-＞算法的正确性证明-＞算法的复杂性分析-＞程序设计

    D．算法设计-＞算法的复杂性分析-＞算法的正确性证明-＞程序设计


    正确

  • 第3题：

    59、需求验证是指以需求规格说明为输入，通过符号执行、模拟或快速原型等途径，分析需求规格的正确性和可行性，包含有效性检查、一致性检查、可行性检查和可验证性确认等。如果需求能够表达成形式化的方式，就可以通过一些符号的执行、逻辑的判断来验证需求规格的正确性。有些时候可以通过模拟或仿真来判断。需求验证过程中需要进行________。

    A．其它各项都包括

    B．需求评审

    C．原型法确认

    D．模型验证

    E．接受性测试


    其它各项都包括

  • 第4题：

    2、在算法设计与分析过程中，有算法设计，算法的正确性证明，算法的复杂性分析,程序设计等几个重要步骤，下面哪种顺序是正确的？

    A．算法的正确性证明-＞算法设计-＞算法的复杂性分析-＞程序设计

    B．算法的正确性证明-＞算法的复杂性分析-＞算法设计-＞程序设计

    C．算法设计-＞算法的正确性证明-＞算法的复杂性分析-＞程序设计

    D．算法设计-＞算法的复杂性分析-＞算法的正确性证明-＞程序设计


    问题分析、计算模型、算法设计与描述、算法分析、算法实现、测试与结果分析、文档编制

  • 第5题：

    无法证明从非形式化的需求说明到源程序的转换是正确的，只能使用评审、测试等各种方法来验证软件。


    D

相关内容